General Information

Date: November 10, 2015
Venue and Registration: Tufts University, Medford, MA

Chair:

Sam Guyer (Tufts)

Speaker Selection Committee:

Sam Guyer (Tufts) and Daniel Licata (Wesleyan)

Local Arrangements:

Sam Guyer

Schedule

All the abstracts

09:30-10:00	Breakfast
10:00-10:10	Finding Relevant Code with Causal Inference James Koppel (MIT)
10:10-10:30	Linear Models of Computation and Parametrization of Large Classes of Programs by Matrices Michael Bukatin (Nokia Corporation, Burlington, MA)
10:30-10:50	Phantom Monitors: A Simple Foundation for Modular Proofs of Fine-Grained Concurrent Programs Christian J. Bell (MIT)
10:50-11:20	Break
11:20-11:40	Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Justin Pombrio (Brown University)
11:40-12:10	What's Wrong with Git? A Conceptual Design Analysis Santiago Perez De Rosso (MIT)
12:10-02:00	Lunch
02:00-02:25	Nested Queries in Nondeterministic and Probabilistic Programming Languages Jeffrey Mark Siskind (Purdue University)
02:25-02:45	Composable Modular Atomicity Mohsen Lesani (MIT)
02:45-02:50	Using a Portfolio of SMT Solvers in Software Development Will Blair (Boston University)
02:50-03:20	Break
03:20-03:45	Session Types in Applied Type System Hanwen Wu (Boston University)
03:45-04:00	Tierless Programming and Differential Reasoning for Software-Defined Networks Tim Nelson (Brown University)
04:00-04:15	Business Meeting

---

Last modified Sunday, November 8th, 2015 1:11:35pm