List of All Events

• 2015.02.6. How to Make a Good Research Artifact Eric Holk

• 2015.01.29. Refined Criteria for Gradual Typing Jeremy Siek

• 2015.01.23. Semester Organizational Meeting Wonks General

• 2015.01.16. Verification and Refutation of Behavioral Contracts with Higher-Order Symbolic Execution David Van Horn

• 2014.12.12. The Essence of Closure Conversion Jeremy Siek

• 2014.11.21. A Combinator Library for MCMC Sampling Praveen Narayanan

• 2014.11.14. An Introduction to Dependently Typed Racket Andrew Kent

• 2014.11.7. MACE: Detecting Privilege Escalation Vulnerabilities in Web Applications Prasad Naldurg

• 2014.10.31. Pycket: an implementation of Racket in RPython Spenser Bauman

• 2014.10.24. A Compiler for the Gradually-Typed Lambda Calculus Andre Kuhlenschmidt