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

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
xThu 2 Oct 06:20
using conf.researchr.org (v1.72.1)
Support page
Sign Up