article Publications
- Psym: Efficient Symbolic Exploration of Distributed Systems.
Lauren Pick, Ankush Desai, Aarti Gupta.
PLDI 2023.
- Synthesizing Quantum-Circuit Optimizers.
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi.
PLDI 2023.
- AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.
Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala.
NeurIPS 2022.
- Qubit Mapping and Routing via MaxSAT.
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi.
MICRO 2022.
- Scaling Automatic Modular Verification.
Lauren Pick.
2021.
- Unbounded Procedure Summaries from Bounded Environments.
Lauren Pick, Grigory Fedyukovich, Aarti Gupta.
VMCAI 2021.
- Automating Modular Verification of Secure Information Flow.
Lauren Pick, Grigory Fedyukovich, Aarti Gupta.
FMCAD 2020.
- Exploiting Synchrony and Symmetry in Relational Verification.
Lauren Pick, Grigory Fedyukovich, Aarti Gupta.
CAV 2018.