| 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 | 73 | 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 | 30 | 2022 |
| Cedar: A new language for expressive, fast, safe, and analyzable authorization JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 670-697, 2024 | 27 | 2024 |
| A DSL embedded in Rust K Headley Proceedings of the 30th Symposium on Implementation and Application of …, 2018 | 6 | 2018 |
| How we built Cedar: A verification-guided approach C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, J Kastner, ... Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 4 | 2024 |
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version) JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... arXiv preprint arXiv:2403.04651, 2024 | 3 | 2024 |
| The random access zipper: Simple, purely-functional sequences K Headley, MA Hammer arXiv preprint arXiv:1608.06009, 2016 | 2 | 2016 |
| 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 |
| Authorization policy evaluation E Torlak, D MCADAMS, N Rungta, MW Hicks, CR DISSELKOEN, AJ Eline, ... US Patent 12,483,595, 2025 | | 2025 |
| Authorization policy analysis E Torlak, K HEADLEY, MW Hicks, N Rungta, AM WELLS US Patent 12,425,455, 2025 | | 2025 |
| The Random Access Zipper: Simple, Persistent Sequences K Headley, MA Hammer International Symposium on Trends in Functional Programming, 155-171, 2016 | | 2016 |
| 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 | | |
