Lauren Pick

13 papers A* 2B 2Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Checking Observational Correctness of Database Systems.
Proc. ACM Program. Lang.
Lauren Pick, Amanda Xu, Ankush Desai, Sanjit A. Seshia, Aws Albarghouthi
2025 J jnl
PromptWise: Online Learning for Cost-Aware Prompt Assignment in Generative Models.
CoRR
Xiaoyan Hu, Lauren Pick, Ho-fung Leung, Farzan Farnia
2023 J jnl
Psym: Efficient Symbolic Exploration of Distributed Systems.
Proc. ACM Program. Lang.
Lauren Pick, Ankush Desai, Aarti Gupta
2023 J jnl
Synthesizing Quantum-Circuit Optimizers.
Proc. ACM Program. Lang.
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi
2022 A* conf
AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.
NeurIPS
Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala
2022 J jnl
AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.
CoRR
Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala
2022 A* conf
Qubit Mapping and Routing via MaxSAT.
MICRO
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022 J jnl
Qubit Mapping and Routing via MaxSAT.
CoRR
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022 — —
Scaling Automatic Modular Verification
Lauren Pick
2022 J jnl
Synthesizing Quantum-Circuit Optimizers.
CoRR
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2021 B conf
Unbounded Procedure Summaries from Bounded Environments.
VMCAI
Lauren Pick, Grigory Fedyukovich, Aarti Gupta
2020 B conf
Automating Modular Verification of Secure Information Flow.
FMCAD
Lauren Pick, Grigory Fedyukovich, Aarti Gupta
2018 — conf
Exploiting Synchrony and Symmetry in Relational Verification.
CAV (1)
Lauren Pick, Grigory Fedyukovich, Aarti Gupta