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

General Information

Date:

Friday, May 9, 2025

Venue:

Coburn Hall (255), University of Massachusetts, Lowell

Chair and Local Arrangements:

Anitha Gollamudi (UMass Lowell) and Matteo Cimini (UMass Lowell)

Speaker Selection Committee:

Anitha Gollamudi (UMass Lowell), Guannan Wei (Tufts University), Will Crichton (Brown University)

Schedule

All the abstracts

09:00-10:00 Breakfast
10:00-10:20 Knuckledragger: A Low Barrier Proof Assistant
Philip Zucker (Draper Labs)
10:20-10:25 Nested Family Polymorphism for Proofs
Anastasiya Kravchuk-Kirilyuk (Harvard University)
10:25-10:30 Scaling GPU Data-Race Freedom With Delinearization
Paul Maynard (University of Massachusetts Boston)
10:30-10:35 Regular language types for the streaming shell
Lukas Lazarek (Brown University), Zekai Li (Brown University)
10:35-10:40 Vernacular software
Eagon Meng (MIT), Daniel Jackson (MIT)
10:40:10:45 Modeling and Analyzing Performance Cost of GPU Kernels
Gregory Blike (University of Massachusetts Boston)
10:45-10:50 Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Yuriy Brun (University of Masachusetts Amherst)
10:50-11:20 Coffee Break and Poster Session
11:20-11:40 Compositional Specification of Concurrent Objects Under Crashes
Arthur Oliveira Vale (Yale University)
11:40-12:30 Encoding Hypotheses and Experiments with Helical
Emma Tosch (Northeastern University)
12:30-02:00 Lunch
02:00-02:20 QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
Zhanna Kaufman (University of Massachusetts Amherst)
02:20-02:40 CoPy: Declarative Objected-oriented programming through copatterns
Adriano Corbelino (University of Masaschusetts Lowell)
02:40-03:00 Norman Principles of Design + Empirical CS = Dynamic Visualization Tools in FSM
Andres M. Garced (Seton Hall University), Marco T. Morazán (Seton Hall University), Tijana Minic (University of Washington)
03:00-03:20 Zero-Cost Lexical Effect Handlers
Cong Ma (University of Waterloo)
03:20-03:50 Break
03:50-04:10 Rust isn’t a Silver Bullet for Systems Research (Yet)
Kinan Dak Albab (Brown University)
04:10-04:30 From Linearity to Borrowing
Andrew Wagner (Northeastern University)

Last modified Tuesday, April 29th, 2025 9:02:04am

09:00-10:00	Breakfast
10:00-10:20	Knuckledragger: A Low Barrier Proof Assistant Philip Zucker (Draper Labs)
10:20-10:25	Nested Family Polymorphism for Proofs Anastasiya Kravchuk-Kirilyuk (Harvard University)
10:25-10:30	Scaling GPU Data-Race Freedom With Delinearization Paul Maynard (University of Massachusetts Boston)
10:30-10:35	Regular language types for the streaming shell Lukas Lazarek (Brown University), Zekai Li (Brown University)
10:35-10:40	Vernacular software Eagon Meng (MIT), Daniel Jackson (MIT)
10:40:10:45	Modeling and Analyzing Performance Cost of GPU Kernels Gregory Blike (University of Massachusetts Boston)
10:45-10:50	Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Yuriy Brun (University of Masachusetts Amherst)
10:50-11:20	Coffee Break and Poster Session
11:20-11:40	Compositional Specification of Concurrent Objects Under Crashes Arthur Oliveira Vale (Yale University)
11:40-12:30	Encoding Hypotheses and Experiments with Helical Emma Tosch (Northeastern University)
12:30-02:00	Lunch
02:00-02:20	QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning Zhanna Kaufman (University of Massachusetts Amherst)
02:20-02:40	CoPy: Declarative Objected-oriented programming through copatterns Adriano Corbelino (University of Masaschusetts Lowell)
02:40-03:00	Norman Principles of Design + Empirical CS = Dynamic Visualization Tools in FSM Andres M. Garced (Seton Hall University), Marco T. Morazán (Seton Hall University), Tijana Minic (University of Washington)
03:00-03:20	Zero-Cost Lexical Effect Handlers Cong Ma (University of Waterloo)
03:20-03:50	Break
03:50-04:10	Rust isn’t a Silver Bullet for Systems Research (Yet) Kinan Dak Albab (Brown University)
04:10-04:30	From Linearity to Borrowing Andrew Wagner (Northeastern University)