Dagstuhl Seminar 23131
Software Bug Detection: Challenges and Synergies
( Mar 26 – Mar 31, 2023 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/23131
Organizers
- Marcel Böhme (MPI-SP - Bochum, DE & Monash University - Melbourne, AU)
- Maria Christakis (TU Wien, AT)
- Rohan Padhye (Carnegie Mellon University - Pittsburgh, US & Amazon Web Services, US)
- Kostya Serebryany (Google - Mountain View, US)
- Andreas Zeller (CISPA - Saarbrücken, DE)
Contact
- Andreas Dolzmann (for scientific matters)
- Simone Schilke (for administrative matters)
Dagstuhl Reports
As part of the mandatory documentation, participants are asked to submit their talk abstracts, working group results, etc. for publication in our series Dagstuhl Reports via the Dagstuhl Reports Submission System.
- Upload (Use personal credentials as created in DOOR to log in)
Questionnaire
How do you like this seminar? Please take a survey and receive results by email.
- Questionnaire (Use personal credentials as created in DOOR to log in)
Dagstuhl Seminar Wiki
- Dagstuhl Seminar Wiki (Use personal credentials as created in DOOR to log in)
Shared Documents
- Dagstuhl Materials Page (Use personal credentials as created in DOOR to log in)
Overview. Software controls everything in our lives. Today more than ever. Hence, it is important to develop tools and techniques that can automatically test or verify the correctness, reliability, and security of our software systems. Researchers from different communities, both in research and industry, are working on different aspects of the automated discovery of such software bugs: What are effective approaches to discover software bugs as fast as possible? How can we formally verify the absence of bugs? Which guarantees do our approaches provide about the correctness, reliability, and security of the software when no bugs are discovered? Which concerns do practitioners have when bug finding tools are integrated into their development process? What are effective approaches to automatically mitigate, diagnose, or repair certain kinds of bugs?
Timeliness & Relevance to Industry. While these questions all revolve around the same problem, they are investigated in different research communities and often in isolation. It is time to bring together researchers from the different communities to identify synergies, to share our approaches, to discuss pitfalls, and to recognize the joint open challenges. We are hoping to maximize participation from industry to learn about key concerns in practice and effective recipes for the successful adoption and deployment of our bug finding tools. This Dagstuhl Seminar will lay the foundations for a cross-disciplinary research agenda in software bug detection that is grounded in practice.
Creative Commons BY 4.0
Marcel Böhme, Maria Christakis, Rohan Padhye, and Andreas Zeller
- Cornelius Aschermann (Meta - Seattle, US) [dblp]
- Sébastien Bardin (CEA LIST, FR) [dblp]
- Lukas Bernhard (CISPA - Saarbrücken, DE)
- Dirk Beyer (LMU München, DE) [dblp]
- Eric Bodden (Universität Paderborn, DE) [dblp]
- Marcel Böhme (MPI-SP - Bochum, DE & Monash University - Melbourne, AU) [dblp]
- Herbert Bos (VU University Amsterdam, NL) [dblp]
- Cristian Cadar (Imperial College London, GB) [dblp]
- Sang Kil Cha (KAIST - Daejeon, KR) [dblp]
- Maria Christakis (TU Wien, AT) [dblp]
- Jürgen Cito (TU Wien, AT) [dblp]
- Alastair F. Donaldson (Imperial College London, GB) [dblp]
- Hasan Ferit Eniser (MPI-SWS - Kaiserslautern, DE) [dblp]
- Rahul Gopinath (The University of Sydney, AU) [dblp]
- Alessandra Gorla (IMDEA Software Institute - Madrid, ES) [dblp]
- Reiner Hähnle (TU Darmstadt, DE) [dblp]
- Marc Heuse (marc heuse it security - Berlin, DE)
- Christian Holler (Mozilla - Berlin, DE) [dblp]
- Miryung Kim (UCLA, US) [dblp]
- Caroline Lemieux (University of British Columbia - Vancouver, CA) [dblp]
- Jonathan Metzman (Google - New York, US) [dblp]
- Anders Møller (Aarhus University, DK) [dblp]
- Peter Müller (ETH Zürich, CH) [dblp]
- Yannic Noller (National University of Singapore, SG) [dblp]
- Peter O'Hearn (University College London, GB) [dblp]
- Hakjoo Oh (Korea University - Seoul, KR) [dblp]
- Alessandro Orso (Georgia Institute of Technology - Atlanta, US) [dblp]
- Rohan Padhye (Carnegie Mellon University - Pittsburgh, US & Amazon Web Services, US) [dblp]
- Mathias Payer (EPFL - Lausanne, CH) [dblp]
- Van-Thuan Pham (The University of Melbourne, AU) [dblp]
- Michael Pradel (Universität Stuttgart, DE) [dblp]
- Manuel Rigger (National University of Singapore, SG) [dblp]
- Kostya Serebryany (Google - Mountain View, US) [dblp]
- Dominic Steinhöfel (CISPA - Saarbrücken, DE) [dblp]
- Dmitrii Viukov (Google - München, DE)
- Valentin Wüstholz (ConsenSys - Wien, AT) [dblp]
- Anna Zaks (Apple Computer Inc. - Sunnyvale, US) [dblp]
- Andreas Zeller (CISPA - Saarbrücken, DE) [dblp]
- Lingming Zhang (University of Illinois - Urbana-Champaign, US) [dblp]
Classification
- Cryptography and Security
- Programming Languages
- Software Engineering
Keywords
- bug finding
- testing
- verification
- static analysis
- human aspects
