Incremental computation with names MA Hammer, J Dunfield, K Headley, N Labich, JS Foster, M Hicks, ... Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 63 | 2015 |
C to Checked C by 3C A Machiry, J Kastner, M McCutchen, A Eline, K Headley, M Hicks Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-29, 2022 | 16 | 2022 |
A DSL embedded in Rust K Headley Proceedings of the 30th Symposium on Implementation and Application of …, 2018 | 6 | 2018 |
The random access zipper: Simple, purely-functional sequences K Headley, MA Hammer arXiv preprint arXiv:1608.06009, 2016 | 2 | 2016 |
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version) J Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... arXiv preprint arXiv:2403.04651, 2024 | 1 | 2024 |
Cedar: A new language for expressive, fast, safe, and analyzable authorization J Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... | 1 | 2024 |
Fungi: Typed incremental computation with names MA Hammer, J Dunfield, K Headley, M Narasimhamurthy, DJ Economou arXiv preprint arXiv:1808.07826, 2018 | 1 | 2018 |
Visualizing Abstract Abstract Machines K HEADLEY, C REN, K MICINSKI, T GILRAY | 1 | 2018 |
The Random Access Zipper: Simple, Persistent Sequences K Headley, MA Hammer Trends in Functional Programming: 17th International Conference, TFP 2016 …, 2019 | | 2019 |
Random Access Zipper K Headley | | |
Extracting single-function CFGs from an AAM analysis K HEADLEY | | |
Simplifying incremental code with IODyn K HEADLEY | | |
Tuning Data and Control Structures for Incremental Computation K Headley | | |
Space and Time Optimizations In Adapton K Headley | | |
Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations K Headley, MA Hammer | | |
Nominal Adapton: Incremental Computation with First-Class Names MA Hammer, J Dunfield, K Headley, JS Foster, M Hicks | | |