• Sign in
  • Sign up
conf.researchr.org / Samuel Tian
  • ICSE 2023 profile
  • PLDI 2023 profile
No Photo

Not registered as user

Name:Samuel Tian
Affiliation:MIT

Contributions

2023

PLDI

  • Author of CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives within the PLDI Research Papers-track

ICSE

  • Author of CryptOpt: Automatic Optimization of Straightline Code within the DEMO - Demonstrations-track
Share
xSun 18 May 15:31
using conf.researchr.org (v1.69.0)
Support page
Sign Up