25 citations · 25 across the 5 of their papers we have counts for
5 papers
Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
Caleb Helbling, Graham Leach-Krouse, Michael Crystal
Modern high-assurance software systems development favors memory safe languages such as SPARK (ADA) or Rust. However, developers often encounter non-memory safe code (e.g., C) in l…
cozy: Comparative Symbolic Execution for Binary Programs
Caleb Helbling, Graham Leach-Krouse, Sam Lasser +1
This paper introduces cozy, a tool for analyzing and visualizing differences between two versions of a software binary. The primary use case for cozy is validating "micropatches":…
Solving the Funarg Problem with Static Types
Caleb Helbling, Fırat Aksoy
The difficulty associated with storing closures in a stack-based environment is known as the funarg problem. The funarg problem was first identified with the development of Lisp in…
Directed Graph Hashing
Caleb Helbling
This paper presents several algorithms for hashing directed graphs. The algorithms given are capable of hashing entire graphs as well as assigning hash values to specific nodes in…
Juniper: A Functional Reactive Programming Language for the Arduino
Caleb Helbling, Samuel Z Guyer
This paper presents the design and implementation of Juniper: a functional reactive programming language (FRP) targeting the Arduino and related microcontroller systems. Juniper pr…