Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
Fri 16 Jul 2021 20:00 - 20:55 at Keynote - Keynote - Dahl-Nygaard Junior Prize (time band 1) Chair(s): Davide Ancona
Sat 17 Jul 2021 11:10 - 12:05 at Keynote - Keynote - Dahl-Nygaard Junior Prize (time band 3) Chair(s): Tobias Wrigstad

Software bugs are ubiquitous and costly. An essential technique to reduce the cost of these bugs is static analysis, which allows software developers to reason about the run-time behaviour of their code without necessarily executing it. Unfortunately, in practice, software developers avoid using most static analysis tools, because they do not scale to modern software systems, report many false positives, and disrupt their workflow. In this talk, I will describe my journey for the past few years to address these limitations by improving three key aspects of static analysis tools: scalability, precision, and usability.

Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

20:00 - 20:55
Keynote - Dahl-Nygaard Junior Prize (time band 1)ECOOP Keynotes at Keynote
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

See AITO’s Dahl-Nygaard Prize Winners webpage.

20:00
55m
Keynote
Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!Keynote
ECOOP Keynotes
K: Karim Ali University of Alberta
Media Attached

Sat 17 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:10 - 12:05
Keynote - Dahl-Nygaard Junior Prize (time band 3)ECOOP Keynotes at Keynote
Chair(s): Tobias Wrigstad Uppsala University, Sweden

See AITO’s Dahl-Nygaard Prize Winners webpage.

11:10
55m
Keynote
Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!Keynote
ECOOP Keynotes
K: Karim Ali University of Alberta
Media Attached