Nathaniel Wesley Filardo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
11
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | A CHERI C Memory Model for Verified Temporal Safety. | Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell |
| 2025 | SOSP | CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices. | 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 |
| 2024 | ASPLOS | 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 |
| 2023 | ICCD | 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 |
| 2023 | MICRO | 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 |
| 2020 | SP | 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 |
| 2019 | ASPLOS | 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 |
| 2019 | MICRO | 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 |
| 2017 | PLDI | Dyna: toward a self-optimizing declarative language for machine learning applications. | Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, Jason Eisner |
| 2016 | SP | Research Report: Mitigating LangSec Problems with Capabilities. | Nathaniel Wesley Filardo |
| 2012 | ICLP | A Flexible Solver for Finite Arithmetic Circuits. | Nathaniel Wesley Filardo, Jason Eisner |
| 2012 | ISPEC | High-Entropy Visual Identification for Touch Screen Devices. | Nathaniel Wesley Filardo, Giuseppe Ateniese |
| 2010 | AMTA | 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 |
| 2010 | LREC | 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 |