SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Zhendong Su
Zhendong Su

Registered user since Sun 26 Aug 2018

Name: Zhendong Su

Affiliation: ETH Zurich

Personal website: https://people.inf.ethz.ch/suz/

Contributions

SPLASH 2020 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
Show activities from other conferences

SPLASH 2020-profile
View general profile