POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / VMCAI 2018 (series) / 19th International Conference on Verification, Model Checking, and Abstract Interpretation /

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

Laura Titolo, Marco A. Feliu, Mariano Moscato, Cesar Munoz
VMCAI 2018
Mon 8 Jan 2018 11:00 - 11:30 at Watercourt - Abstract Interpretation Chair(s): Patrick Cousot
Laura Titolo
Laura Titolo
National Institute of Aerospace, USA
Italy
small-avatar
Marco A. Feliu
National Institute of Aerospace
small-avatar
Mariano Moscato
National Institute of Aerospace
Cesar Munoz
Cesar Munoz
NASA

Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Abstract InterpretationVMCAI at Watercourt
Chair(s): Patrick Cousot
10:30
30m
Talk
On Constructivity of Galois Connections
VMCAI
Francesco Ranzato University of Padova
11:00
30m
Talk
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
VMCAI
Laura Titolo National Institute of Aerospace, USA, Marco A. Feliu National Institute of Aerospace, Mariano Moscato National Institute of Aerospace, Cesar Munoz NASA
11:30
30m
Talk
Modular Analysis of Executables using On-Demand Heyting Completion
VMCAI
Julian Kranz Technical University of Munich, Axel Simon Google