Scott Heiner
Orcid: 0000-0003-3417-0350
According to our database1,
Scott Heiner
authored at least 7 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures.
CoRR, 2024
2023
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023
2022
2020
Speculative Designs for Emergent Personal Data Trails: Signs, Signals and Signifiers.
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020
Proceedings of the DIS '20: Designing Interactive Systems Conference 2020, 2020
2019
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019