Colin McDonald

According to our database, Colin McDonald authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits.

Sam Westrick, Pengyu Liu, Byeongjee Kang, Colin McDonald, Mike Rainey, Mingkuan Xu, Jatin Arora, Yongshan Ding, Umut A. Acar

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

2023

Exact Recursive Probabilistic Programming.

David Chiang, Colin McDonald, Chung-chieh Shan

Proc. ACM Program. Lang., April, 2023

2021

Syntax-Based Attention Masking for Neural Machine Translation.

Colin McDonald, David Chiang

Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Student Research Workshop, 2021

2020

Strong functional pearl: Harper's regular-expression matcher in Cedille.

Aaron Stump, Christopher Jenkins, Stephan Spahn, Colin McDonald

Proc. ACM Program. Lang., 2020

2019

Elaborating Inductive Datatypes and Course-of-Values Pattern Matching to Cedille.

Christopher Jenkins, Colin McDonald, Aaron Stump

CoRR, 2019