Scott Buckley

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 4

Top Topics

Object Oriented

Rapid Prototyping

Development Environments

Attribute Grammars

Top Venues

SPLASH (Companion Volume)

Publications

Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. FM (2023)
Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser
Proving the Absence of Microarchitectural Timing Channels. CoRR (2023)
Anthony M. Sloane, Franck Cassez, Scott Buckley
The sbt-rats parser generator plugin for Scala (tool paper). SCALA@SPLASH (2016)
Scott Buckley, Anthony M. Sloane, Matthew Roberts
Specifying CSS layout with reference attribute grammars. SPLASH (Companion Volume) (2016)
Anthony M. Sloane, Matthew Roberts, Scott Buckley, Shaun Muscat
Monto: A Disintegrated Development Environment. SLE (2014)