Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Tue 22 Jun 2021 15:15 - 16:15 at SOAP - Session 2 Chair(s): Lisa Nguyen Quang Do, Caterina Urban

Dynamic abstract interpretation Patrick Cousot

Abstract interpretation has been used for the design of program semantics, verification and static analysis methods, including typing. We show that abstract interpretation can also be used for dynamic static analysis, at run-time, during program execution, by formalizing all possible instrumented executions and proving their sound relationship with the program semantics.

We take the example of Ramon E. Moore’s interval arithmetics used to put bounds on rounding errors and measurement errors in mathematical computation. Reals are represented by an interval of two floats guaranteed to contain this real. For tests and loops both true and false alternatives may be taken while only one would be taken with reals so that the instrumented semantics must be nondeterministic to be sound and is in general incomplete.

Tue 22 Jun

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

13:30 - 16:15
Session 2SOAP at SOAP
Chair(s): Lisa Nguyen Quang Do Google, Caterina Urban Inria & École Normale Supérieure | Université PSL
13:30
25m
Talk
Program analysis for reversible languages
SOAP
Uwe Meyer University of Applied Sciences Giessen, Niklas Deworetzki Technische Hochschule Mittelhessen
13:55
25m
Talk
PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
SOAP
Spandan Garg , Roshanak Zilouchian Moghaddam Microsoft, Neel Sundaresan Microsoft Corporation, Chen Wu Microsoft, China
14:20
25m
Talk
Weldr: Fusing Binaries for Simplified Analysis
SOAP
Alexander Heinricher Raytheon BBN Technologies, Ryan Williams Northeastern University, Ava Klingbeil , Alex Jordan Raytheon BBN Technologies
14:45
30m
Break
Break
SOAP

15:15
60m
Live Q&A
[Invited talk] Dynamic abstract interpretation
SOAP