Lauren Pick

According to our database, Lauren Pick authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Synthesizing Quantum-Circuit Optimizers.

Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi

Proc. ACM Program. Lang., 2023

Psym: Efficient Symbolic Exploration of Distributed Systems.

Lauren Pick, Ankush Desai, Aarti Gupta

Proc. ACM Program. Lang., 2023

2022

Scaling Automatic Modular Verification

Lauren Pick

PhD thesis, 2022

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

CoRR, 2022

AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.

Nicholas Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Qubit Mapping and Routing via MaxSAT.

Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

2021

Unbounded Procedure Summaries from Bounded Environments.

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Automating Modular Verification of Secure Information Flow.

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2018

Exploiting Synchrony and Symmetry in Relational Verification.

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Proceedings of the Computer Aided Verification - 30th International Conference, 2018