A general construction for abstract interpretation of higher-order automatic differentiation (PLDI 2023 - PLDI Research Papers)

Who

Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic

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 14:20 - 14:40 at Cypress 2 - PLDI: TOPLAS & SIGPLAN Papers Chair(s): Gang (Gary) Tan

Link to Publication

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

Jacob Laurel

University of Illinois at Urbana-Champaign

United States

Rem Yang

University of Illinois at Urbana-Champaign

United States

Shubham Ugare

University of Illinois at Urbana-Champaign

United States

Robert Nagel

University of Illinois at Urbana-Champaign

United States

Gagandeep Singh

University of Illinois at Urbana-Champaign

United States

Sasa Misailovic

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