Sotabase

Career

· Asst. Professor, City Univ. of Hong Kong

Publications (10)

Qubit Mapping and Routing via MaxSAT
Micro · 2022
74
cited
Synthesizing Quantum-Circuit Optimizers
Proc. ACM Program. Lang. · 2022
41
cited
Exploiting Synchrony and Symmetry in Relational Verification
International Conference on Computer Aided Verification · 2018
24
cited
AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels
Neural Information Processing Systems · 2022
9
cited
Automating Modular Verification of Secure Information Flow
Formal Methods in Computer-Aided Design · 2020
7
cited
Psym: Efficient Symbolic Exploration of Distributed Systems
Proc. ACM Program. Lang. · 2023
3
cited
Checking Observational Correctness of Database Systems
Proc. ACM Program. Lang. · 2025
1
cited
Unbounded Procedure Summaries from Bounded Environments
International Conference on Verification, Model Checking and Abstract Interpretation · 2021
Sotabase
Lauren Pick | Researcher Profile | Sotabase | Sotabase