Lauren Pick

Orcid: 0000-0003-1605-5383

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Synthesizing Quantum-Circuit Optimizers.
Proc. ACM Program. Lang., 2023

Psym: Efficient Symbolic Exploration of Distributed Systems.
Proc. ACM Program. Lang., 2023

2022
Scaling Automatic Modular Verification
PhD thesis, 2022

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

AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.
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.
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

2021
Unbounded Procedure Summaries from Bounded Environments.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020
Automating Modular Verification of Secure Information Flow.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2018
Exploiting Synchrony and Symmetry in Relational Verification.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018


  Loading...