List of All Events

• 2010.10.29. Semantics of Homogeneous Language Embeddings Abhishek Kulkarni

• 2010.10.22. Kanor: A Declarative Language for Explicit Communication Eric Holk

• 2010.10.15. An Equivalence-Preserving CPS Translation via Multi-Language Semantics Amal Ahmed

• 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

subscribe via RSS