Scott Buckley

According to our database, Scott Buckley authored at least 6 papers between 2014 and 2023.

Collaborative distances:

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

2023

Proving the Absence of Microarchitectural Timing Channels.

Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser

CoRR, 2023

Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.

Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser

Proceedings of the Formal Methods - 25th International Symposium, 2023

2017

A formalisation of parameterised reference attribute grammars.

Scott J. H. Buckley, Anthony M. Sloane

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

2016

The sbt-rats parser generator plugin for Scala (tool paper).

Anthony M. Sloane, Franck Cassez, Scott Buckley

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Specifying CSS layout with reference attribute grammars.

Scott Buckley, Anthony M. Sloane, Matthew Roberts

Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

2014

Monto: A Disintegrated Development Environment.

Anthony M. Sloane, Matthew Roberts, Scott Buckley, Shaun Muscat

Proceedings of the Software Language Engineering - 7th International Conference, 2014