Lauren Pick - RankMe

13 papers A* 2B 2Journal 7Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Checking Observational Correctness of Database Systems. Proc. ACM Program. Lang. Lauren Pick, Amanda Xu, Ankush Desai, Sanjit A. Seshia, Aws Albarghouthi
2025	J	`jnl`	PromptWise: Online Learning for Cost-Aware Prompt Assignment in Generative Models. CoRR Xiaoyan Hu, Lauren Pick, Ho-fung Leung, Farzan Farnia
2023	J	`jnl`	Psym: Efficient Symbolic Exploration of Distributed Systems. Proc. ACM Program. Lang. Lauren Pick, Ankush Desai, Aarti Gupta
2023	J	`jnl`	Synthesizing Quantum-Circuit Optimizers. Proc. ACM Program. Lang. Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi
2022	A*	`conf`	AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels. NeurIPS Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala
2022	J	`jnl`	AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels. CoRR Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala
2022	A*	`conf`	Qubit Mapping and Routing via MaxSAT. MICRO Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022	J	`jnl`	Qubit Mapping and Routing via MaxSAT. CoRR Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022	—	`—`	Scaling Automatic Modular Verification Lauren Pick
2022	J	`jnl`	Synthesizing Quantum-Circuit Optimizers. CoRR Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2021	B	`conf`	Unbounded Procedure Summaries from Bounded Environments. VMCAI Lauren Pick, Grigory Fedyukovich, Aarti Gupta
2020	B	`conf`	Automating Modular Verification of Secure Information Flow. FMCAD Lauren Pick, Grigory Fedyukovich, Aarti Gupta
2018	—	`conf`	Exploiting Synchrony and Symmetry in Relational Verification. CAV (1) Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski