We stand with Ukraine  

Caleb Helbling

Orcid: 0000-0002-6118-3061

According to our database1, Caleb Helbling authored at least 5 papers between 2016 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution.
[BibTeX]
[DOI]
Caleb Helbling
,
Graham Leach-Krouse
,
Michael Crystal
CoRR, May, 2026

2025
cozy: Comparative Symbolic Execution for Binary Programs.
[BibTeX]
[DOI]
Caleb Helbling
,
Graham Leach-Krouse
,
Sam Lasser
,
Greg Sullivan
CoRR, April, 2025

2021
Solving the Funarg Problem with Static Types.
[BibTeX]
[DOI]
Caleb Helbling
,
Firat Aksoy
CoRR, 2021

2020
Directed Graph Hashing.
[BibTeX]
[DOI]
Caleb Helbling
CoRR, 2020

2016
Juniper: a functional reactive programming language for the Arduino.
[BibTeX]
[DOI]
Caleb Helbling
,
Samuel Z. Guyer
Proceedings of the 4th International Workshop on Functional Art, 2016


  Loading...