Computer scientist living in Cambridge, MA. I just graduated with my Master’s degree from Purdue University and have joined Draper Laboratory as a Senior Member of the Technical Staff in the formal methods group. I am currently working under the DARPA Assured Micropatching (AMP) Project.
From 2019-2022 I was a software engineer at Holos, a VR startup based in Madison, WI. I was brought on to take Holos’ single player VR experience and make it work across networked connections. Holos’ software is used for training purposes, and was developed under a contract from the US Air Force to train F-35 fighter jet mechanics.
In the past I was at MIT Lincoln Laboratory in the position of Assistant Staff. While there I primarily focused on embedded systems development, computer networking and graph theory research. I left this position in early 2019.
Areas of Expertise: Programming Languages, Computer Networking, Software Security, Computer Graphics, Embedded Systems Programming, Machine Learning, Concurrent Systems, Simulation and Game Development, and Mathematics
Publications
Helbling, Caleb, and Samuel Z. Guyer. “Juniper: a functional reactive programming language for the Arduino.” Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design. ACM, 2016. View pre-print on arXiv
Helbling, Caleb. “Directed Graph Hashing.” 51st Southeastern International Conference on Combinatorics, Graph Theory & Computing. 2020. View pre-print on arXiv
Helbling, Caleb, and Fırat Aksoy. “Solving the Funarg Problem with Static Types.” 33rd Symposium on Implementation and Application of Functional Languages. ACM, 2021. View pre-print on arXiv
Bug Bounties
CVE-2021-40464 - Windows Nearby Sharing Elevation of Privilege Vulnerability - reported to Microsoft and bug bounty received
Resume
Contact me
Current Projects
Juniper - Functional Reactive Programming for the Arduino
dihash - Python library for hashing directed graphs
cozy - Comparative Symbolic Evaluation (DARPA AMP)
Past Projects
Blockspell - a multiplayer magical combat game set in a voxel environment. Development has been more or less permanently suspended due to high development costs.
Ace of Spades, pyspades server developer. Game acquired by Jagex Game Studios and subsequently released on Steam. The original game can still be played for free at Build and Shoot, although player counts have dwindled in recent years.