John Baldwin

According to our database, John Baldwin authored at least 11 papers between 2000 and 2023.

Collaborative distances:

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

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

2021

Strongly Minimal Steiner Systems I: existence.

John Baldwin, Gianluca Paolini

J. Symb. Log., 2021

IN MEMORIAM: MICHAEL MORLEY, 1930-2020.

John Baldwin, David Marker

Bull. Symb. Log., 2021

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

Position Paper: Defending Direct Memory Access with CHERI Capabilities.

A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson

Proceedings of the HASP@MICRO 2020: Hardware and Architectural Support for Security and Privacy, 2020

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

2018

CheriRTOS: A Capability Model for Embedded Devices.

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

Proceedings of the 36th IEEE International Conference on Computer Design, 2018

2017

Efficient Tagged Memory.

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

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

2006

Upward Stability Transfer for Tame Abstract Elementary Classes.

John Baldwin, David W. Kueker, Monica Van Dieren

Notre Dame J. Formal Log., 2006

2003

A Reciprocity Theorem for Monomer-Dimer Coverings.

Nick Anzalone, John Baldwin, Ilya Bronshtein, T. Kyle Petersen

Proceedings of the Discrete Models for Complex Systems, 2003

2000

Innovative activity in Canadian food processing establishments: the importance of engineering practices.

John Baldwin, David Sabourin

Int. J. Technol. Manag., 2000