• Sign in
  • Sign up
conf.researchr.org / David Thien
  • POPL 2023 profile
David Thien

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
xMon 19 May 23:02
using conf.researchr.org (v1.69.0)
Support page
Sign Up