activity
20192026
most citedJuniper: A Functional Reactive Programming Language for the Arduino

25 citations · 25 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.SE2026

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…