• Sign in
  • Sign up
conf.researchr.org / David Wu
  • ICSE 2023 profile
  • PLDI 2023 profile

Not registered as user

Name:David Wu
Affiliation:University of Adelaide

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
xTue 2 Sep 21:56
using conf.researchr.org (v1.70.0)
Support page
Sign Up