Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Si Liu
conf.researchr.org general profile
ASE 2022 profile
ECOOP and ISSTA 2023 profile
POPL 2024 profile
SPLASH 2022 profile
SPLASH 2024 profile
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
Author of Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks within the Artifact Evaluation-track
Author of Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks within the Research Papers-track
Share
x
Wed 9 Oct 09:27