David Thien

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Image Sequences

Top Venues

Publications

Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan
Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. NDSS (2021)
David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock
Toward Multi-Precision, Multi-Format Numerics. CORRECTNESS@SC (2019)