PLDI 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
  • Attending
    • Venue: Orlando World Center Marriott
    • PLDI'23 Attendee's Guide
    • Registration
    • Code of Conduct
    • Sponsorship
    • Visa
    • Volunteers
    • Childcare
  • Program
    • PLDI Program
    • Your Program
    • Sat 17 Jun
    • Sun 18 Jun
    • Mon 19 Jun
    • Tue 20 Jun
    • Wed 21 Jun
  • Tracks
      • PLDI 2023
      • FCRC
      • PLDI Research Papers
      • Social
      • Research Artifacts
      • Tutorials
      • Workshops and Tutorials
      • SRC
      • Volunteering
      • W@PLDI
      • LGBTQ+ Lunch
      • SIGPLAN
      • Co-hosted Conferences
      • ISMM
      • LCTES
      • Workshops
      • ARRAY
      • ASA
      • CSC
      • CTSTA
      • DRAGSTERS
      • EGRAPHS
      • Infer
      • PLARCH
      • PLMW@PLDI
      • SOAP
  • Organization
      • PLDI 2023 Committees
      • Organizing Committee
      • Track Committees
      • PLDI Research Papers
      • Research Artifacts
      • Workshops and Tutorials
      • SRC
      • Volunteering
      • Contributors
      • People Index
      • Co-hosted Conferences
      • ISMM
        • Organizing Committee
        • Program Committee
      • LCTES
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • Workshops
      • ARRAY
        • Organizing Committee
        • Program Committee
      • ASA
        • Organizing Committee
      • CSC
        • Organizing Committee
        • Program Committee
      • CTSTA
        • Organizing Committee
        • Program Committee
      • DRAGSTERS
        • Organizing Committee
        • Program Committee
      • EGRAPHS
        • Organizing Committee
        • Program Committee
      • Infer
        • Organizing Committee
        • Program Committee
      • PLARCH
        • Organizing Committee
        • Program Committee
      • PLMW@PLDI
        • Organizing Committee
      • SOAP
        • Organizing Committee
        • Program Committee
  • Search
  • Series
    • Series
    • PLDI 2025
    • PLDI 2024
    • PLDI 2023
    • PLDI 2022
    • PLDI 2021
    • PLDI 2020
    • PLDI 2019
    • PLDI 2018
    • PLDI 2017
    • PLDI 2016
    • PLDI 2015
  • Sign in
  • Sign up
PLDI 2023 (series) / David Wu
  • conf.research.org general profile
  • ICSE 2023 profile

Not registered as user

Name:David Wu
Affiliation:University of Adelaide

Contributions

2023

PLDI

  • CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

Show activities from other conferences

Share
PLDI 2023-profile
View general profile
xThu 8 May 19:06

PLDI 2023


using conf.researchr.org (v1.69.0)
Support page

Tracks

FCRC
PLDI Research Papers
Social
Research Artifacts
Tutorials
Workshops and Tutorials
SRC
Volunteering
W@PLDI
LGBTQ+ Lunch
SIGPLAN

Co-hosted Conferences

ISMM 2023
LCTES 2023

Workshops

ARRAY 2023
ASA 2023
CSC 2023
CTSTA 2023
DRAGSTERS 2023
EGRAPHS 2023
Infer 2023
PLARCH 2023
PLMW@PLDI 2023
SOAP 2023

Attending

Venue: Orlando World Center Marriott
PLDI'23 Attendee's Guide
Registration
Code of Conduct
Sponsorship
Visa
Volunteers
Childcare
Sign Up