Model-guided synthesis of inductive lemmas for FOL with least fixpoints (PLDI 2023 - PLDI Research Papers)

Who

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

Track

PLDI 2023 PLDI Research Papers

Time Zone

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

Use conference time zone: (GMT-04:00) Eastern 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

When

Wed 21 Jun 2023 15:20 - 15:40 at Cypress 2 - PLDI: TOPLAS & SIGPLAN Papers Chair(s): Gang (Gary) Tan

Link to Publication

https://dl.acm.org/doi/10.1145/3563354

Adithya Murali

University of Illinois at Urbana-Champaign

United States

Lucas Peña

University of Illinois at Urbana-Champaign

United States

Eion Blanchard

University of Illinois at Urbana-Champaign

United States

Christof Löding

RWTH Aachen University

Germany

P. Madhusudan

University of Illinois at Urbana-Champaign

United States

Time Zone

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

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

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

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

13:40 - 15:40	PLDI: TOPLAS & SIGPLAN PapersPLDI Research Papers at Cypress 2 Chair(s): Gang (Gary) Tan Pennsylvania State University #pldi-wed-1340-toplas-cypress

13:40 20m Talk		Passport: Improving Automated Formal Verification Using Identifiers PLDI Research Papers Alex Sanchez-Stern University of Massachusetts, Emily First University of Massachusetts Amherst, Timothy Zhou University of Illinois Urbana-Champaign, Zhanna Kaufman University of Massachusetts, Yuriy Brun University of Massachusetts, Talia Ringer University of Illinois at Urbana-Champaign Link to publication DOI Pre-print Media Attached
14:00 20m Talk		Scalable Verification of GNN-based Job Schedulers PLDI Research Papers Haoze Wu Stanford University, Clark Barrett Stanford University, Mahmood Sharif Tel Aviv University, Nina Narodytska VMware Research, Gagandeep Singh University of Illinois at Urbana-Champaign Link to publication Pre-print
14:20 20m Talk		A general construction for abstract interpretation of higher-order automatic differentiation PLDI Research Papers Jacob Laurel University of Illinois at Urbana-Champaign, Rem Yang University of Illinois at Urbana-Champaign, Shubham Ugare University of Illinois at Urbana-Champaign, Robert Nagel University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign Link to publication
14:40 20m Talk		Program Adverbs and Tlön Embeddings PLDI Research Papers Yao Li Portland State University, Stephanie Weirich University of Pennsylvania Link to publication DOI Pre-print
15:00 20m Talk		Gleipnir: toward practical error analysis for Quantum programs PLDI Research Papers Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, USA, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University Link to publication
15:20 20m Talk		Model-guided synthesis of inductive lemmas for FOL with least fixpoints PLDI Research Papers Adithya Murali University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Eion Blanchard University of Illinois at Urbana-Champaign, Christof Löding RWTH Aachen University, P. Madhusudan University of Illinois at Urbana-Champaign Link to publication