Hanru Jiang

Registered user since Mon 11 Jun 2018

Name: Hanru Jiang

Country: China

Affiliation: Peng Cheng Laboratory

Research interests: Compiler Verification, Programming Languages, Concurrency, Program Logic, Quantum Computation


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