Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Thien
conf.researchr.org general profile
POPL 2023 profile
Registered user since Tue 10 Jan 2023
Name:
David Thien
Affiliation:
UC San Diego
Contributions
2023
PriSC
Author of FaJITa: Verifying Optimizations on Just-In-Time Programs within the PriSC 2023-track
Author of Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers within the PriSC 2023-track
Share
x
Sat 3 May 00:52
