Nathaniel Wesley Filardo

25 papers A* 5B 2C 3Misc 1Journal 9Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A CHERI C Memory Model for Verified Temporal Safety. CPP Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell
2025	A*	`conf`	CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices. SOSP Saar Amar, Tony Chen, David Chisnall, Nathaniel Wesley Filardo, Ben Laurie, Hugo Lefeuvre, Kunyan Liu, Simon W. Moore, Robert Norton-Wright, Margo I. Seltzer, Yucong Tao, Robert N. M. Watson, Hongyan Xia
2025	J	`jnl`	It Is Time to Standardize Principles and Practices for Software Memory Safety. Commun. ACM Robert N. M. Watson, John Baldwin, David Chisnall, Tony Chen, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Brett F. Gutstein, Graeme Jenkinson, Ben Laurie, Alfredo Mazzinghi, Simon W. Moore, Peter G. Neumann, Hamed Okhravi, Alex Richardson, Alex Rebert, Peter Sewell, Laurence Tratt, Murali Vijayaraghavan, Hugo Vincent, Konrad Witaszczyk
2024	C	`conf`	BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract. ISMM Nathaniel Wesley Filardo, Matthew J. Parkinson
2024	J	`jnl`	CHERI: Hardware-Enabled C/C++ Memory Protection at Scale. IEEE Secur. Priv. Robert N. M. Watson, David Chisnall, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Ben Laurie, Simon W. Moore, Peter G. Neumann, Alexander Richardson, Peter Sewell, Konrad Witaszczyk, Jonathan Woodruff
2024	—	`conf`	Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety. ASPLOS (2) Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert M. Norton, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson
2024	J	`jnl`	Intensional Functions. Proc. ACM Program. Lang. Zachary Palmer, Nathaniel Wesley Filardo, Ke Wu
2023	C	`conf`	Architectural Contracts for Safe Speculation. ICCD Franz A. Fuchs, Jonathan Woodruff, Peter Rugg, Marno van der Maas, Alexandre Joannou, Alexander Richardson, Jessica Clarke, Nathaniel Wesley Filardo, Brooks Davis, John Baldwin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson
2023	A*	`conf`	CHERIoT: Complete Memory Safety for Embedded Devices. MICRO Saar Amar, David Chisnall, Tony Chen, Nathaniel Wesley Filardo, Ben Laurie, Kunyan Liu, Robert M. Norton, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia
2020	A*	`conf`	Cornucopia: Temporal Safety for CHERI Heaps. SP Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Timothy M. Jones, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson
2019	J	`jnl`	CHERI Concentrate: Practical Compressed Capabilities. IEEE Trans. Computers Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony C. J. Fox, Robert M. Norton, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Wesley Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore
2019	A*	`conf`	CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety. MICRO Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel Wesley Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson, Timothy M. Jones
2019	A*	`conf`	CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. ASPLOS Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Jonathan Woodruff
2017	—	`conf`	Dyna: toward a self-optimizing declarative language for machine learning applications. MAPL@PLDI Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, Jason Eisner
2016	—	`conf`	Research Report: Mitigating LangSec Problems with Capabilities. IEEE Symposium on Security and Privacy Workshops Nathaniel Wesley Filardo
2015	J	`jnl`	Use of Modality and Negation in Semantically-Informed Syntactic MT. CoRR Kathryn Baker, Michael Bloodgood, Bonnie J. Dorr, Chris Callison-Burch, Nathaniel Wesley Filardo, Christine D. Piatko, Lori S. Levin, Scott Miller
2014	J	`jnl`	A Modality Lexicon and its use in Automatic Tagging. CoRR Kathrin Baker, Michael Bloodgood, Bonnie J. Dorr, Nathaniel Wesley Filardo, Lori S. Levin, Christine D. Piatko
2014	J	`jnl`	Semantically-Informed Syntactic Machine Translation: A Tree-Grafting Approach. CoRR Kathrin Baker, Michael Bloodgood, Chris Callison-Burch, Bonnie J. Dorr, Nathaniel Wesley Filardo, Lori S. Levin, Scott Miller, Christine D. Piatko
2012	—	`conf`	A Flexible Solver for Finite Arithmetic Circuits. ICLP (Technical Communications) Nathaniel Wesley Filardo, Jason Eisner
2012	C	`conf`	High-Entropy Visual Identification for Touch Screen Devices. ISPEC Nathaniel Wesley Filardo, Giuseppe Ateniese
2012	J	`jnl`	Modality and Negation in SIMT Use of Modality and Negation in Semantically-Informed Syntactic MT. Comput. Linguistics Kathrin Baker, Michael Bloodgood, Bonnie J. Dorr, Chris Callison-Burch, Nathaniel Wesley Filardo, Christine D. Piatko, Lori S. Levin, Scott Miller
2011	J	`jnl`	High-Entropy Visual Identification for Touch Screen Devices. IACR Cryptol. ePrint Arch. Nathaniel Wesley Filardo, Giuseppe Ateniese
2010	B	`conf`	A Modality Lexicon and its use in Automatic Tagging. LREC Kathrin Baker, Michael Bloodgood, Bonnie J. Dorr, Nathaniel Wesley Filardo, Lori S. Levin, Christine D. Piatko
2010	—	`conf`	Dyna: Extending Datalog for Modern AI. Datalog Jason Eisner, Nathaniel Wesley Filardo
2010	Misc	`conf`	Semantically-Informed Syntactic Machine Translation: A Tree-Grafting Approach. AMTA Kathryn Baker, Michael Bloodgood, Chris Callison-Burch, Bonnie J. Dorr, Nathaniel Wesley Filardo, Lori S. Levin, Scott Miller, Christine D. Piatko