Scott Buckley

Orcid: 0000-0001-8810-9323

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
0
1
2
3
1
1
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Proving the Absence of Microarchitectural Timing Channels.
CoRR, 2023

Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.
Proceedings of the Formal Methods - 25th International Symposium, 2023

2017
A formalisation of parameterised reference attribute grammars.
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

2016
The sbt-rats parser generator plugin for Scala (tool paper).
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Specifying CSS layout with reference attribute grammars.
Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

2014
Monto: A Disintegrated Development Environment.
Proceedings of the Software Language Engineering - 7th International Conference, 2014


  Loading...