Exploiting Synchrony and Symmetry in Relational Verification. - Lauren Pick; Grigory Fedyukovich; Aarti Gupta (CAV (1), 2018)

Automating Modular Verification of Secure Information Flow. - Lauren Pick; Grigory Fedyukovich; Aarti Gupta (FMCAD, 2020)

Unbounded Procedure Summaries from Bounded Environments. - Lauren Pick; Grigory Fedyukovich; Aarti Gupta (VMCAI, 2021)

Qubit Mapping and Routing via MaxSAT. - Abtin Molavi; Amanda Xu; Martin Diges; Lauren Pick; Swamit S. Tannu; Aws Albarghouthi (MICRO, 2022)

AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels. - Nicholas Carl Roberts; Xintong Li 001; Tzu-Heng Huang; Dyah Adila; Spencer Schoenberg; Cheng-Yu Liu 002; Lauren Pick; Haotian Ma; Aws Albarghouthi; Frederic Sala (NeurIPS, 2022)

Scaling Automatic Modular Verification - Lauren Pick (2022)

Psym: Efficient Symbolic Exploration of Distributed Systems. - Lauren Pick; Ankush Desai; Aarti Gupta (Proc. ACM Program. Lang., 2023)

Synthesizing Quantum-Circuit Optimizers. - Amanda Xu; Abtin Molavi; Lauren Pick; Swamit Tannu; Aws Albarghouthi (Proc. ACM Program. Lang., 2023)

Checking Observational Correctness of Database Systems Artifact (Troubadour). - Lauren Pick; Amanda Xu; Ankush Desai; Sanjit Seshia; Aws Albarghouthi (Zenodo, 2024)

Checking Observational Correctness of Database Systems. - Lauren Pick; Amanda Xu; Ankush Desai; Sanjit A. Seshia; Aws Albarghouthi (Proc. ACM Program. Lang., 2025)

PromptWise: Online Learning for Cost-Aware Prompt Assignment in Generative Models. - Xiaoyan Hu; Lauren Pick; Ho-fung Leung; Farzan Farnia (CoRR, 2025)