Advancements in info table profiling (Lightning Talk)
Info table profiling is a new profiling method in GHC that enables attribution of heap allocations to specific source locations in a Haskell program. Notably, this profiling method does not require that the profiled program is compiled using GHC’s profiling mode. In combination with tools such as eventlog2html and ghc-debug, it can help us answer very precise and low-level questions about a program’s memory behavior.
While info table profiling is extremely useful for analyzing and debugging the memory behavior of Haskell programs, it can result in significantly slower compile times and larger executables. In this talk, I will present some recent improvements to GHC’s info table profiling capabilities that address these issues, and briefly discuss the effect these modifications can have on common profiling workflows with eventlog2html and ghc-debug. This talk is aimed at advanced Haskell developers who are interested in how these profiling methods and improvements might apply to their Haskell programs.
Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change
11:00 - 12:30 | |||
11:00 30mTalk | Integrating Liquid Haskell with GHC HIW Facundo Domínguez Tweag | ||
11:30 30mTalk | Error Message Annotation Plugins for Haskell HIW Dylan Thinnes Digital Asset | ||
12:00 15mTalk | An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk) HIW | ||
12:15 15mTalk | Advancements in info table profiling (Lightning Talk) HIW Finley McIlwaine Well-Typed LLP |