Viewing 0 current events matching “LiquidHaskell” by Date.

Sort By: Date Event Name, Location , Default
No events were found.

Viewing 1 past event matching “LiquidHaskell” by Date.

Sort By: Date Event Name, Location , Default
Friday
Dec 12, 2014
Galois tech talk: Making GHC work for you
Galois Inc

abstract: GHC is a state-of-the-art optimizing compiler that is constantly being improved. But despite all of the hard work by the developers, you occasionally find yourself in need of a feature that GHC does not (yet) support. Luckily for us, GHC does have multiple extension points built into the standard compilation pipeline, in addition to exposing its functionality as a library.

In this talk I’ll give an overview of GHC’s internal architecture and existing extension points. I’ll also walk through a recent extension I wrote to improve the debugging experience in embedded DSLs.

bio: Eric Seidel is a 3rd year PhD student at UC San Diego, where he works on the LiquidHaskell program-verification tool.

Website