Grand Ballroom Salons E+F+G+H

VenueOakland Marriott City Center

Room nameGrand Ballroom Salons E+F+G+H

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 4 Oct
Displayed time zone: Pacific Time (US & Canada) change

08:30 - 10:00	Morning SessionSPLASH/ISSTA PLMW @ SPLASH/ISSTA at Grand Ballroom Salons E+F+G+H Chair(s): Milijana Surbatovich University of Maryland at College Park

09:00 60m Talk		Welcome, conference advice and icebreaker SPLASH/ISSTA PLMW @ SPLASH/ISSTA

10:30 - 12:00	Main TalksSPLASH/ISSTA PLMW @ SPLASH/ISSTA at Grand Ballroom Salons E+F+G+H Chair(s): Max Willsey University of California at Berkeley

10:30 45m Talk		AI, PL, and Compilers SPLASH/ISSTA PLMW @ SPLASH/ISSTA Fredrik Kjolstad Stanford University
11:15 45m Talk		Managing undergraduate research, as mentor and mentee SPLASH/ISSTA PLMW @ SPLASH/ISSTA Mae Milano Princeton University

13:30 - 15:00	Tech Talk SessionSPLASH/ISSTA PLMW @ SPLASH/ISSTA at Grand Ballroom Salons E+F+G+H Chair(s): Milijana Surbatovich University of Maryland at College Park

13:30 30m Talk		The Art and Science of Teaching Rust SPLASH/ISSTA PLMW @ SPLASH/ISSTA Will Crichton Brown University
14:00 30m Talk		Programming Languages and the Law SPLASH/ISSTA PLMW @ SPLASH/ISSTA Aymeric Fromherz Inria
14:30 30m Talk		Before, During, and After: Tools for Thought in the Age of Tools for Slop SPLASH/ISSTA PLMW @ SPLASH/ISSTA Cyrus Omar University of Michigan

15:30 - 17:00	Panel SessionSPLASH/ISSTA PLMW @ SPLASH/ISSTA at Grand Ballroom Salons E+F+G+H Chair(s): Milijana Surbatovich University of Maryland at College Park, Max Willsey University of California at Berkeley

15:30 40m Panel		Career panel SPLASH/ISSTA PLMW @ SPLASH/ISSTA Ryan Tjoa Jane Street, Sukyoung Ryu KAIST, Pavel Panchekha University of Utah, Joomy Korkut Bloomberg
16:10 40m Panel		Graduate-school panel SPLASH/ISSTA PLMW @ SPLASH/ISSTA Justin Lubin University of California at Berkeley, Katherine Wu Cornell University, Segev Elazar Mittelman University of Maryland, Oliver Flatt University of Washington
16:50 5m Talk		SIGPLAN CARES SPLASH/ISSTA PLMW @ SPLASH/ISSTA Sukyoung Ryu KAIST
16:55 5m Day closing		Closing remarks and feedback survey SPLASH/ISSTA PLMW @ SPLASH/ISSTA

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	Session 1SPLASH/ISSTA Summer School at Grand Ballroom Salons E+F+G+H

10:30 90m Talk		Connecting programs and proof SPLASH/ISSTA Summer School S: K. Rustan M. Leino Harmonic

	12:00 - 13:30	Summer School Mentoring & SIGPLAN-M LunchSPLASH/ISSTA Social Events at Grand Ballroom Salons E+F+G+H Aspiring and current programming language researchers can request mentoring through the SIGPLAN long-term mentoring program. The program pairs mentors with mentees for a year-long mentoring relationship. Anyone of any seniority can be a mentor—senior graduate students, for example, make great mentors.

13:30 - 15:00	Session 2SPLASH/ISSTA Summer School at Grand Ballroom Salons E+F+G+H

13:30 90m Talk		Language design for Systems SPLASH/ISSTA Summer School Mae Milano Princeton University

15:30 - 17:00	Session 3SPLASH/ISSTA Summer School at Grand Ballroom Salons E+F+G+H

15:30 90m Talk		Analysis, verification, and testing of quantum software SPLASH/ISSTA Summer School S: Jens Palsberg University of California at Los Angeles

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

08:30 - 10:00	Information Flow and PrivacySAS at Grand Ballroom Salons E+F+G+H Chair(s): Sébastien Bardin CEA List - Université Paris-Saclay

09:00 30m Talk		PEG for information flow: analysis and incremental reasoning SAS Alexandre Drewery INRIA, Thomas P. Jensen INRIA Rennes, David Pichardie Meta
09:30 30m Talk		Verifying ε-Differential Privacy Bit by Bit SAS Zach Susag Grinnell College, Justin Hsu Cornell University

10:30 - 12:00	Agentic ReasoningSAS at Grand Ballroom Salons E+F+G+H Chair(s): Aditya V. Thakur University of California at Davis

10:30 45m Keynote		Agentic Code Reasoning SAS Satish Chandra Meta Platforms, Inc.
11:15 30m Talk		NEAT: Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis SAS Jacqueline L. Mitchell University of Southern California, Chao Wang University of Southern California

13:30 - 15:00	Bug Detection, Control Flow & Resource AnalysisSAS at Grand Ballroom Salons E+F+G+H Chair(s): Hakjoo Oh Korea University

13:30 30m Talk		FINDUS: Static Detection of Use-After-Scope Violations for Multi-threaded Programs SAS Maruti Sairam Venkata Annaluru IIT Hyderabad, Siddhartha Neyagapula IIT Hyderabad, Raj Ambekar IIT Hyderabad, Ramakrishna Upadrasta IIT Hyderabad, Jyothi Vedurada IIT Hyderabad
14:00 30m Talk		NEAT: A Benchmark for Indirect Control Flow Recovery SAS Tullis Nelson Auburn University, Tod Amon Sandia National Laboratories, Samuel Mulder Auburn University, Enoch Yang Auburn University, Raisul Arefin Nahid Auburn University, Douglas Ghormley Sandia National Laboratories, Timothy Loffredo Sandia National Laboratories, Kevan Baker Auburn University, Dylan Stancil Auburn University, Marshall Nelson Auburn University
14:30 30m Talk		Inferring Empirical Sound Resource Bounds via Symbolic Execution and Linear Programming SAS Samuel Frontull University of Innsbruck, Manuel Meitinger University of Innsbruck, Georg Moser University of Innsbruck

15:30 - 17:00	Synthesis & Business MeetingSAS at Grand Ballroom Salons E+F+G+H Chair(s): Aditya V. Thakur University of California at Davis, Sébastien Bardin CEA List - Université Paris-Saclay

15:30 30m Talk		Synthesizing Parsing Expression Grammars via Analysis-based Pruning SAS Seongmin Ko Korea University, Jihyeok Park Korea University
16:00 60m Meeting		Business Meeting and Radhia Cousot Award SAS Aditya V. Thakur University of California at Davis, Sébastien Bardin CEA List - Université Paris-Saclay

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

08:30 - 10:00	Responsibility and DeterminismSAS at Grand Ballroom Salons E+F+G+H Chair(s): Aditya V. Thakur University of California at Davis

09:00 30m Talk		Making Responsibility Analysis Precise SAS Mila Dalla Preda University of Verona, Laura Canaia University of Verona, Italy
09:30 30m Talk		Determinism Analysis and its Application to Evaluation Order Independence SAS Sebastien Bonduelle Inria, Benoît Montagu Inria, Thomas P. Jensen INRIA Rennes

10:30 - 12:00	Automated Repair and Vulnerability DetectionSAS at Grand Ballroom Salons E+F+G+H Chair(s): Gagandeep Singh University of Illinois Urbana-Champaign

10:30 60m Keynote		Automated Repair of Pluggable Type Checker Warnings SAS K: Manu Sridharan University of California at Riverside
11:30 30m Talk		TriVul: Improving Precision of Static Vulnerability Detection through Multi-Agent Reasoning SAS Xinye Zhao University of Notre Dame, Joanna C. S. Santos University of Notre Dame

13:30 - 15:00	Learning for Analysis & Neural Network VerificationSAS at Grand Ballroom Salons E+F+G+H Chair(s): Roberto Giacobazzi University of Arizona

13:30 30m Talk		Heurix: A Framework to Automatically Learn Heuristics for Abstract Interpretation SAS Maykel Mattar Université Paris-Saclay, CEA, List / Université Bretagne Sud, IRISA, Michele Alberti Université Paris-Saclay, CEA, List, Valentin Perrelle Université Paris-Saclay, CEA, List, Palaiseau, France, Salah Sadou IRISA & CNRS, Universite Bretagne Sud,France
14:00 30m Talk		Uncovering the Limits of Proof Sharing for Neural Networks SAS Kanak Das University of California, Riverside, Shubham Ugare University of Illinois Urbana-Champaign / Meta, Bor-Yuh Evan Chang University of Colorado Boulder; Amazon, Sasa Misailovic University of Illinois Urbana-Champaign, Gagandeep Singh University of Illinois Urbana-Champaign, Manu Sridharan University of California at Riverside
14:30 30m Talk		NEAT: The Luna Bound Propagator for Formal Analysis of Neural Networks SAS Henry LeCates Amherst College, Haoze Wu Amherst College

15:30 - 17:00	Future Trends in Static AnalysisSAS at Grand Ballroom Salons E+F+G+H Chair(s): Aditya V. Thakur University of California at Davis

15:30 5m Talk		Analysis of Program Analysis SAS Roberto Giacobazzi University of Arizona
15:35 5m Talk		Synthesizing Adaptive and Scalable Abstract Interpreters SAS Gagandeep Singh University of Illinois Urbana-Champaign
15:40 5m Talk		Static Analysis with a Pause: The Case for Analyses That Finish at Runtime SAS Manas Thakur IIT Bombay
15:45 5m Talk		Towards Sound Interactive Static Analysis SAS Michael Schwarz National University of Singapore
15:50 5m Talk		Towards Cumulative Abstract Semantics SAS Bor-Yuh Evan Chang University of Colorado Boulder; Amazon
15:55 5m Talk		Proof Engineering with LLMs and Auto-active Verifiers SAS Jenna DiVincenzo (Wise) Purdue University
16:00 5m Talk		A Static Analysis Portfolio to Guide LLM-Based Code Repair SAS Laura Titolo Code Metal
16:05 5m Talk		Toward Static Analysis of Natural-Language Specifications SAS Hakjoo Oh Korea University
16:10 50m Panel		Future Trends in Static Analysis SAS P: Hakjoo Oh Korea University, P: Bor-Yuh Evan Chang University of Colorado Boulder; Amazon, P: Laura Titolo Code Metal, P: Michael Schwarz National University of Singapore, P: Manu Sridharan University of California at Riverside, P: Roberto Giacobazzi University of Arizona, P: Manas Thakur IIT Bombay, P: Gagandeep Singh University of Illinois Urbana-Champaign, P: Jenna DiVincenzo (Wise) Purdue University

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	MorningIWACO at Grand Ballroom Salons E+F+G+H Chair(s): Colin S. Gordon Drexel University

10:30 25m Talk		Reachability Types: Tracking Resources in Higher-Order Programs IWACO Siyuan He Purdue University
10:55 25m Talk		Information Borrowing IWACO Hazel Torek Clemson University, Hemant Gouni Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
11:20 25m Talk		Type-Safe Monotonic Object Evolution IWACO Fabian Muehlboeck Australian National University
11:45 25m Talk		Generic Abstract Immutability Types IWACO Aosen Xiong University of Waterloo, Werner Dietl University of Waterloo

13:30 - 15:00	Afternoon 1IWACO at Grand Ballroom Salons E+F+G+H Chair(s): Peter Thiemann University of Freiburg

13:30 65m Talk		IWACO and Rust: hidden links revealedKeynote IWACO Nicholas Matsakis AWS
14:35 25m Talk		Coenobita: Static Capability Types for Side Effect Safety in Rust IWACO George Berdovskiy University of California, Davis, Caleb Stanford University of California, Davis

15:30 - 17:00	Afternoon 2IWACO at Grand Ballroom Salons E+F+G+H Chair(s): Hemant Gouni Carnegie Mellon University

15:30 65m Talk		Hylo: Safe Systems- & Generic-programming with Mutable Value SemanticsKeynote IWACO Dave Abrahams
16:35 25m Talk		Fully-Automatic Type Inference for Borrows with Lifetimes IWACO Benjamin Driscoll Stanford University

Sun 4 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Ballroom Salons E+F+G+H							SPLASH/ISSTA PLMW @ SPLASH/ISSTA Morning Session																								SPLASH/ISSTA PLMW @ SPLASH/ISSTA Main Talks																																				SPLASH/ISSTA PLMW @ SPLASH/ISSTA Tech Talk Session																								SPLASH/ISSTA PLMW @ SPLASH/ISSTA Panel Session

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Ballroom Salons E+F+G+H							SPLASH/ISSTA Summer School																								SPLASH/ISSTA Summer School Session 1																		SPLASH/ISSTA Social Events Summer School Mentoring & SIGPLAN-M Lunch																		SPLASH/ISSTA Summer School Session 2																								SPLASH/ISSTA Summer School Session 3

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Ballroom Salons E+F+G+H							SAS Information Flow and Privacy																								SAS Agentic Reasoning																																				SAS Bug Detection, Control Flow & Resource Analysis																								SAS Synthesis & Business Meeting

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Ballroom Salons E+F+G+H							SAS Responsibility and Determinism																								SAS Automated Repair and Vulnerability Detection																																				SAS Learning for Analysis & Neural Network Verification																								SAS Future Trends in Static Analysis

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Ballroom Salons E+F+G+H							IWACO																								IWACO Morning																																				IWACO Afternoon 1																								IWACO Afternoon 2

Sun 4 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Grand Ballroom Salons E+F+G+H	SPLASH/ISSTA PLMW @ SPLASH/ISSTA Welcome, conference advice and icebreaker 09:00 - 10:00																		SPLASH/ISSTA PLMW @ SPLASH/ISSTA AI, PL, and Compilers 10:30 - 11:15									SPLASH/ISSTA PLMW @ SPLASH/ISSTA Managing undergraduate research, as mentor and mentee 11:15 - 12:00																											SPLASH/ISSTA PLMW @ SPLASH/ISSTA The Art and Science of Teaching Rust 13:30 - 14:00						SPLASH/ISSTA PLMW @ SPLASH/ISSTA Programming Languages and the Law 14:00 - 14:30						SPLASH/ISSTA PLMW @ SPLASH/ISSTA Before, During, and After: Tools for Thought in the Age of Tools for Slop 14:30 - 15:00												SPLASH/ISSTA PLMW @ SPLASH/ISSTA Career panel 15:30 - 16:10								SPLASH/ISSTA PLMW @ SPLASH/ISSTA Graduate-school panel 16:10 - 16:50								SPLASH/ISSTA PLMW @ SPLASH/ISSTA SIGPLAN CARES 16:50 - 16:55	SPLASH/ISSTA PLMW @ SPLASH/ISSTA Closing remarks and feedback survey 16:55 - 17:00

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Grand Ballroom Salons E+F+G+H							SPLASH/ISSTA Summer School Connecting programs and proof 10:30 - 12:00																																				SPLASH/ISSTA Summer School Language design for Systems 13:30 - 15:00																								SPLASH/ISSTA Summer School Analysis, verification, and testing of quantum software 15:30 - 17:00

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Grand Ballroom Salons E+F+G+H	SAS PEG for information flow: analysis and incremental reasoning 09:00 - 09:30						SAS Verifying ε-Differential Privacy Bit by Bit 09:30 - 10:00												SAS Agentic Code Reasoning 10:30 - 11:15									SAS NEAT: Agentic Interpretation: Lattice-Structured Evidence for LLM-Based ... 11:15 - 11:45																											SAS FINDUS: Static Detection of Use-After-Scope Violations for Multi-thread ... 13:30 - 14:00						SAS NEAT: A Benchmark for Indirect Control Flow Recovery 14:00 - 14:30						SAS Inferring Empirical Sound Resource Bounds via Symbolic Execution and Li ... 14:30 - 15:00												SAS Synthesizing Parsing Expression Grammars via Analysis-based Pruning 15:30 - 16:00						SAS Business Meeting and Radhia Cousot Award 16:00 - 17:00

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Grand Ballroom Salons E+F+G+H	SAS Making Responsibility Analysis Precise 09:00 - 09:30						SAS Determinism Analysis and its Application to Evaluation Order Independence 09:30 - 10:00												SAS Automated Repair of Pluggable Type Checker Warnings 10:30 - 11:30												SAS TriVul: Improving Precision of Static Vulnerability Detection through M ... 11:30 - 12:00																								SAS Heurix: A Framework to Automatically Learn Heuristics for Abstract Inte ... 13:30 - 14:00						SAS Uncovering the Limits of Proof Sharing for Neural Networks 14:00 - 14:30						SAS NEAT: The Luna Bound Propagator for Formal Analysis of Neural Networks 14:30 - 15:00												SAS Analysis of Program Analysis 15:30 - 15:35	SAS Synthesizing Adaptive and Scalable Abstract Interpreters 15:35 - 15:40	SAS Static Analysis with a Pause: The Case for Analyses That Finish at Runtime 15:40 - 15:45	SAS Towards Sound Interactive Static Analysis 15:45 - 15:50	SAS Towards Cumulative Abstract Semantics 15:50 - 15:55	SAS Proof Engineering with LLMs and Auto-active Verifiers 15:55 - 16:00	SAS A Static Analysis Portfolio to Guide LLM-Based Code Repair 16:00 - 16:05	SAS Toward Static Analysis of Natural-Language Specifications 16:05 - 16:10	SAS Future Trends in Static Analysis 16:10 - 17:00

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Grand Ballroom Salons E+F+G+H							IWACO Reachability Types: Tracking Resources in Higher-Order Programs 10:30 - 10:55					IWACO Information Borrowing 10:55 - 11:20					IWACO Type-Safe Monotonic Object Evolution 11:20 - 11:45					IWACO Generic Abstract Immutability Types 11:45 - 12:10																					IWACOKeynote IWACO and Rust: hidden links revealed 13:30 - 14:35													IWACO Coenobita: Static Capability Types for Side Effect Safety in Rust 14:35 - 15:00											IWACOKeynote Hylo: Safe Systems- & Generic-programming with Mutable Value Semantics 15:30 - 16:35													IWACO Fully-Automatic Type Inference for Borrows with Lifetimes 16:35 - 17:00

Room information: Grand Ballroom Salons E+F+G+H

Program Display Configuration

Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 9 OctDisplayed time zone: Pacific Time (US & Canada) change

Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH/ISSTA PLMW @ SPLASH/ISSTA

SPLASH/ISSTA PLMW @ SPLASH/ISSTA

SPLASH/ISSTA PLMW @ SPLASH/ISSTA

SPLASH/ISSTA PLMW @ SPLASH/ISSTA

Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH/ISSTA Summer School

SPLASH/ISSTA Summer School

SPLASH/ISSTA Social Events

SPLASH/ISSTA Summer School

SPLASH/ISSTA Summer School

Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change

SAS

SAS

SAS

SAS

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

SAS

SAS

SAS

SAS

Fri 9 OctDisplayed time zone: Pacific Time (US & Canada) change

IWACO

IWACO

IWACO

IWACO

Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 9 OctDisplayed time zone: Pacific Time (US & Canada) change

Sun 4 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change

Sun 4 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change

Sun 4 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change