- 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?
Wed 8 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 8 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30
|Software verification/program analysisExpert Discussion|
|Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program AnalysisHub Talk|
Marco Campion University of Verona, Mila Dalla Preda University of Verona, Roberto Giacobazzi University of VeronaLink to publication DOI
|Concolic Execution for WebAssemblyECOOP 2022|
|Static Analysis for AWS Best Practices in Python CodeVCOOP 2022ECOOP 2022|
Rajdeep Mukherjee Amazon Web Services, Omer Tripp Amazon, Ben Liblit Amazon, Michael Wilson Amazon Web ServicesDOI