• Sign in
  • Sign up
conf.researchr.org / Michael Smith
  • POPL 2023 profile
Michael Smith

Registered user since Sat 21 Jan 2023

Name:Michael Smith
Country:United States
Affiliation:UC San Diego
Personal website: https://spinda.net
X (Twitter): https://x.com/_spinda
GitHub: https://github.com/spinda

Contributions

2023

PriSC

  • Author of Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers within the PriSC 2023-track
  • Author of FaJITa: Verifying Optimizations on Just-In-Time Programs within the PriSC 2023-track
Share
xFri 23 May 18:14
using conf.researchr.org (v1.69.0)
Support page
Sign Up