New England Programming Languages and Systems Symposium Series (NEPLS): Schedule

General Information

Date:

Monday, Nov 17, 2025

Venue:

Duan Family Center for Computing and Data Science, Boston University

Chair and Local Arrangements:

Kinan Dak Albab (Boston University)

Speaker Selection Committee:

Kinan Dak Albab (Boston University), Noah Evans (Draper), Anitha Gollamudi (UMass Lowell)

Schedule

All the abstracts

9:00-10:00 Breakfast
10:00-10:20 minBT: A Minimal Core Calculus for Behavior Trees
Cynthia Li (Northeastern University)
10:20-10:40 Fractional Permission Session Types
Selene Wu (Boston University)
10:40-10:55 Data Abstraction for Adversarial Security
Jared Pincus (Boston University)
10:55-11:10 Break
11:10-11:30 Towards Measure-Based Termination for STLC
Aaron Stump (Boston College)
11:40-11:55 Epistemic Logic for Polyglots
Luis Garcia (Northeastern University)
11:55-12:20 Foundational Metatheory for Type-based Cryptographic Proofs
Conrad Zimmerman (Northeastern University)
12:20-12:40 Nested permissions for disjointness reasoning
Gavin Rohrer (Boston University)
12:45-2:15 Lunch
2:15-2:30 Automated Reasoning for File System Interactions
Eric Zhao (Brown University)
2:30-2:40 Formalizing Delinearization on GPU Programs
Paul Maynard (UMass Boston), Tiago Cogumbeiro (UMass Boston)
2:40-3:00 Property Based Testing to verify a pipelined CPU design (hardware)
Rishiyur S. Nikhil (Bluespec, Inc)
3:00-3:10 Caruca: Effective and Efficient Specification Mining for Opaque Software Components
Evangelos Lamprou (Brown University)
3:10-3:25 Orchestrating Program Synthesis: The Search for Better Search
Nada Amin (Harvard)
3:25-3:40 Break
3:40-3:55 Benchmarking LLM Agents for CUDA Data-Race Repair with Faial via MCP
Clark Ohlenbusch (UMass Boston)
3:55-4:15 Touring the Landscape of Contemporary Async/Await Systems
Gavin Gray (Brown University)
4:15-4:40 Bridging the Gap: Precise Static Analysis of WebAssembly in a JavaScript World
Michelle Thalakottur (Northeastern University)
4:40-4:55 Verified Derivation of Fast Tensor Programs
Amanda Liu (MIT)
4:55-5:15 From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs
Lukas Lazarek (Brown University)
5:15-5:30 Business Meeting

Last modified Friday, November 14th, 2025 1:00:31pm

9:00-10:00	Breakfast
10:00-10:20	minBT: A Minimal Core Calculus for Behavior Trees Cynthia Li (Northeastern University)
10:20-10:40	Fractional Permission Session Types Selene Wu (Boston University)
10:40-10:55	Data Abstraction for Adversarial Security Jared Pincus (Boston University)
10:55-11:10	Break
11:10-11:30	Towards Measure-Based Termination for STLC Aaron Stump (Boston College)
11:40-11:55	Epistemic Logic for Polyglots Luis Garcia (Northeastern University)
11:55-12:20	Foundational Metatheory for Type-based Cryptographic Proofs Conrad Zimmerman (Northeastern University)
12:20-12:40	Nested permissions for disjointness reasoning Gavin Rohrer (Boston University)
12:45-2:15	Lunch
2:15-2:30	Automated Reasoning for File System Interactions Eric Zhao (Brown University)
2:30-2:40	Formalizing Delinearization on GPU Programs Paul Maynard (UMass Boston), Tiago Cogumbeiro (UMass Boston)
2:40-3:00	Property Based Testing to verify a pipelined CPU design (hardware) Rishiyur S. Nikhil (Bluespec, Inc)
3:00-3:10	Caruca: Effective and Efficient Specification Mining for Opaque Software Components Evangelos Lamprou (Brown University)
3:10-3:25	Orchestrating Program Synthesis: The Search for Better Search Nada Amin (Harvard)
3:25-3:40	Break
3:40-3:55	Benchmarking LLM Agents for CUDA Data-Race Repair with Faial via MCP Clark Ohlenbusch (UMass Boston)
3:55-4:15	Touring the Landscape of Contemporary Async/Await Systems Gavin Gray (Brown University)
4:15-4:40	Bridging the Gap: Precise Static Analysis of WebAssembly in a JavaScript World Michelle Thalakottur (Northeastern University)
4:40-4:55	Verified Derivation of Fast Tensor Programs Amanda Liu (MIT)
4:55-5:15	From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs Lukas Lazarek (Brown University)
5:15-5:30	Business Meeting