17 citations · 17 across the 3 of their papers we have counts for
3 papers
cs.PL2022★ 17 cited
C to Checked C by 3C
Aravind Machiry, John Kastner, Matt McCutchen +3
Owing to the continued use of C (and C++), spatial safety violations (e.g., buffer overflows) still constitute one of today's most dangerous and prevalent security vulnerabilities.…
cs.PL2018
Fungi: Typed incremental computation with names
Matthew A. Hammer, Jana Dunfield, Kyle Headley +2
Incremental computations attempt to exploit input similarities over time, reusing work that is unaffected by input changes. To maximize this reuse in a general-purpose programming…
cs.DS2016
The Random Access Zipper: Simple, Purely-Functional Sequences
Kyle Headley, Matthew A. Hammer
We introduce the Random Access Zipper (RAZ), a simple, purely-functional data structure for editable sequences. A RAZ combines the structure of a zipper with that of a tree: like a…