Scott Heiner

Orcid: 0000-0003-3417-0350

According to our database1, Scott Heiner authored at least 7 papers between 2019 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures.
CoRR, 2024

2023

2022
Discovering Language Model Behaviors with Model-Written Evaluations.
CoRR, 2022

Measuring Progress on Scalable Oversight for Large Language Models.
CoRR, 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

Disconnecting: Towards a Semiotic Framework for Personal Data Trails.
Proceedings of the DIS '20: Designing Interactive Systems Conference 2020, 2020

2019
Disconnect: A Proposal for Reclaiming Control in HCI.
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019


  Loading...