Lauren Pick
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | MICRO | Qubit Mapping and Routing via MaxSAT. | Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi |
| 2021 | VMCAI | Unbounded Procedure Summaries from Bounded Environments. | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |
| 2020 | FMCAD | Automating Modular Verification of Secure Information Flow. | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |
| 2018 | CAV | Exploiting Synchrony and Symmetry in Relational Verification. | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |