List of All Events

• 2010.10.8. Testing specifications of CPU semantics, or, what I did on my summer vacation Lindsey Kuper

• 2010.10.1. Communication overhead reduction using static analysis Nilesh Mahajan

• 2010.09.24. A Formal Semantics for Data Analysis and Visualization Joseph Cottam

• 2010.09.17. Scrap Your Zippers: A Generic Zipper for Heterogeneous Types Michael D. Adams