Software verification/program analysis (ECOOP 2022 - Expert Discussion) - ECOOP 2022

Mon 6 June - Thu 7 July 2022 Berlin, Germany

Who

Omer Tripp, Sebastian Erdweg

Track

ECOOP 2022 Expert Discussion

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Wed 8 Jun 2022 11:00 - 11:30 at Aurora Borealis 1 - Program Analysis 1 Chair(s): Karim Ali

Abstract

How can we make verification tools/technologies available to the masses, IE without a PhD in programming languages as a prerequisite?
ML-based methods are on a path to outperform semantic verification tools in bug finding. Why should we continue to work on such tools?
Developer adoption of verification tools is weak. Are we doing something wrong?

Omer TrippPanelist

Amazon

United States

Sebastian ErdwegPanelist

JGU Mainz

Germany

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Wed 8 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	11:00 - 12:30	Program Analysis 1Expert Discussion / Hub Talks / Research Papers at Aurora Borealis 1 Chair(s): Karim Ali University of Alberta

	11:00 30m Panel		Software verification/program analysisExpert Discussion Expert Discussion P: Omer Tripp Amazon, P: Sebastian Erdweg JGU Mainz
	11:30 20m Talk		Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program AnalysisHub Talk Hub Talks Marco Campion University of Verona, Mila Dalla Preda University of Verona, Roberto Giacobazzi University of Verona Link to publication DOI
	11:50 20m Talk		Concolic Execution for WebAssemblyECOOP 2022 Research Papers Filipe Marques INESC-ID / Instituto Superior Tecnico, University of Lisbon, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Nuno Santos INESC-ID / Instituto Superior Tecnico, University of Lisbon, Pedro Adão IST-ULisboa and Instituto de Telecomunicações
	12:10 20m Talk		Static Analysis for AWS Best Practices in Python CodeVCOOP 2022ECOOP 2022 Research Papers Rajdeep Mukherjee Amazon Web Services, Omer Tripp Amazon, Ben Liblit Amazon, Michael Wilson Amazon Web Services DOI