Lauren Pick

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Information Flow

Quantum Computing

Distributed Systems

Top Venues

Proc. ACM Program. Lang.

Publications

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