Si Liu -

Registered user since Sat 20 May 2023

Name:Si Liu

Country:Switzerland

Affiliation:ETH Zurich

Personal website: https://siliunobi.github.io/

Contributions

2024

SPLASH

Author of Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels within the OOPSLA 2024-track

VMCAI

Author of Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training within the VMCAI 2024-track

2023

ISSTA

Author of A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation within the Technical Papers-track

2022

SPLASH

Author of Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems within the OOPSLA-track

ASE