Nathaniel Wesley Filardo

According to our database, Nathaniel Wesley Filardo authored at least 19 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Intensional Functions.

Zachary Palmer, Nathaniel Wesley Filardo, Ke Wu

Proc. ACM Program. Lang., 2024

CHERI: Hardware-Enabled C/C++ Memory Protection at Scale.

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

IEEE Secur. Priv., 2024

BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract.

Nathaniel Wesley Filardo, Matthew J. Parkinson

Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management, 2024

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety.

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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

CHERIoT: Complete Memory Safety for Embedded Devices.

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

Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

Architectural Contracts for Safe Speculation.

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

Proceedings of the 41st IEEE International Conference on Computer Design, 2023

2020

Cornucopia: Temporal Safety for CHERI Heaps.

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

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

CHERI Concentrate: Practical Compressed Capabilities.

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

IEEE Trans. Computers, 2019

CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety.

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

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment.

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

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2017

Dyna: toward a self-optimizing declarative language for machine learning applications.

Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, Jason Eisner

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

2016

Research Report: Mitigating LangSec Problems with Capabilities.

Nathaniel Wesley Filardo

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

2015

Use of Modality and Negation in Semantically-Informed Syntactic MT.

Kathryn Baker, Michael Bloodgood, Bonnie J. Dorr, Chris Callison-Burch, Nathaniel Wesley Filardo, Christine D. Piatko, Lori S. Levin, Scott Miller

CoRR, 2015

2012

Modality and Negation in SIMT Use of Modality and Negation in Semantically-Informed Syntactic MT.

Kathrin Baker, Michael Bloodgood, Bonnie J. Dorr, Chris Callison-Burch, Nathaniel Wesley Filardo, Christine D. Piatko, Lori S. Levin, Scott Miller

Comput. Linguistics, 2012

A Flexible Solver for Finite Arithmetic Circuits.

Nathaniel Wesley Filardo, Jason Eisner

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

High-Entropy Visual Identification for Touch Screen Devices.

Nathaniel Wesley Filardo, Giuseppe Ateniese

IACR Cryptol. ePrint Arch., 2011

2010

A Modality Lexicon and its use in Automatic Tagging.

Kathrin Baker, Michael Bloodgood, Bonnie J. Dorr, Nathaniel Wesley Filardo, Lori S. Levin, Christine D. Piatko

Proceedings of the International Conference on Language Resources and Evaluation, 2010

Dyna: Extending Datalog for Modern AI.

Jason Eisner, Nathaniel Wesley Filardo

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Semantically-Informed Syntactic Machine Translation: A Tree-Grafting Approach.

Kathryn Baker, Michael Bloodgood, Chris Callison-Burch, Bonnie J. Dorr, Nathaniel Wesley Filardo, Lori S. Levin, Scott Miller, Christine D. Piatko

Proceedings of the 9th Conference of the Association for Machine Translation in the Americas: Research Papers, 2010