Midwest PL Summit
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
Accepted Talks
Practical Modular Language Extensions to C (Lucas Kramer)
Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus (Sundara Vishnu Satish)
Taming the Menagerie of Reference Capabilities (Jason Carr)
Quantum Computation with Probabilistic Programming (Yafei Yang)
We’ve got you Covered: Synthesis of a Coverage-Complete Generator (Patrick LaFontaine)
Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms + Data Layouts = Efficient Programs (Vidush Singhal)
RoHs: A Library for Row Types in Haskell (Apoorv Ingle)
PingPong: A Domain-Specific Language for Data Processing with Static Type Checking (Evan Cook)
Using Bisimulation to Formally Verify the Correctness of Smart Contract Transformations (Kegan McIlwaine)
Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Steven Schaefer)
Automatic Generation of Diagrams for Category-theoretic Proofs in Agda (Kelton OBrien)
Lexical Effect Handlers, Directly (Cong Ma)
Formal verification of 5G Control Plane Protocols (Prasanth Prahladan)
Abstract Machines for Contextual Equivalence and Privacy in Languages with Sampling Effects (Anthony D’Arienzo)
Static Call Graph Generation For Property Based Testing (Joseph Wiseman)
Polarized Subtyping (Zeeshan Lakhani)
Accepted Posters
Information flow control for GPU parallel computing (Godha Pallavi Bhogadi)
Code Style Sheets: CSS for Code (Sam Cohen)
KestRel: Relational Verification Using E-Graphs for Program Alignment (Robert Dickerson)
Notions of Stack-manipulating Computation and Relative Monads (Yuchen Jiang)
Towards Practical Reachability Types with Effects, Escaping, and Cyclic Data Structures (Songlin Jia)
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications (Chujun Geng)
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures (Ruiqi Gao)
Compiling Homomorphic Circuits with Control Flow (Raghav Malik)
Testing Scan by Testing Fold (Zhuyang Wang)
Extending the logic of definitions with negative definitions (Nathan Guermond)
Binding Contexts as Partitionable Multisets in Abella (Terrance Gray)
SABLE: Staging Blocked Evaluation of Sparse Matrix Computations (Pratyush Das)
JMVX: Fast Multi-threaded Multi-version Execution and Record Replay for Managed Languages (David Schwartz)
Parallel Deep Learning with Nanopasses (Darshal Shetty)
Transporting Theorems about Typeability in LF Across Schematically Defined Contexts (Chase Johnson)
How to Design Loops (Joshua Crotts)
Flow-Directed Space-Efficient Closure Conversion (Byron Zhong)
More Efficient Exact Recursive Probabilistic Programming (Chung-chieh Shan)
Equivalence of Unitary and Dynamic Quantum Fourier Transforms (QFTs) in Agda (Javaria Ghafoor)
Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars (Luke Bessant)
SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring (Adhitha Dias)
Derivative-Guided Symbolic Execution (Yongwei Yuan)
Let’s wrap this up! Incremental structured decoding with resource constraints (Breandan Considine)
