Sotabase

Career

· PhD candidate in computer science, University of Maryland, College Park2020–

Publications (12)

Qunity: A Unified Language for Quantum and Classical Computing
Proc. ACM Program. Lang. · 2022
35
cited
Exploring Programmers' API Learning Processes: Collecting Web Resources as External Memory
IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments · 2020
18
cited
Verified compilation of Quantum oracles
Proc. ACM Program. Lang. · 2021
17
cited
The Long Tail: Understanding the Discoverability of API Functionality
IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments · 2019
11
cited
Methods for Investigating Mental Models for Learners of APIs
CHI Extended Abstracts · 2019
10
cited
Towards Validation of a Model of API Learning
IEEE Symposium on Visual Languages / Human-Centric Computing Languages and Environments · 2019
3
cited
Toward A Quantum Programming Language for Higher-Level Formal Verification
2021
1
cited
COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
2023
Compositional Quantum Control Flow with Efficient Compilation in Qunity
Proceedings of the ACM on Programming Languages · 2025
Exploring Usage of Web Resources Through a Model of API Learning
2020
Washington University Open Scholarship Washington University Open Scholarship
Sotabase
Finn Voichick | Researcher Profile | Sotabase | Sotabase