Programming Languages and Software Engineering @ MIT CSAIL

3rd Annual PL Off-Site, 2012

Programming languages, software engineering, and programing interfaces researchers of MIT get together to discuss current and future directions for programming languages research.

May 21, 2012 at Endicott House.

8:20 — 8:30Shuttle leaves from Stata
9:30 — 10:00Breakfast
10:00 — 11:33Student Talks
11:33 — 11:50Break
11:50 — 12:00Talk: Research at the Computer Laboratory, University of Cambridge (Prof. Simon Moore)
12:00 — 1:00Lunch
1:00 — 2:00Panel: Programming Language Education and Research in an edX World
2:15 — 3:50Faculty 10-minute Talks: Our Research in the Next 10 Years
Daniel Jackson, Rob Miller, Saman Amarasinghe, Armando Solar-Lezama, Martin Rinard, Arvind, Charles Leiserson
5:00 — 6:00Panel: What is the Place of Academia in PL Research in the Next 20 Years?
6:00 — 7:15Dinner
7:20 — 7:30Shuttle leaves for Stata

Sasa Misailovic

Accuracy-Aware Program Transformations

Fredrik Kjolstad

Graph Programming

Richard Uhler

Jean Yang

Jeeves: A Language for Enforcing Privacy

Joseph Near

Rubicon: Bounded Checking of Web Applications

Jason Ansel

PetaBricks: Portable Performance on Heterogeneous Architectures

Jonathan Ragan-Kelley

Halide: A DSL for High-Performance Image Processing

Zhilei Xu

Synthesizing MPI Implementations for High-Performance Computing

Michael Carbin

Proving Acceptability Properties

Alcino Cunha

Bidirectional Transformation

Andrea Mocci

Alloy Visualizer, Partial Instances, & Alloy Scripting

Jeffrey Bosboom

(No slides)

Rishabh Singh

Auto-Grader: Automated Semantic Grading of Programs

Myron King

(No slides)

Eunsuk Kang

Automating Security Expertise

Jonathan Edwards

Simplifying Application Programming

Max Goldman


Tom Lieber

(No slides)

Rohit Singh

Program Synthesis with Oracles

Justin Zhang

Parallel Software Pipelining

Thomas Braibant

Formal Verification (of Hardware Synthesis)

Yuan Tang

Embedding Domain Specific Languages in C++