Research

Choi, Wonhyuk, Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito.
In Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2022.

Choi, Wonhyuk, Michel Vazirani, and Mark Santolucito.
Asian Symposium on Programming Languages and Systems (APLAS). Springer, Cham, 2021.

Vazirani, Michel, Wonhyuk Choi, and Mark Santolucito.
International Conference on New Interfaces for Musical Expression (NIME). PubPub. 2021.

Choi, Wonhyuk., Deanna Needell, and Sam Nelson.
Journal of Knot Theory and its Ramifications (JKTR). ,27, 1850068. 2018.

Khokdar, Abdollah, Oliver Sawin, Lisa Mueller, and Wonhyuk Choi.
Journal of Combinatorial Mathematics and Combinatorial Computing (JCMCC). , 102, 267–275. 2017.