Lauren Pick

I am a fifth-year PhD student in Princeton University's Computer Science department working with Prof. Aarti Gupta. My CV can be found here.

Research Interests

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

Publications

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