General Information

Date:

May 31, 2016

Chair:

Arjun Guha (UMass Amherst)

Speaker Selection Committee:

Arjun Guha (UMass Amherst), Gabriel Scherer (Northeastern), Max New (Northeastern), and Sam Guyer (Tufts)

Local Arrangements:

Arjun Guha

Schedule

All the abstracts

10:00--10:25	Nominal Typing for Data Languages in QCert Jerome Simeon (IBM Research)
10:25--10:50	Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang (Cornell University)
10:50--11:00	Break
11:00--11:25	Garbology: A Study of How Java Objects Die Raoul L. Veroy (Tufts University)
11:25--11:50	Assessing the Limits of Program-Specific Garbage Collection Performance Eliot Moss (University of Massachusetts Amherst)
11:50--01:15	Lunch
01:15--01:40	PLANALYZER: Automatic Analysis of Online Field Experiments Emma Tosch (University of Massachusetts Amherst)
01:40--02:05	Multirole Logic as a Foundation for Global Coordination Hanwen Wu (Boston University)
02:05--02:15	Break
02:15--02:30	Foundations of type-directed code inference: which types have a unique inhabitant? Gabriel Scherer (Northeastern University)
02:30--02:55	Probabalistic NetKAT Steffen Smolka (Cornell University)
02:55--03:10	Break
03:10--03:35	Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Newman Wu (Yale University)
03:35--03:45	Using Anomaly Detection to Find Bugs in Control Software Hu Huang (Tufts University)
03:45--04:10	Adel: A New Way to Program Microcontrollers Sam Guyer (Tufts University)
04:10--4:25	Business Meeting

---

Last modified Friday, May 27th, 2016 7:37:53am