I agree that this site is using cookies. You can find further informations here.
X
Wesley Filardo, Nathaniel
13  results:
Search for persons X
?
1

Cornucopia: Temporal Safety for CHERI Heaps:

, In: 2020 IEEE Symposium on Security and Privacy (SP),
Wesley Filardo, Nathaniel ; Gutstein, Brett F. ; Woodruff, Jonathan... - p. 608-625 , 2020
Link: https://doi.org/10.1109/..
 
?
2

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal ..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,
Filardo, Nathaniel Wesley ; Gutstein, Brett F. ; Woodruff, Jonathan... - p. 251-268 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

BatchIt: Optimizing Message-Passing Allocators for Producer..:

, In: Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management,
Filardo, Nathaniel Wesley ; Parkinson, Matthew J. - p. 121-130 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

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

Watson, Robert N. M. ; Chisnall, David ; Clarke, Jessica...
IEEE Security & Privacy.  , 2024
Link: https://doi.org/10.1109/..
 
?
5

CHERIoT: Complete Memory Safety for Embedded Devices:

, In: Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture,
Amar, Saar ; Chisnall, David ; Chen, Tony... - p. 641-653 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Architectural Contracts for Safe Speculation:

, In: 2023 IEEE 41st International Conference on Computer Design (ICCD),
Fuchs, Franz A. ; Woodruff, Jonathan ; Rugg, Peter... - p. 578-586 , 2023
Link: https://doi.org/10.1109/..
 
?
7

CheriABI : Enforcing Valid Pointer Provenance and Minimi..:

, In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems,
Davis, Brooks ; Watson, Robert N. M. ; Richardson, Alexander... - p. 379-393 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

Dyna: toward a self-optimizing declarative language for mac..:

, In: Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages,
Vieira, Tim ; Francis-Landau, Matthew ; Filardo, Nathaniel Wesley.. - p. 8-17 , 2017
Link: https://dl.acm.org/doi/1..
 
?
9

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal ..:

Filardo, Nathaniel Wesley ; Gutstein, Brett F ; Woodruff, Jonathan...
https://www.repository.cam.ac.uk/handle/1810/363479.  , 2024
Link: https://www.repository.c..
 
?
10

A Flexible Solver for Finite Arithmetic Circuits:

Filardo, Nathaniel Wesley ; Eisner, Jason
doi:10.4230/LIPIcs.ICLP.2012.425.  , 2012
Link: https://doi.org/10.4230/..
 
?
11

CHERIvoke : Characterising Pointer Revocation using CHER..:

, In: Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture,
Xia, Hongyan ; Woodruff, Jonathan ; Ainsworth, Sam... - p. 545-557 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

CHERI Concentrate: Practical Compressed Capabilities:

Woodruff, Jonathan ; Joannou, Alexandre ; Xia, Hongyan...
IEEE Transactions on Computers.  68 (2019)  10 - p. 1455-1469 , 2019
Link: https://doi.org/10.1109/..
 
?
13

Modality and Negation in SIMT Use of Modality and Negation ..:

Baker, Kathryn ; Bloodgood, Michael ; Dorr, Bonnie J....
Computational Linguistics.  38 (2012)  2 - p. 411-438 , 2012
Link: https://doi.org/10.1162/..
 
1-13