Peer Reviewed Papers¶
In reverse chronological order:
- Cornucopia: Temporal Safety for CHERI Heaps (2020)
- CHERIvoke: Characterising Pointer Revocation Using CHERI Capabilities for Temporal Memory Safety (2019)
- CHERI Concentrate: Practical Compressed Capabilities (2019)
- CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment (2019)
- Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications (2017)
- High-Entropy Visual Identification for Touch Screen Devices (2012)
- A Flexible Solver for Finite Arithmetic Circuits (2012)
- Use of Modality and Negation in Semantically-Informed Syntactic MT (2012)
- Dyna: Extending Datalog For Modern AI (2011)
- A Modality Lexicon and its use in Automatic Tagging (2010)
- Semantically-Informed Machine Translation: A Tree-Grafting Approach (2010)
- Styx Caching via Journal Callbacks (2009)
My Ph.D. thesis (“Dyna 2: Towards a General Weighted Logic Language”, JHU Computer Science, Fall 2017) is available here. Parts of the work leading up to the thesis were also written up as smaller documents and self-published: