Dagstuhl Seminar 23441
Ensuring the Reliability and Robustness of Database Management Systems
( Oct 29 – Nov 03, 2023 )
(Click in the middle of the image to enlarge)
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/23441
Organizers
- Alexander Böhm (Google Germany - Schwetzingen, DE)
- Hannes Mühleisen (CWI - Amsterdam, NL)
- Danica Porobic (Oracle Switzerland - Zürich, CH)
- Manuel Rigger (National University of Singapore, SG)
Contact
- Andreas Dolzmann (for scientific matters)
- Jutka Gasiorowski (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)
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)
Database systems are an essential component of most software systems. It is crucial that they function correctly and operate efficiently. Achieving this is difficult, given that growing demands require increasingly sophisticated systems and adapting them to new hardware platforms.
Building on the success of the last seminar in this series, Dagstuhl Seminar 21442, the goal of this Dagstuhl Seminar is to advance the reliability of database systems by bringing together both practitioners as well as researchers working in this domain. We expect to discuss practices, approaches, and open challenges in making database systems and other data-centric systems more reliable (e.g., in terms of correctness, performance, or fault tolerance).
We plan to focus on the following sub-topics:
- Manual testing and test suites
- Automated testing for correctness and performance
- Isolation-level testing
- Benchmarking
- Database and query generation
- Debugging
- Query languages
- Formal methods and verification
While the first seminar in the series, Dagstuhl Seminar 21442, was open-ended, we plan for a more focused follow-up seminar with Dagstuhl Seminar 23441. Specifically, as a concrete tangible outcome of the seminar, we aim to brainstorm, write, and publish a manuscript on (1) best practices in ensuring database systems' reliability, (2) the state of the art on this topic in research, as well as (3) open challenges, which might also serve as the cornerstone of writing a book on this topic.
Creative Commons BY 4.0
Alexander Böhm, Hannes Mühleisen, Danica Porobic, and Manuel Rigger
- Jinsheng Ba (National University of Singapore, SG) [dblp]
- Lawrence Benson (Hasso-Plattner-Institut, Universität Potsdam, DE) [dblp]
- Carsten Binnig (TU Darmstadt, DE) [dblp]
- Ankush Desai (Amazon - Cupertino, US) [dblp]
- Adam Dickinson (Snowflake Computing Inc. - Seattle, US) [dblp]
- Wensheng Dou (Chinese Academy of Sciences - Beijing, CN) [dblp]
- Stefania Dumbrava (ENSIIE - Paris, FR) [dblp]
- Moritz Eyssen (Snowflake - Berlin, DE)
- Tim Fischer (Universität Tübingen, DE) [dblp]
- Florian Gerlinghoff (MotherDuck - Amsterdam, NL)
- Torsten Grust (Universität Tübingen, DE) [dblp]
- Muhammad Ali Gulzar (Virginia Polytechnic Institute - Blacksburg, US) [dblp]
- Denis Hirn (Universität Tübingen, DE) [dblp]
- Hong Hu (Pennsylvania State University - University Park, US) [dblp]
- Zu-Ming Jiang (ETH Zürich, CH) [dblp]
- Marcel Kost (Salesforce - München, DE) [dblp]
- Burcu Kulahcioglu Ozkan (TU Delft, NL) [dblp]
- Federico Lorenzi (TigerBeetle - Cape Town, ZA)
- Umang Mathur (National University of Singapore, SG) [dblp]
- Everett Maus (Google - Seattle, US)
- Hannes Mühleisen (CWI - Amsterdam, NL) [dblp]
- Thomas Neumann (TU München - Garching, DE) [dblp]
- Danica Porobic (Oracle Switzerland - Zürich, CH) [dblp]
- Mark Raasveldt (DuckDB Labs - Amsterdam, NL) [dblp]
- Tilmann Rabl (Hasso-Plattner-Institut, Universität Potsdam, DE) [dblp]
- Manuel Rigger (National University of Singapore, SG) [dblp]
- Stan Rosenberg (Cockroach Labs - New York, US) [dblp]
- Anupam Sanghi (IBM India - Bangalore, IN) [dblp]
- Gambhir Sankalp (EPFL - Lausanne, CH) [dblp]
- Andrei Satarin (Google - Mountain View, US)
- Russell Sears (Crystal DB - San Francisco, US)
- Thodoris Sotiropoulos (ETH Zürich, CH) [dblp]
- Caleb Stanford (University of California - Davis, US) [dblp]
- Cheng Tan (Northeastern University - Boston, US) [dblp]
- Pinar Tözün (IT University of Copenhagen, DK) [dblp]
- Chengyu Zhang (ETH Zürich, CH) [dblp]
Related Seminars
- Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems (2021-11-01 - 2021-11-04) (Details)
Classification
- Databases
- Performance
- Software Engineering
Keywords
- database testing
- database reliability
- database benchmarking
