Registered user since Sun 26 Aug 2018
Contributions
2020
SPLASH
- On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers
- Finding Bugs in Database Systems via Query Partitioning
- Finding Bugs in Database Systems via Query Partitioning
- Fast Linear Programming through Transprecision Computing on Small and Sparse Data
- On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers
SPLASH 2020-profile
View general profile
View general profile