PPoPP 2016
Sat 12 - Wed 16 March 2016 Barcelona, Spain
Mon 14 Mar 2016 12:25 - 12:50 at Mallorca+Menorca - Language Implementation & DSL Chair(s): Michael Bond

Given the sophistication of recent type systems, unification-based type-checking and inference can be a time-consuming phase of compilation—especially when union types are combined with subtyping. It is natural to consider improving performance through parallelism, but these algorithms are challenging to parallelize due to complicated control structure and difficulties representing data in a way that is both efficient and supports concurrency. We provide techniques that address these problems based on the LVish approach to deterministic-by-default parallel programming. We extend LVish with Saturating LVars, the first LVars implemented to release memory during the object’s lifetime. Our design allows us to achieve a parallel speedup on worst-case (exponential) inputs of Hindley-Milner inference, and on the Typed Racket type-checking algorithm, which yields up an 8.46× parallel speedup on 14 cores for type-checking examples drawn from the Racket repository.

Mon 14 Mar

PPoPP-2016-papers
11:35 - 12:50: Main conference - Language Implementation & DSL at Mallorca+Menorca
Chair(s): Michael BondOhio State University
PPoPP-2016-papers11:35 - 12:00
Talk
Flavio Cruz, Ricardo RochaFCUP, Universidade do Porto, Portugal, Seth Copen GoldsteinCarnegie Mellon University
Link to publication DOI
PPoPP-2016-papers12:00 - 12:25
Talk
Link to publication DOI
PPoPP-2016-papers12:25 - 12:50
Talk
Ryan R. NewtonIndiana University, Omer S. AgacanIndiana University, Peter FoggedX, Sam Tobin-HochstadtIndiana University
Link to publication DOI