List of All Events

• 2011.04.8. Code Contracts in a World of Uncertainty Michael Hansen

• 2011.04.1. Hygiene Reconsidered Michael D. Adams

• 2011.03.25. The Connection Machine Eric Holk

• 2011.03.11. ConceptClang Prototype Update Larisse Voufo

• 2011.03.4. Information effects and their categorical models Roshan P. James

• 2011.02.25. Aspects of Parallelism in DSI (1977-1995) Steve Johnson

• 2011.02.18. Parametric polymorphism through run-time sealing, or, theorems for low, low prices! Lindsey Kuper

• 2011.02.11. Dynamic Inference of Static Types for Ruby James T. Perconti

• 2011.02.4. Modeling Application Memory Behavior at a High Level Arun Chauhan

• 2011.01.28. Mags, the C211 autograder Karissa McKelvey