Context-Free Language Reachability via Skewed Tabulation (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Yuxiang Lei, Camille Bossut, Yulei Sui, Qirun Zhang

Track

PLDI 2024 PLDI Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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

When

Fri 28 Jun 2024 14:40 - 15:00 at Sweden - Program Analysis 2 Chair(s): Anders Møller

DOI

https://doi.org/10.1145/3656451

Yuxiang Lei

UNSW Sydney

Camille Bossut

Georgia Institute of Technology

Yulei Sui

UNSW Sydney

Australia

Qirun Zhang

Georgia Institute of Technology

United States

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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

Session Program

Fri 28 Jun
Displayed time zone: Windhoek change

	13:40 - 15:20	Program Analysis 2PLDI Research Papers at Sweden Chair(s): Anders Møller Aarhus University

	13:40 20m Talk		Scaling Type-Based Points-to Analysis with Saturation PLDI Research Papers Christian Wimmer Oracle Labs, Codrut Stancu Oracle Labs, David Kozak Brno University of Technology & Oracle Labs, Thomas Wuerthinger Oracle Labs DOI Pre-print
	14:00 20m Talk		Program Analysis for Adaptive Data Analysis PLDI Research Papers Jiawen Liu , Weihao Qu Monmouth University, Marco Gaboardi Boston University, Deepak Garg MPI-SWS, Jonathan Ullman Northeastern University DOI
	14:20 20m Talk		Robust Resource Bounds with Static Analysis and Bayesian Inference PLDI Research Papers Long Pham Carnegie Mellon University, Feras Saad Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University DOI
	14:40 20m Talk		Context-Free Language Reachability via Skewed Tabulation PLDI Research Papers Yuxiang Lei UNSW Sydney, Camille Bossut Georgia Institute of Technology, Yulei Sui UNSW Sydney, Qirun Zhang Georgia Institute of Technology DOI
	15:00 20m Talk		Static Analysis for Checking the Disambiguation Robustness of Regular Expressions PLDI Research Papers Konstantinos Mamouras Rice University, Alexis Le Glaunec Rice University, Wu Angela Li Rice University, Agnishom Chattopadhyay Rice University DOI