Meeting time

Fridays, 14:00–14:50.

Classroom

Malone Hall 338.

Discussion Schedule

Date Paper Presenter
2017-06-09 Environment Analysis of Higher-Order Languages Leandro Facchinetti
2017-05-19 Bringing the Web up to Speed with WebAssembly [PDF] Dr. Scott Smith
2017-05-12 From Shape Analysis to Termination Analysis in Linear Time [PDF] Kenneth Roe
2017-05-05 Compiling without Continuations [PDF] P.C. Shyamshankar and Dr. Scott Smith
2017-04-28 Relative Store Fragments for Singleton Abstraction Dr. Scott Smith, Zachary Palmer and Leandro Facchinetti
2017-04-21 Beginner’s Luck: A Language for Property-Based Generators [PDF] Dr. Scott Smith
2017-04-14 Package Management Systems Shiwei Weng
2017-04-07 Idris Marc Rosen
2017-03-31 System M P.C. Shyamshankar
2017-03-17 Automatic Reference Counting in Swift Guoye Zhang
2017-03-10 Tutorial on Coq Kenneth Roe
2017-03-03 Incremental Dynamic Code Generation with Trace Trees [PDF] Pottayil Harisanker Menon
2017-02-24 Nanopass Leandro Facchinetti
2017-02-17 Safe, Fast and Easy: Towards Scalable Scripting Languages Pottayil Harisanker Menon
2017-02-10 Tutorial on SMT solvers: Z3 and Rosette Leandro Facchinetti
2017-02-03 Define schedule for semester Dr. Scott Smith