• Sign in
  • Sign up
conf.researchr.org / Lauren Pick
  • PLDI 2023 profile
  • POPL 2021 profile
  • SPLASH 2022 profile

Registered user since Tue 4 Oct 2022

Name:Lauren Pick
Country:United States
Affiliation:University of Wisconsin-Madison and University of California, Berkeley
Personal website: https://lmpick.github.io/

Contributions

2023

PLDI

  • Author of Psym: Efficient Symbolic Exploration of Distributed Systems within the PLDI Research Papers-track
  • Author of Synthesizing Quantum-Circuit Optimizers within the PLDI Research Papers-track
  • Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2022

SPLASH

  • Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2021

VMCAI

  • Author of Unbounded Procedure Summaries from Bounded Environments within the VMCAI-track
Share
xMon 15 Dec 00:45
using conf.researchr.org (v1.72.1)
Support page
Sign Up