John Baldwin - RankMe

13 papers A* 2C 4Journal 5Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	It Is Time to Standardize Principles and Practices for Software Memory Safety. Commun. ACM Robert N. M. Watson, John Baldwin, David Chisnall, Tony Chen, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Brett F. Gutstein, Graeme Jenkinson, Ben Laurie, Alfredo Mazzinghi, Simon W. Moore, Peter G. Neumann, Hamed Okhravi, Alex Richardson, Alex Rebert, Peter Sewell, Laurence Tratt, Murali Vijayaraghavan, Hugo Vincent, Konrad Witaszczyk
2024	C	`conf`	Safe Speculation for Cheri. ICCD Franz A. Fuchs, Jonathan Woodruff, Peter Rugg, Alexandre Joannou, Jessica Clarke, John Baldwin, Brooks Davis, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore
2023	C	`conf`	Architectural Contracts for Safe Speculation. ICCD 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
2021	J	`jnl`	IN MEMORIAM: MICHAEL MORLEY, 1930-2020. Bull. Symb. Log. John Baldwin, David Marker
2021	J	`jnl`	Strongly Minimal Steiner Systems I: existence. J. Symb. Log. John Baldwin, Gianluca Paolini
2020	A*	`conf`	Cornucopia: Temporal Safety for CHERI Heaps. SP 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
2020	—	`conf`	Position Paper: Defending Direct Memory Access with CHERI Capabilities. HASP@MICRO A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson
2019	A*	`conf`	CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. ASPLOS 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
2018	C	`conf`	CheriRTOS: A Capability Model for Embedded Devices. ICCD 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
2017	C	`conf`	Efficient Tagged Memory. ICCD 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
2006	J	`jnl`	Upward Stability Transfer for Tame Abstract Elementary Classes. Notre Dame J. Formal Log. John Baldwin, David W. Kueker, Monica Van Dieren
2003	—	`conf`	A Reciprocity Theorem for Monomer-Dimer Coverings. DMCS Nick Anzalone, John Baldwin, Ilya Bronshtein, T. Kyle Petersen
2000	J	`jnl`	Innovative activity in Canadian food processing establishments: the importance of engineering practices. Int. J. Technol. Manag. John Baldwin, David Sabourin