| Qubit mapping and routing via maxsat A Molavi, A Xu, M Diges, L Pick, S Tannu, A Albarghouthi 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO …, 2022 | 41 | 2022 |
| Exploiting synchrony and symmetry in relational verification L Pick, G Fedyukovich, A Gupta Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 30 | 2018 |
| Synthesizing Quantum-Circuit Optimizers A Xu, A Molavi, L Pick, S Tannu, A Albarghouthi Proceedings of the ACM on Programming Languages 7 (PLDI), 835-859, 2023 | 18 | 2023 |
| Automating modular verification of secure information flow L Pick, G Fedyukovich, A Gupta Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 2020 | 8 | 2020 |
| Autows-bench-101: Benchmarking automated weak supervision with 100 labels N Roberts, X Li, TH Huang, D Adila, S Schoenberg, CY Liu, L Pick, H Ma, ... Advances in Neural Information Processing Systems 35, 8912-8925, 2022 | 6 | 2022 |
| Unbounded procedure summaries from bounded environments L Pick, G Fedyukovich, A Gupta Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021 | 2 | 2021 |
| An Introduction to Copilot F Dedden, A Goodloe, I Perez, M Cruff, NN Wegmann, L Pike, C Hathhorn, ... Technical Report, 2019 | 1 | 2019 |
| Psym: Efficient Symbolic Exploration of Distributed Systems L Pick, A Desai, A Gupta Proceedings of the ACM on Programming Languages 7 (PLDI), 660-685, 2023 | | 2023 |
| Scaling Automatic Modular Verification L Pick Princeton University, 2022 | | 2022 |
