New Jersey
Programming Languages and Systems
Seminar
Nov 13, 2026
Downtown Manhattan, NY
The New Jersey Programming Languages and Systems Seminar (NJPLS) brings researchers in the New Jersey area together for a day of informal talks and discussions. We accept talks on complete research and work in progress, dealing with topics of interest to the programming languages and systems communities.
| When | Friday, Nov 13, 2026 |
| Where | Downtown Manhattan |
| What | Research talks and discussions. Breakfast, lunch, coffee, and snacks provided. |
| Talk Proposal Deadline: | Oct 20, 2026 | Closed! |
| Registration Deadline: | Nov 1, 2026 | Closed! |
Any questions or concerns should be directed to Leonidas Lampropoulos (leonidas@umd.edu).
Program
| 9:00 AM | Breakfast and Sign-in | |
| 10:00 AM | HyperCryptis: A Separation Logic for Indistinguishability in the Dolev–Yao Model | Chandradeep Dey Rochester Institute of Technology |
| 10:20 AM | Fractional Permission Session Types | Selene Wu New York University |
| 10:40 AM | Toward Verified Shell Parallelization with an Explicit OS Model | Eric Wang Stevens Institute of Technology |
| 11:00 AM | Coffee | |
| 11:30 AM | Hegel: Universal Property-Based Testing | Ethan Chou Antithesis |
| 11:50 AM | Topolor: A Hybrid Algorithm for Incremental Computation | Justus Croskery University of Maryland |
| 12:10 PM | A Hoare Logic for Continuous-Time Stochastic Processes | Kei Imada Cornell University |
| 12:30 PM | Lunch | |
| 2:00 PM | Bootstrapping a formally verified ecosystem | Kiran Gopinathan Basis Research Institute |
| 2:20 PM | Efficient and Sound Probabilistic Verification for AI Agents | Alaia Solko-Breslin University of Pennsylvania; Google DeepMind |
| 2:40 PM | Trees, Walks, and Words: A Logic for File System Interactions | Eric Zhao Brown University |
| 3:00 PM | Coffee | |
| 3:30 PM | Mind the Heap: Preventing Capability Leakage Across CHERI Compartments | Hamed Ghavamnia Bloomberg |
| 3:50 PM | WebSheets: Generating Web Applications from Data Access Policies | Scott D. Stoller Stony Brook University |
| 4:10 PM | Compiling Geometry: Exploiting Typed Sparsity through Staged Compilation | Daniel Williams Princeton University |
| 4:30 PM | Proof-Carrying-BPF Programs for the eBPF Verifier | Yalu Cai Rutgers University |
| 4:50 PM | Closing Remarks |