Finn Voichick

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Quantum Computation

Learning Process

Top Venues

Proc. ACM Program. Lang.

CHI Extended Abstracts

Publications

Finn Voichick, Leonidas Lampropoulos, Robert Rand
Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized Pulses. CoRR (2023)
Finn Voichick, Liyi Li, Robert Rand, Michael Hicks
Qunity: A Unified Language for Quantum and Classical Computing. Proc. ACM Program. Lang. 7 (POPL) (2023)
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
Verified compilation of Quantum oracles. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Finn Voichick, Robert Rand, Michael W. Hicks
Qunity: A Unified Language for Quantum and Classical Computing. CoRR (2022)
Gao Gao, Finn Voichick, Michelle Ichinco, Caitlin Kelleher
Exploring Programmers' API Learning Processes: Collecting Web Resources as External Memory. VL/HCC (2020)
Amber Horvath, Sachin Grover, Sihan Dong, Emily Zhou, Finn Voichick, Mary Beth Kery, Shwetha Shinju, Daye Nam, Mariann Nagy, Brad A. Myers
The Long Tail: Understanding the Discoverability of API Functionality. VL/HCC (2019)
Finn Voichick, Gao Gao, Michelle Ichinco, Caitlin Kelleher
Towards Validation of a Model of API Learning. VL/HCC (2019)
Amber Horvath, Mariann Nagy, Finn Voichick, Mary Beth Kery, Brad A. Myers
Methods for Investigating Mental Models for Learners of APIs. CHI Extended Abstracts (2019)