General Information

Date:

Monday, August 27, 2018

Venue:

Harvard University

Chair and Local Arrangements:

Stephen Chong

Speaker Selection Committee:

Stephen Chong (Harvard), Pablo Buiras (Harvard), Jian Xiang (Harvard), Gabriel Scherer (Northeastern), Max New (Northeastern), Jay McCarthy (UMass Lowell)

Attendance Signup:

please use this form

Schedule

All the abstracts

09:40-10:00	Breakfast
10:00-10:25	A Spectrum of Type Soundness and Performance Ben Greenman (Northeastern University)
10:25-10:50	Probabilistic Reactive Programming Louis Mandel (IBM)
10:50-11:15	Break
11:15-11:40	Opportunities to Simplify Computer Systems via Formal Methods Adam Chlipala (MIT)
11:40-12:05	Ergo: Designing a Strongly Typed DSL for Executable Legal Contracts Kartik Chandra (Stanford University/Clause, Inc.)
12:05-01:35	Lunch
01:35-01:50	Programming Music by Example: Synthesizing Digital Signal Processing Programs Mark Santolucito (Yale University)
01:52-02:12	Anomaly detection in C API usage Tiago Cogumbreiro (University of Massachusetts Boston)
02:15-02:30	Going Green: Compositional Non-termination without Fuel in Coq Gregory Malecha (Kevix)
02:32-02:55	Break
02:55-03:20	Run-Time Program-Specific Phase Prediction for Python Programs Meng-Chieh Chiu (University of Massachusetts Amherst)
03:20-03:45	Kleene algebra modulo theories Michael Greenberg (Pomona College)
03:45-04:00	Business Meeting

---

Last modified Friday, August 24th, 2018 4:54:20pm