Lauren Pick

I am a postdoctoral researcher co-mentored by Prof. Sanjit Seshia and Prof. Aws Albarghouthi. Previously, I was a PhD student in Princeton University's Computer Science department advised by Prof. Aarti Gupta.
My CV can be found here.

News

Research Interests

I am broadly interested in topics related to automated software verification and synthesis, with specific interests in the following:

Publications

Scaling Automatic Modular Verification. Lauren Pick. 2021. thesis

Unbounded Procedure Summaries from Bounded Environments. Lauren Pick, Grigory Fedyukovich, Aarti Gupta. VMCAI'21. paper

Automating Modular Verification of Secure Information Flow. Lauren Pick, Grigory Fedyukovich, Aarti Gupta. FMCAD'20. paper talk

Exploiting Synchrony and Symmetry in Relational Verification. Lauren Pick, Grigory Fedyukovich, Aarti Gupta. CAV'18. paper extended version slides code