Methods for Investigating Mental Models for Learners of APIs. - Amber Horvath; Mariann Nagy; Finn Voichick; Mary Beth Kery; Brad A. Myers (CHI Extended Abstracts, 2019)

The Long Tail: Understanding the Discoverability of API Functionality. - Amber Horvath; Sachin Grover; Sihan Dong; Emily Zhou; Finn Voichick; Mary Beth Kery; Shwetha Shinju; Daye Nam; Mariann Nagy; Brad A. Myers (VL/HCC, 2019)

Towards Validation of a Model of API Learning. - Finn Voichick; Gao Gao; Michelle Ichinco; Caitlin Kelleher (VL/HCC, 2019)

Exploring Programmers' API Learning Processes: Collecting Web Resources as External Memory. - Gao Gao; Finn Voichick; Michelle Ichinco; Caitlin Kelleher (VL/HCC, 2020)

Qunity: A Unified Language for Quantum and Classical Computing. - Finn Voichick; Robert Rand 001; Michael W. Hicks (CoRR, 2022)

Verified compilation of Quantum oracles. - Liyi Li 002; Finn Voichick; Kesha Hietala; Yuxiang Peng; Xiaodi Wu 001; Michael Hicks 001 (Proc. ACM Program. Lang., 2022)

Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized Pulses. - Finn Voichick; Leonidas Lampropoulos; Robert Rand 001 (CoRR, 2023)

Qunity: A Unified Language for Quantum and Classical Computing. - Finn Voichick; Liyi Li 002; Robert Rand 001; Michael Hicks 001 (Proc. ACM Program. Lang., 2023)