• Sign in
  • Sign up
conf.researchr.org / Cole Vick
  • PLDI 2025 profile
  • POPL 2023 profile
No Photo

Registered user since Mon 12 May 2025

Name:Cole Vick

Contributions

2025

EGRAPHS

  • Author of Hatching Theory Instantiations with Yardbird within the EGRAPHS 2025-track

2023

VMCAI

  • Author of Synthesizing History and Prophecy Variables for Symbolic Model Checking within the VMCAI 2023-track
Share
xSun 18 May 15:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up