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 pageDistinguished Artifact Awardcall_made at external pageOOPSLA 2020call_made 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 pageTesting Database Engines via Pivoted Query Synthesiscall_made.
Presented at the external pageOSDI ’20call_made.
New paper, November 2020
external pageTesting Database Engines via Pivoted Query Synthesis.call_made
Manuel Rigger and Zhendong Su.
In external pageProceedings of OSDIcall_made, November 2020.
New paper, November 2020
external pageFinding Bugs in Database Systems via Query Partitioning.call_made
Manuel Rigger and Zhendong Su.
In external pageProceedings of SPLASH/OOPSLAcall_made, November 2020.
New paper, November 2020
external pageOn the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers.call_made
Dominik Winterer, Chengyu Zhang, and Zhendong Su.
In external pageProceedings of SPLASH/OOPSLAcall_made, 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 pageProceedings of SPLASH/OOPSLAcall_made, November 2020.