Juniper: a functional reactive programming language for the Arduino. - Caleb Helbling; Samuel Z. Guyer (FARM@ICFP, 2016)

Directed Graph Hashing. - Caleb Helbling (CoRR, 2020)

Solving the Funarg Problem with Static Types. - Caleb Helbling; Firat Aksoy (CoRR, 2021)

cozy: Comparative Symbolic Execution for Binary Programs. - Caleb Helbling; Graham Leach-Krouse; Sam Lasser; Greg Sullivan (CoRR, 2025)