default search action

combined dblp search
author search
venue search
publication search

ask others

Brooks Davis

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/WatsonCCDFLMNRSWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/WatsonCCDFLMNRSWW24
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:
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale. IEEE Secur. Priv. 22(4): 50-61 (2024)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ZalivaMA0DRC0SW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ZalivaMA0DRC0SW24
Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell:
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. ASPLOS (1) 2024: 181-196
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/FilardoGW0RDJNC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/FilardoGW0RDJNC24
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:
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety. ASPLOS (2) 2024: 251-268
2023
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/FuchsWRMJR0FDBN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/FuchsWRMJR0FDBN23
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:
Architectural Contracts for Safe Speculation. ICCD 2023: 578-586
2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/FilardoGWAPDXNR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/FilardoGWAPDXNR20
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:
Cornucopia: Temporal Safety for CHERI Heaps. SP 2020: 608-625

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MemarianGDKRWS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MemarianGDKRWS19
Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, Peter Sewell:
Exploring C semantics and pointer provenance. Proc. ACM Program. Lang. 3(POPL): 67:1-67:32 (2019)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/WoodruffJXFNCDG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/WoodruffJXFNCDG19
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:
CHERI Concentrate: Practical Compressed Capabilities. IEEE Trans. Computers 68(10): 1455-1469 (2019)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/DavisWRNMBCCFGJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/DavisWRNMBCCFGJ19
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:
CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. ASPLOS 2019: 379-393
2018
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/XiaWBEJKCRDNBGN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/XiaWBEJKCRDNBGN18
Hongyan Xia, Jonathan Woodruff, Hadrien Barral, Lawrence Esswood, Alexandre Joannou, Robert Kovacsics, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alexander Richardson, Simon W. Moore, Robert N. M. Watson:
CheriRTOS: A Capability Model for Embedded Devices. ICCD 2018: 92-99
2017
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ChisnallDGBJWMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ChisnallDGBJWMM17
David Chisnall, Brooks Davis, Khilan Gudka, David Brazdil, Alexandre Joannou, Jonathan Woodruff, A. Theodore Markettos, J. Edward Maste, Robert M. Norton, Stacey D. Son, Michael Roe, Simon W. Moore, Peter G. Neumann, Ben Laurie, Robert N. M. Watson:
CHERI JNI: Sinking the Java Security Model into the C. ASPLOS 2017: 569-583
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/JoannouWKMBXWCR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/JoannouWKMBXWCR17
Alexandre Joannou, Jonathan Woodruff, Robert Kovacsics, Simon W. Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alfredo Mazzinghi, Alex Richardson, Stacey D. Son, A. Theodore Markettos:
Efficient Tagged Memory. ICCD 2017: 641-648
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/micro/WatsonNWMNACDLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/WatsonNWMNACDLR16
Robert N. M. Watson, Robert M. Norton, Jonathan Woodruff, Simon W. Moore, Peter G. Neumann, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Michael Roe, Nirav H. Dave, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Ed Maste, Steven J. Murdoch, Colin Rothwell, Stacey D. Son, Munraj Vadera:
Fast Protection-Domain Crossing in the CHERI Capability-System Architecture. IEEE Micro 36(5): 38-49 (2016)
2015
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ChisnallRWWVMRD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ChisnallRWWVMRD15
David Chisnall, Colin Rothwell, Robert N. M. Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Michael Roe, Brooks Davis, Peter G. Neumann:
Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine. ASPLOS 2015: 117-130
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/GudkaWACDLMNR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/GudkaWACDLMNR15
Khilan Gudka, Robert N. M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. Neumann, Alex Richardson:
Clean Application Compartmentalization with SOAAP. CCS 2015: 1016-1031
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/WatsonWNMACDDGL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/WatsonWNMACDDGL15
Robert N. M. Watson, Jonathan Woodruff, Peter G. Neumann, Simon W. Moore, Jonathan Anderson, David Chisnall, Nirav H. Dave, Brooks Davis, Khilan Gudka, Ben Laurie, Steven J. Murdoch, Robert M. Norton, Michael Roe, Stacey D. Son, Munraj Vadera:
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization. IEEE Symposium on Security and Privacy 2015: 20-37
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/AndersonWCGMD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/AndersonWCGMD14
Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Ilias Marinos, Brooks Davis:
TESLA: temporally enhanced system logic assertions. EuroSys 2014: 19:1-19:14
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/isca/WoodruffWCMADLNNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isca/WoodruffWCMADLNNR14
Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. Neumann, Robert M. Norton, Michael Roe:
The CHERI capability model: Revisiting RISC in an age of risk. ISCA 2014: 457-468

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/noms/BarrBDKLNRABCDLST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/noms/BarrBDKLNRABCDLST08
Thomas Barr, Chris Byron, Ziyad Duron, Robert M. Keller, Ben Lickly, Carl Nygaard, Kyle Roberts, Michael AuYeung, Joseph Betser, John Coggi, Brooks Davis, Craig A. Lee, Dave Stodden, Mark Thomas:
Grid-enabling orbital analysis and computationally intensive applications for a growing set of diversified users. NOMS 2008: 615-629
2003
[c3]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/bsdcon/DavisAGL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bsdcon/DavisAGL03
Brooks Davis, Michael AuYeung, Gary Green, Craig A. Lee:
Building a High-performance Computing Cluster Using FreeBSD. BSDCon 2003: 35-46
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ccgrid/LeeCMSSCD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccgrid/LeeCMSSCD03
Craig A. Lee, Eric Coe, B. Scott Michel, James Stepanek, Ignacio Solis, J. Matt Clark, Brooks Davis:
Using Topology-Aware Communication Services in Grid Environments. CCGRID 2003: 534-541
2002
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeeams/LeeCCD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeeams/LeeCCD02
Craig A. Lee, Eric Coe, J. Matt Clark, Brooks Davis:
Managing Advanced Communication Services Using Active Network Overlays in Grid Environments. Active Middleware Services 2002: 11-18

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.