Friday, November 22, 2024
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: Robert Rand, William Mansky, and Stefan Muller


Dates

Program

08:00–09:00 Breakfast
09:00–09:10 Introductory Remarks
09:10–10:30 Session A: Talks (Chair: William Mansky)

Practical Modular Language Extensions to C. Lucas Kramer, University of Minnesota.

Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms + Data Layouts = Efficient Programs. Vidush Singhal, Purdue University.

We’ve got you Covered: Synthesis of a Coverage-Complete Generator. Patrick LaFontaine, Purdue University.

Static Call Graph Generation For Property Based Testing. Joseph Wiseman, University of Illinois Chicago.
10:30–11:00 Morning Break
11:00–12:20 Session B: Talks (Chair: Robert Rand)

Using Bisimulation to Formally Verify the Correctness of Smart Contract Transformations. Kegan McIlwaine, University of Wyoming.

Formal Verification of 5G Control Plane Protocols. Prasanth Prahladan, University of Colorado Boulder.

Abstract Machines for Contextual Equivalence and Privacy in Languages with Sampling Effects. Anthony D'Arienzo, University of Illinois and Sandia National Laboratories.

Quantum Computation with Probabilistic Programming. Yafei Yang, Indiana University.
12:20–01:30 Lunch
01:30–02:50 Session C: Talks (Chair: Stefan Muller)

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus. Sundara Vishnu Satish, University of Michigan.

Automatic Generation of Diagrams for Category-theoretic Proofs in Agda. Kelton OBrien, University of Minnesota and Université Paris Cité.

Taming the Menagerie of Reference Capabilities. Jason Carr, University of Chicago.

PingPong: A Domain-Specific Language for Data Processing with Static Type Checking. Evan Cook, University of Chicago.
02:50–04:20 Poster Session and Afternoon Break

Information flow control for GPU parallel computing. Godha Pallavi Bhogadi, Illinois Institute of Technology.

Code Style Sheets: CSS for Code. Sam Cohen, University of Chicago.

KestRel: Relational Verification Using E-Graphs for Program Alignment. Robert Dickerson, Purdue University.

Notions of Stack-manipulating Computation and Relative Monads. Yuchen Jiang, University of Michigan.

Towards Practical Reachability Types with Effects, Escaping, and Cyclic Data Structures. Songlin Jia, Purdue University.

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications. Chujun Geng, Ohio State University.

Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. Ruiqi Gao, Purdue University.

Compiling Homomorphic Circuits with Control Flow. Raghav Malik, Purdue University.

Testing Scan by Testing Fold. Zhuyang Wang, University of Minnesota.

Extending the logic of definitions with negative definitions. Nathan Guermond, University of Minnesota.

Binding Contexts as Partitionable Multisets in Abella. Terrance Gray, University of Minnesota.

SABLE: Staging Blocked Evaluation of Sparse Matrix Computations. Pratyush Das, Purdue University.

JMVX: Fast Multi-threaded Multi-version Execution and Record Replay for Managed Languages. David Schwartz, University of Illinois Chicago.

Parallel Deep Learning with Nanopasses. Darshal Shetty, Indiana University.

Transporting Theorems about Typeability in LF Across Schematically Defined Contexts. Chase Johnson, University of Minnesota.

How to Design Loops. Joshua Crotts, Indiana University Bloomington.

Flow-Directed Space-Efficient Closure Conversion. Byron Zhong, University of Chicago.

More Efficient Exact Recursive Probabilistic Programming. Chung-chieh Shan, Indiana University.

Equivalence of Unitary and Dynamic Quantum Fourier Transforms (QFTs) in Agda. Javaria Ghafoor, Indiana University.

Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars. Luke Bessant, University of Minnesota.

SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring. Adhitha Dias, Purdue University.

Derivative-Guided Symbolic Execution. Yongwei Yuan, Purdue University.

Let's wrap this up! Incremental structured decoding with resource constraints. Breandan Considine, McGill University.
04:20–05:40 Session D: Talks (Chair: Favonia)

RoHs: A Library for Row Types in Haskell. Apoorv Ingle, University of Iowa.

Polarized Subtyping. Zeeshan Lakhani, Carnegie Mellon University.

Lexical Effect Handlers, Directly. Cong Ma, University of Waterloo.

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus. Steven Schaefer, University of Michigan.
05:40–05:50 Closing Remarks
06:30–08:00 Dinner at Time Out Market

For everyone taking public transit, we plan to walk to the Cottage Grove Metro Stop at 6pm (promptly) to take the Green Line to the market.

Attending

The workshop will be held in the 3rd Floor Theater of Ida Noyes Hall 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 and the nearest bus and train stops, as well as the Study hotel. Strongly consider taking public transit, a taxi, or Uber if coming from elsewhere in Chicago.


Accommodation

The most convenient hotel is The Study, located a short walk from Ida Noyes Hall. You can use the corporate code UNIV to get a discount on their hotel rooms. Another convenient option is SOPHY Hotel, a 23 minute walk away (and roughly the same by bus or commuter rail). You can use the corporate code CR74067 for SOPHY, and select the "Friends and Family Rate". There may be other good hotel options in the Loop (downtown Chicago) or near Midway or O'Hare airports.

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 2, 6 and 28 CTA (Chicago Transit Authority) buses (which stop at 59th Street and Stony Island), and the Metra Electric District commuter rail line (University of Chicago/59th St.) . Each of these three routes runs north/south between downtown Chicago and Hyde Park.

Parking

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.

Visitor Parking provides a map of parking garages along with prices.


Sponsors

     


Archive