Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs (PLDI 2024 - PLDI Research Papers)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos

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

Save

When

Fri 28 Jun 2024 11:00 - 11:20 at Sweden - Program Analysis 1 Chair(s): Jens Palsberg

Link to Preprint

https://www.dpss.inesc-id.pt/~mferreira/assets/pdf/graphjs_pldi24.pdf

DOI

https://doi.org/10.1145/3656394

Mafalda Ferreira

INESC-ID / Instituto Superior Técnico, Universidade de Lisboa

Portugal

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

Portugal

Limin Jia

José Fragoso Santos

INESC-ID/Instituto Superior Técnico, Portugal

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

Display full programSpecify a time band

Save

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