General Information
Date: June 3, 2015
Venue and Registration: Wesleyan University, Middletown, CT
Chair:
Daniel Licata (Wesleyan)Speaker Selection Committee:
Daniel Licata (Wesleyan), Norman Danner (Wesleyan), and Suad Alagic (USM)Local Arrangements:
Daniel Licata
Schedule
09:30-10:00 Breakfast 10:00-10:20 Implementing Data Race Detection
Benjamin Wood (Wellesley College)10:20-10:40 A Core Quantitative Coeffect Calculus
Marco Gaboardi (University of Dundee)10:40-10:55 R7RS Scheme
Will Clinger (Northeastern University)10:55-11:25 Break 11:25-11:45 Design of a Debugger for Memory Managers
Karl Cronburg (Tufts University)11:45-12:05 Datatype Derivatives are the Defunctionalization of Continuation-Passing Style
Jan-Willem Maessen12:05-12:25 Deep Specifications and Certified Abstraction Layers
Ronghui Gu (Yale Univeristy)12:25-2:00 Lunch 2:00-2:20 Prioritized GC: Using the Garbage Collector to Support Caching
Diogenes Nunez (Tufts University)2:20-2:40 Integrating SMT into Software Development
William Blair (Boston University)2:40-3:10 Break 3:10-3:30 Implementing a Stepper using Delimited Continuations
Youyou Cong (Ochanomizu University)3:30-3:50 Tracking the Flow of Ideas in the Programming Languages Literature
Michael Greenberg (Pomona College)3:50-4:05 Business meeting
| Last modified Thursday, June 4th, 2015 9:37:04am |