List of All Events

• 2014.04.25. Verifying Hybrid Systems with Automated Theorem Provers Sarah Loos

• 2014.04.18. A Few of My Favorite Things: Compilers and APL Aaron Hsu

• 2014.04.11. Type-Directed Editing Ed Amsden

• 2014.04.4. Reticulated Python: Gradual Typing for Python Michael Vitousek

• 2014.03.28. Conway Games Amr Sabry

• 2014.03.14. LVars: Lattice-based Data Structures for Deterministic Parallel and Distributed Programming Lindsey Kuper

• 2014.03.7. Recovering and enhancing miniKanren Jason Hemann

• 2014.02.27. Towards a Parallel CSS Selector Matching Algorithm in Harlan Eric Holk

• 2014.02.21. Linear Types: Out of the Ivory Tower and Into the Trenches Chris Wailes

• 2014.02.12. Monotonic References for Gradual Typing Jeremy Siek