Meeting time

Fridays, 14:00–14:50.

Classroom

Malone Hall 338.

Discussion Schedule

Date Paper Presenter
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