Zhendong Su - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

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