News 2020
450 logic errors found in popular databases
Database systems are under pressure to become more and more powerful. But reliability seems to be suffering as a result. Now, ETH computer scientists have developed a tool to automatically detect logic errors in database systems using three different methods. They found and reported over 450 unique, previously unknown bugs.
🏆 Distinguished Artifact Award, November 2020
Congratulations to Manuel Rigger and Zhendong Su on their external page Distinguished Artifact Award at external page OOPSLA 2020 for Ternary Logic Partitioning (TLP)!
Finding Bugs in Database Systems via Query Partitioning
Manuel Rigger, Zhendong Su
Proc. ACM Program. Lang.
🏆 Distinguished Artifact Award, November 2020
Congratulations to Manuel Rigger and Zhendong Su on receiving the Distinguished Artifact Award for external page Testing Database Engines via Pivoted Query Synthesis.
Presented at the external page OSDI ’20.
New paper, November 2020
external page Testing Database Engines via Pivoted Query Synthesis.
Manuel Rigger and Zhendong Su.
In external page Proceedings of OSDI, November 2020.
[Web: external page DBMS Testing]
New paper, November 2020
external page Finding Bugs in Database Systems via Query Partitioning.
Manuel Rigger and Zhendong Su.
In external page Proceedings of SPLASH/OOPSLA, November 2020.
[Web: external page DBMS Testing]
New paper, November 2020
external page On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers.
Dominik Winterer, Chengyu Zhang, and Zhendong Su.
In external page Proceedings of SPLASH/OOPSLA, November 2020.
New paper, November 2020
Fast Linear Programming through Transprecision Computing on Small and Sparse Data.
Tobias Grosser, Theodoros Theodoridis, Maxmilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler.
In external page Proceedings of SPLASH/OOPSLA, November 2020.
