Friday, December 2, 2016
University of Chicago

The Midwest PL Summit is an informal workshop to foster the exchange of ideas and to promote collaboration among faculty and students in the Greater Midwest area. Anyone interested in programming languages and compilers — including applications to areas such as systems, software engineering, and human-computer interaction — is welcome to attend. Our aim is to have a broad selection of talks and posters about ongoing research and any other topics that may be of interest to the PL community. There will be no formal proceedings, but abstracts and slides will be distributed on the web after the workshop.

Organizers: Ravi Chugh and John Reppy




08:00–09:15 Breakfast
09:15–09:30 Introductory Remarks
09:30–10:30 Session A: Talks

POP-PL: A Patient-Oriented Prescription PL (Spencer Florence, Northwestern U.)

Array Length Inference for C Library Bindings (Alisa Maas, U. Wisconsin – Madison)

From Linearizability to Eventual Consistency (James Riely, DePaul U.)

10:30–10:40 Morning Break
10:40–12:00 Session B: Talks

Semi-Automated SVG Programming via Direct Manipulation (Brian Hempel, U. Chicago)

Semi-Automated Program Synthesis (Reilly Grant, Grinnell College)

Verification of Implementations of Distributed Systems Under Churn (Karl Palmskog, UIUC)

Compiling Tree Transformations on Packed Representations (Ryan Newton, Indiana U.)
12:00–01:30 Lunch
01:30–02:30 Session C: Talks

Qlose: Program Repair with Quantitative Objectives (Roopsha Samanta, Purdue U.)

Practical Conversion from CPS to Direct Style (Kavon Farvardin, U. Chicago)

Optimistic Hybrid Analysis (David Devecsery, U. Michigan)

02:30–03:00 Poster Preview Talks
03:00–04:00 Poster Session and Afternoon Break

Actor Programming with Static Progress Guarantees (Minas Charalambides, UIUC)

Proof Assistants as Macros (David Christiansen, Indiana U.)

Parquet in Scala (James Decker, Purdue U.)

The Effect of Instruction Padding on SFI Overhead (Navid Emamdoost, U. Minnesota)

PCCL: A Physical Control and Coordination Language (Ritwika Ghosh, UIUC)

Introducing ORC2A: A Proof Assistant for CS Pedagogy (Medha Gopalaswamy, Grinnell College)

Finding Races Due to Asynchrony in Mobile Applications (Chun-Hung Hsiao, U. Michigan)

Bit-Vector Model Counting using Statistical Estimation (Seonmo Kim, U. Minnesota)

DCatch: Detecting Distributed Concurrency Bugs in Cloud Systems (Haopeng Liu, U. Chicago)

Affordable 2nd-Class Values for Fun and (Co-) Effect (Leo Osvald, Purdue U.)

Programming Large Scale Internet-of-Things (IoT) Applications (Atul K. S. Sandur, UIUC)

Finding Equivalent Binary Code by Synthesizing Adaptors (Vaibhav Sharma, U. Minnesota)

Scaling Up Spark SQL with Native Compilation (Ruby Tahboub and Greg Essertel, Purdue U.)

Sound Gradual Typing in an Open World (Michael Vitousek, Indiana U.)

Formal Proofs of Termination Guarantee (Fei Wang, Purdue U.)

Toward Fixed-Point Optimization in LLVM (Nathan Wilson, Professional and U. Chicago)

04:00–05:20 Session D: Talks

Verified Instances for Parallel Functional Programming (Ryan Scott, Indiana U.)

Compiling and Testing a DSL for Tensor Calculus (Charisee Chiw, U. Chicago)

Languages the Racket Way (Daniel Feltey, Northwestern U.)

Well-Typed Languages are Sound (Matteo Cimini, Indiana U.)

05:20–05:40 Closing Remarks and Discussion
06:00–08:00 Dinner


The workshop will be held in Room 161 of the Eckhardt Research Center on the University of Chicago campus, located in the Hyde Park neighborhood several miles south of downtown Chicago.

The map below identifies the workshop venue, the nearest bus and train stops, and the nearest parking garage. Strongly consider taking public transit, a taxi, or Uber.

Public Transit

Depending on where you are coming from, there are several bus and train lines with access to the University of Chicago campus in Hyde Park. Recommended routes are the number 6 and number 28 CTA (Chicago Transit Authority) buses, and the Metra Electric District commuter rail line. Each of these three routes runs north/south between downtown Chicago and Hyde Park.


Street parking and garages will fill up early in the day, so if you plan to travel by car to campus you should err on the side of arriving early.

Ellis Garage is on the southeast corner of 55th Street and Ellis Avenue, and is one block away from Eckhardt Research Center. The Visitor Parking provides information about pricing ($25/day), as well as a map with other parking garages.

Travel Grants

The NSF has provided funding for a number of student travel grants to help pay for the cost of attending the event. Any student enrolled full-time at an accredited university or college is welcome to apply for a grant.