Abstract is missing.
- Formal reasoning and the hacker way (keynote)Peter W. O'Hearn. 1 [doi]
- TACAI: an intermediate representation based on abstract interpretationMichael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini. 2-7 [doi]
- Value and allocation sensitivity in static Python analysesRaphaël Monat, Abdelraouf Ouadjaout, Antoine Miné. 8-13 [doi]
- Explaining bug provenance with trace witnessesJixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis. 14-19 [doi]