Schedule
Day One: 15 September 2022
| 08:30 – 09:00 |
Registration and Breakfast |
|---|---|
| 09:00 – 09:25 |
Introduction Cristian Cadar Imperial College London Presentation: video slides |
| 09:25 – 10:15 |
Academic keynote: How to Win SV-COMP with Symbolic Execution Jan Strejček Masaryk University Presentation: video slides |
| 10:15 – 10:40 | Poster Introductions 1 chair: Frank Busse |
10:15 – 10:20
Enabling Continuous Large Scale Software Engineering Experimentation in the CloudJonathan Bell, Christopher Timperley, Michael Hilton and Lauren Herckis Northeastern University, Carnegie Mellon University Presentation: video slides | |
10:20 – 10:25
Detection of Undefined Behavior Using KLEEPavel Iatchenii Presentation: video slides poster | |
10:25 – 10:30
SIFT: A Multithreading Extension to KLEETuba Yavuz University of Florida Presentation: video slides poster | |
10:30 – 10:35
Extending KLEE’s Environment Model for Network ApplicationsJeroen Robben and Mathy Vanhoef KU Leuven Presentation: video slides | |
10:35 – 10:40
Symbolic Execution Projects from the Software Reliability GroupCristian Cadar, Frank Busse, Martin Nowack, Jordy Ruiz, Daniel Schemmel and Ahmed Zaki Imperial College London Presentation: video slides poster | |
| 10:40 – 11:15 | Coffee Break |
| 11:15 – 11:40 | Poster Introductions 2 chair: Daniel Schemmel |
11:15 – 11:20
Empirical Study on Applying Program Analysis and Testing Tools to Student CodeFrederico Ramos, Filipe Marques, Nuno Santos, Pedro Adão and José Fragoso Santos Instituto Superior Técnico, Universidade Lisboa Presentation: video slides poster | |
11:20 – 11:25
Combining Static Analysis Error Traces with Dynamic Symbolic ExecutionFrank Busse, Pritam Gharat, Cristian Cadar and Alastair F. Donaldson Imperial College London Presentation: video slides poster | |
11:25 – 11:30
Address-Aware Query Caching for Symbolic ExecutionDavid Trabish, Noam Rinetzky and Shachar Itzhaky Tel-Aviv University, Technion Presentation: video slides | |
11:30 – 11:35
UTBot Simplifies Auto Test GenerationVladislav Kalugin, Pavel Iatchenii, Samat Gaynutdinov, Saveliy Grigoryev, Svetlana Shmidt, Alexey Utkin, Dmitry Ivanov, Aleksei Pleshakov, Vadim Volodin, Elena Ilina, Pavel Ponomarev and Konstantin Rybkin Presentation: video slides poster | |
11:35 – 11:40
A Tight Integration of Symbolic Execution and FuzzingSebastien Bardin, Michaël Marcozzi and Yaelle Vincont CEA LIST, Université Paris-Saclay Presentation: video slides | |
| 11:40 – 12:20 | Session 1 - Memory Modelling chair: Peter O’Hearn |
11:40 – 12:00
A Bounded Symbolic-Size Model for Symbolic ExecutionDavid Trabish, Noam Rinetzky and Shachar Itzhaky Tel-Aviv University, Technion Presentation: video slides | |
12:00 – 12:20
A Deterministic Memory Allocator for Dynamic Symbolic ExecutionDaniel Schemmel, Julian Büning, Frank Busse, Martin Nowack and Cristian Cadar Imperial College London, RWTH Aaachen Presentation: video slides | |
| 12:20 – 13:40 | Lunch & Posters |
| 13:40 – 14:20 | Session 2 - Floating Point and Incorrectness Logic chair: Tomasz Kuchta |
13:40 – 14:00
Improving Floating Point Symbolic Execution Coverage with Fixed Point ApproximationsRichard Rutledge, Alessandro Orso and Keita Teranishi Georgia Tech Presentation: video slides | |
14:00 – 14:20
Finding Real Bugs in Big Programs with Incorrectness LogicQuang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer and Peter W. O’Hearn University College London, Imperial College London, Facebook, MPI-SWS Presentation: video slides | |
| 14:20 – 15:10 |
Industry keynote: Can Symbolic Execution Be a Productivity Multiplier for Human Bug-Finders? Peter Goodman Trail of Bits Presentation: video slides |
| 15:10 – 15:40 | Coffee Break |
| 15:40 – 17:00 | Session 3 - Debug Info, Reverse Engineering and Program Repair chair: Martin Nowack |
15:40 – 16:00
Testing Debug Info of Optimised ProgramsJ. Ryan Stinnett and Stephen Kell King’s College London Presentation: video slides | |
16:00 – 16:20
Symbolic Execution the Swiss-Knife of the Reverse Engineer ToolboxRobin David, Christian Heitman and Richard Abou Chaaya Quarkslab Presentation: video slides | |
16:20 – 16:40
Controlling Side Effects in Program Repair using Symbolic ExecutionNikhil Parasaram, Earl Barr and Sergey Mechtaev University College London Presentation: video slides | |
16:40 – 17:00
SymDefFix - Sound Automatic Repair Using Symbolic ExecutionTareq Mohammed Nazir and Martin Pinzger University of Klagenfurt Presentation: video slides | |
| 17:30 – 19:00 | Reception at the EastSide Bar |
Day Two: 16 September 2022
| 08:30 – 09:00 |
Breakfast |
|---|---|
| 09:00 – 09:50 |
Academic keynote: Five Shades of Symbolic Execution for Vulnerability Hunting Sébastien Bardin CEA LIST, Université Paris-Saclay Presentation: video slides |
| 09:50 – 10:30 | Session 4 - Symbolic Execution and Greybox Fuzzing chair: Frank Busse |
09:50 – 10:10
CONFETTI: Amplifying Concolic Guidance for FuzzersJames Kukucka, Luís Pina, Paul Ammann and Jonathan Bell George Mason University, University of Illinois Chicago, Northeastern University Presentation: video slides | |
10:10 – 10:30
Fuzzing Symbolic ExpressionsEmilio Coppa Sapienza University of Rome Presentation: video slides | |
| 10:30 – 11:00 | Coffee Break |
| 11:00 – 12:20 | Session 5 - Path Exploration chair: Alessandro Orso |
11:00 – 11:20
Learning to Explore Paths for Symbolic ExecutionJingxuan He, Gishor Sivanrupan, Petar Tsankov and Martin Vechev ETH Zurich Presentation: video slides | |
11:20 – 11:40
Pending Constraints in Symbolic Execution for Better Exploration and SeedingTimotej Kapus, Frank Busse and Cristian Cadar Imperial College London Presentation: video slides | |
11:40 – 12:00
Toward Optimal MC/DC Test Case GenerationSangharatna Godboley, Joxan Jaffar, Rasool Maghareh and Arpita Dutta National Institute National University of Singapore, Huawei Research Centre Canada, National Institute of Technology Warangal Presentation: video slides | |
12:00 – 12:20
(Auto)Chopper in the WildMartin Nowack, Jordy Ruiz, Ahmed Zaki and Cristian Cadar Imperial College London | |
| 12:20 – 13:40 | Lunch & Posters |
| 13:40 – 14:20 | Session 6 - Precondition Inference and Driver Generation chair: Jonathan Bell |
13:40 – 14:00
Automated Program Analysis: Revisiting Precondition Inference through Constraint AcquisitionGrégoire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb CEA LIST, LIRMM, Simula | |
14:00 – 14:20
CAS & AoT: Enabling Symbolic Execution on Complex System Code via Automatic Test Harness GenerationTomasz Kuchta and Bartosz Zator Samsung R&D Institute Poland Presentation: video slides | |
| 14:20 – 15:10 |
Industry keynote: The S2E Platform: A Journey from a Research Prototype to a Commercial Product Vitaly Chipounov Cyberhaven Presentation: video slides |
| 15:10 – 15:40 | Coffee Break |
| 15:40 – 17:00 | Session 7 - Models, Synthesis, Specifications and New Architectures chair: Daniel Schemmel |
15:40 – 16:00
Analyzing System Software Components Using API Model Guided Symbolic ExecutionTuba Yavuz and Ken Yihang Bai University of Florida Presentation: video slides | |
16:00 – 16:20
Toward Automatic Test Synthesis for Performance Portable ProgramsKeita Teranishi, Shyamali Mulkherjee, Richard Rutledge, Samuel Pollard, Nicolas Morales, Noah Evans, Alessandro Orso and Vivek Sarkar Sandia National Laboratories Presentation: video slides | |
16:20 – 16:40
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its SpecificationHooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson and Kostis Sagonas Uppsala University Presentation: video slides | |
16:40 – 17:00
Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral ModelsSören Tempel, Vladimir Herdt and Rolf Drechsler University of Bremen, DFKI GmbH Presentation: video slides | |
| 17:00 – 17:10 |
Closing Cristian Cadar Imperial College London Presentation: slides |