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
POPL 2025 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
2025
POPL
Author of Reachability Analysis of the Domain Name System within the POPL-track
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
Sat 21 Jun 19:35
