David Thien

According to our database, David Thien authored at least 3 papers between 2019 and 2024.

Collaborative distances:

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

2024

Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution.

Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

2021

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm.

Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2019

Toward Multi-Precision, Multi-Format Numerics.

David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019