• Sign in
  • Sign up
conf.researchr.org / Finn Voichick
  • PLDI 2021 profile
  • POPL 2023 profile
  • POPL 2025 profile
  • SPLASH 2022 profile

Registered user since Sun 23 May 2021

Name:Finn Voichick
Country:United States
Affiliation:University of Maryland

Contributions

2025

PLanQC

  • Author of Compiling Qunity: From High-Level Quantum Programs to Circuits within the PLanQC 2025-track

2023

POPL

  • Author of Qunity: A Unified Language for Quantum and Classical Computing within the POPL-track

2022

SPLASH

  • Author of Verified Compilation of Quantum Oracles within the OOPSLA-track

2021

PLanQC

  • Author of Toward A Quantum Programming Language for Higher-Level Formal Verification within the PLanQC 2021-track
Share
xFri 13 Jun 08:24
using conf.researchr.org (v1.69.0)
Support page
Sign Up