Stephen Brookes

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 8

Top Topics

Abstract Data Types

Denotational Semantics

Top Venues

ACM SIGLOG News

Formal Aspects Comput.

Publications

Dawei Mai, Yann Donnelly, Michael Peter Kennedy, Stefano Tulisi, James Breslin, Patrick Griffin, Michael Connor, Stephen Brookes, Brian Shelly, Mike Keaveney
Wandering Spur Suppression in a 4.9-GHz Fractional-N Frequency Synthesizer. IEEE J. Solid State Circuits 57 (7) (2022)
Dawei Mai, Yann Donnelly, Michael Peter Kennedy, Stefano Tulisi, James Breslin, Patrick Griffin, Michael Connor, Stephen Brookes, Brian Shelly, Michael Keaveney
Experimental Verification of Wandering Spur Suppression Technique in a 4.9 GHz Fractional-N Frequency Synthesizer. ESSCIRC (2021)
Ryan Kavanagh, Stephen Brookes
A Denotational Semantics for SPARC TSO. Log. Methods Comput. Sci. 15 (2) (2019)
Michael Peter Kennedy, Yann Donnelly, James Breslin, Stefano Tulisi, Sanganagouda Patil, Ciaran Curtin, Stephen Brookes, Brian Shelly, Patrick Griffin, Michael Keaveney
4.48GHz 0.18μm SiGe BiCMOS Exact-Frequency Fractional-N Frequency Synthesizer with Spurious-Tone Suppression Yielding a -80dBc In-Band Fractional Spur. ISSCC (2019)
Ryan Kavanagh, Stephen Brookes
A denotational account of C11-style memory. CoRR (2018)
Ryan Kavanagh, Stephen Brookes
A Denotational Semantics for SPARC TSO. MFPS (2018)
Ryan Kavanagh, Stephen Brookes
A Denotational Semantics for SPARC TSO. CoRR (2017)
Stephen Brookes, Peter W. O'Hearn
Concurrent separation logic. ACM SIGLOG News 3 (3) (2016)
Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy
The essence of Reynolds. POPL (2014)
Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy
The Essence of Reynolds. Formal Aspects Comput. 26 (3) (2014)
Stephen Brookes
On Grainless Footprint Semantics for Shared-memory Programs. MFPS (2014)
Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott
Dedication. MFPS (2013)
Stephen Brookes
Syntactic Control of Interference and Concurrent Separation Logic. MFPS (2012)
Stephen Brookes
A Revisionist History of Concurrent Separation Logic. MFPS (2011)
Stephen Brookes
Fairness, Resources, and Separation. MFPS (2010)
Stephen Brookes
A semantics for concurrent separation logic. Theor. Comput. Sci. 375 (1-3) (2007)
Stephen Brookes
Retracing CSP. Electron. Notes Theor. Comput. Sci. 162 (2006)
Stephen Brookes
A Grainless Semantics for Parallel Programs with Shared Mutable Data. MFPS (2005)