PLDI 2015 (series) / Research Papers /
Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by the debugger. This is a pity, because a promising approach to debugging is therefore not applicable to many real-world programs. We use the cost centre stack from the Glasgow Haskell Compiler profiling environment together with runtime value observations as provided by the Haskell Object Observation Debugger (HOOD) to collect enough information for algorithmic debugging. Program annotations are in suspected modules only. With this technique algorithmic debugging is applicable to a much larger set of Haskell programs.
Mon 15 Jun
14:00 - 15:40: Research Papers - Correctness at PLDI Main RED (Portland 256) Chair(s): Jens PalsbergUniversity of California, Los Angeles | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:25 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:25 - 14:50 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:50 - 15:15 Talk | Peng LiuPurdue University, Xiangyu ZhangPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Yunhui ZhengIBM T.J. Watson Research Center Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:15 - 15:40 Talk | Nathan ChongUniversity College London, Alastair DonaldsonImperial College London, Andrei LascuImperial College London, Christopher LidburyImperial College London Media Attached |