Floating-Point TVPI Abstract Domain (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Joao Rivera, Franz Franchetti, Markus Püschel

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 11:20 - 11:40 at Sweden - Program Analysis 1 Chair(s): Jens Palsberg

DOI

https://doi.org/10.1145/3656395

Joao Rivera

ETH Zurich

Switzerland

Franz Franchetti

Carnegie Mellon University, USA

Markus Püschel

ETH Zurich

Switzerland

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

	10:40 - 12:20	Program Analysis 1PLDI Research Papers at Sweden Chair(s): Jens Palsberg University of California, Los Angeles (UCLA)

	10:40 20m Talk		[TOPLAS] Interactive Abstract Interpretation with Demanded Summarization PLDI Research Papers Benno Stein SkipLabs, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Manu Sridharan University of California at Riverside DOI
	11:00 20m Talk		Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs PLDI Research Papers Mafalda Ferreira INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Miguel Monteiro INESC-ID and Universidade de Lisboa, Tiago Brito INESC-ID and Universidade de Lisboa, Miguel E. Coimbra INESC-ID and Universidade de Lisboa, Nuno Santos INESC-ID / Instituto Superior Tecnico, University of Lisbon, Limin Jia , José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal DOI Pre-print
	11:20 20m Talk		Floating-Point TVPI Abstract DomainRemote PLDI Research Papers Joao Rivera ETH Zurich, Franz Franchetti Carnegie Mellon University, USA, Markus Püschel ETH Zurich DOI
	11:40 20m Talk		Reducing Static Analysis Unsoundness with Approximate Interpretation PLDI Research Papers Mathias Rud Laursen Aarhus University, Wenyuan Xu Aarhus University, Anders Møller Aarhus University DOI
	12:00 20m Talk		Falcon: A Scalable Analytical Cache Model PLDI Research Papers Arjun Pitchanathan University of Edinburgh, Kunwar Grover AMD, Tobias Grosser University of Cambridge, UK DOI