Stephen Brookes

19 papers A* 1B 7Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Developing a Civic Cohesion Framework: Integrating Asset-Based Community Development (ABCD) and the Civic Intelligence Framework in a Sociotechnical Context.
STPIS
Gill Hagan-Green, Barbara Spooner, Stephen Brookes, Stuart Younger-Cooper, Iain Caldwell
2022 J jnl
Wandering Spur Suppression in a 4.9-GHz Fractional-N Frequency Synthesizer.
IEEE J. Solid State Circuits
Dawei Mai, Yann Donnelly, Michael Peter Kennedy, Stefano Tulisi, James Breslin, Patrick Griffin, Michael Connor, Stephen Brookes, Brian Shelly, Mike Keaveney
2021 — conf
Experimental Verification of Wandering Spur Suppression Technique in a 4.9 GHz Fractional-N Frequency Synthesizer.
ESSCIRC
Dawei Mai, Yann Donnelly, Michael Peter Kennedy, Stefano Tulisi, James Breslin, Patrick Griffin, Michael Connor, Stephen Brookes, Brian Shelly, Michael Keaveney
2019 — conf
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
Michael Peter Kennedy, Yann Donnelly, James Breslin, Stefano Tulisi, Sanganagouda Patil, Ciaran Curtin, Stephen Brookes, Brian Shelly, Patrick Griffin, Michael Keaveney
2019 J jnl
A Denotational Semantics for SPARC TSO.
Log. Methods Comput. Sci.
Ryan Kavanagh, Stephen Brookes
2018 B conf
A Denotational Semantics for SPARC TSO.
MFPS
Ryan Kavanagh, Stephen Brookes
2018 J jnl
A denotational account of C11-style memory.
CoRR
Ryan Kavanagh, Stephen Brookes
2017 J jnl
A Denotational Semantics for SPARC TSO.
CoRR
Ryan Kavanagh, Stephen Brookes
2016 J jnl
Concurrent separation logic.
ACM SIGLOG News
Stephen Brookes, Peter W. O'Hearn
2014 B conf
On Grainless Footprint Semantics for Shared-memory Programs.
MFPS
Stephen Brookes
2014 J jnl
The Essence of Reynolds.
Formal Aspects Comput.
Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy
2014 A* conf
The essence of Reynolds.
POPL
Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy
2013 B conf
Dedication.
MFPS
Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott
2012 B conf
Syntactic Control of Interference and Concurrent Separation Logic.
MFPS
Stephen Brookes
2011 B conf
A Revisionist History of Concurrent Separation Logic.
MFPS
Stephen Brookes
2010 B conf
Fairness, Resources, and Separation.
MFPS
Stephen Brookes
2007 J jnl
A semantics for concurrent separation logic.
Theor. Comput. Sci.
Stephen Brookes
2005 B conf
A Grainless Semantics for Parallel Programs with Shared Mutable Data.
MFPS
Stephen Brookes
2005 — conf
Retracing CSP.
APC 25
Stephen Brookes