David Thien

According to our database, David Thien authored at least 4 papers between 2019 and 2026.

Collaborative distances:

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

2026

Auditing Rust Crates Effectively.

Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford

Proceedings of the Programming Languages and Systems, 2026

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