Sotabase

Career

· Researcher at Software Systems Laboratory (SSL), Columbia University

Publications (6)

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm
Network and Distributed System Security Symposium · 2021
45
cited
Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern x86
2022
5
cited
Auditing Rust Crates Effectively
3
cited
Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution
Symposium on Operating Systems Principles · 2024
2
cited
Toward Multi-Precision, Multi-Format Numerics
International Workshop on Software Correctness for HPC Applications · 2019
2
cited
FaJITa: Verifying Optimizations on Just-In-Time Programs
2023
Sotabase
David Thien | Researcher Profile | Sotabase | Sotabase