David Thien
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Auditing Rust Crates Effectively. | Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford |
| 2024 | SOSP | 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 |
| 2021 | NDSS | Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. | Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan |
| 2019 | SC | Toward Multi-Precision, Multi-Format Numerics. | David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock |