Si Liu
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- David Basin2×
- Adrian Perrigonce
- Dapeng Zhionce
all 14 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Reachability Analysis of the Domain Name System | POPL 2025 | 2025-01-19 |
Provides a decision procedure for DNS verification with worst-case complexity 2ExpTime decision procedure, using a concrete-to-abstract homomorphism that… | ||
| Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Tr... | VMCAI 2024 | 2024-01-15 |
Claims a simple engineering change: insert an abstraction layer maps reals to intervals so the network treats every interval as indistinguishable, train with… | ||
| Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction | OSDI 2023 | 2023-07-10 |
A tool called TxCheck builds statement-dependency graphs via SQL-level instrumentation and uses transactional oracle construction to generate semantically… | ||
| RHINE: Robust and High-performance Internet Naming with E2E Authenticity | NSDI 2023 | 2023-04-17 |
RHINE replaces DNSSEC’s fragile chain with an end-entity PKI plus a novel public logging service called Delegation Transparency, formally verified in Tamarin… | ||
| nothing matches | ||