General Information

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

Sam Guyer (Tufts)
Speaker Selection Committee:
Sam Guyer (Tufts) and Daniel Licata (Wesleyan)
Local Arrangements:
Sam Guyer


All the abstracts

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

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