Hanru Jiang

Registered user since Mon 11 Jun 2018

Name:Hanru Jiang
Affiliation:Peng Cheng Laboratory
Research interests:Compiler Verification, Programming Languages, Concurrency, Program Logic, Quantum Computation


PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
PLanQC 2020 Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track
PLDI 2019 Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track