Scott Buckley
Orcid: 0000-0001-8810-9323
According to our database1,
Scott Buckley
authored at least 6 papers
between 2014 and 2023.
Collaborative distances:
Collaborative distances:
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 OtherLinks
On csauthors.net:
Bibliography
2023
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.
Proceedings of the Formal Methods - 25th International Symposium, 2023
2017
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017
2016
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016
Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016
2014
Proceedings of the Software Language Engineering - 7th International Conference, 2014