Finn Voichick

11 papers B 3Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Compositional Quantum Control Flow with Efficient Compilation in Qunity.
CoRR
Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand
2025 J jnl
Compositional Quantum Control Flow with Efficient Compilation in Qunity.
Proc. ACM Program. Lang.
Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand
2023 J jnl
Qunity: A Unified Language for Quantum and Classical Computing.
Proc. ACM Program. Lang.
Finn Voichick, Liyi Li, Robert Rand, Michael Hicks
2023 J jnl
Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized Pulses.
CoRR
Finn Voichick, Leonidas Lampropoulos, Robert Rand
2022 J jnl
Qunity: A Unified Language for Quantum and Classical Computing.
CoRR
Finn Voichick, Robert Rand, Michael W. Hicks
2022 J jnl
Verified compilation of Quantum oracles.
Proc. ACM Program. Lang.
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
2021 J jnl
Verified Compilation of Quantum Oracles.
CoRR
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
2020 B conf
Exploring Programmers' API Learning Processes: Collecting Web Resources as External Memory.
VL/HCC
Gao Gao, Finn Voichick, Michelle Ichinco, Caitlin Kelleher
2019 — conf
Methods for Investigating Mental Models for Learners of APIs.
CHI Extended Abstracts
Amber Horvath, Mariann Nagy, Finn Voichick, Mary Beth Kery, Brad A. Myers
2019 B conf
The Long Tail: Understanding the Discoverability of API Functionality.
VL/HCC
Amber Horvath, Sachin Grover, Sihan Dong, Emily Zhou, Finn Voichick, Mary Beth Kery, Shwetha Shinju, Daye Nam, Mariann Nagy, Brad A. Myers
2019 B conf
Towards Validation of a Model of API Learning.
VL/HCC
Finn Voichick, Gao Gao, Michelle Ichinco, Caitlin Kelleher