Di Wang

Recent Publications

• RV-IR: An MLIR-Based Architecture-Aware Intermediate Representation for Heterogeneous RISC-V AI Acceleration
  Zexin Jian, Shuhui Jia, Chunwei Xia, Di Wang, Chenxi Wang · ICS Workshops · 2026
  DOI Cite

  ✕ Copy

  @inproceedings{ICSWorkshops:JianJX26,
    author = {Jian, Zexin and Jia, Shuhui and Xia, Chunwei and Wang, Di and Wang, Chenxi},
    booktitle = {International Conference on Supercomputing - Workshops},
    doi = {10.1145/3774895.3812195},
    series = {ICS'26 Workshops},
    title = {{RV-IR: An MLIR-Based Architecture-Aware Intermediate Representation for Heterogeneous RISC-V AI Acceleration}},
    year = {2026}
  }

• A HOL Theorem Proving Interface for C
  Yiyuan Cao, Jiayi Zhuang, Jinkai Fan, Di Wang, Zhenjiang Hu · TASE · 2026
  DOI Cite

  ✕ Copy

  @inproceedings{TASE:CZF26,
    author = {Cao, Yiyuan and Zhuang, Jiayi and Fan, Jinkai and Wang, Di and Hu, Zhenjiang},
    booktitle = {Theor.\ Aspects of Softw.\ Eng.},
    doi = {10.1145/3192366.3192408},
    series = {TASE'26},
    title = {{A HOL Theorem Proving Interface for C}},
    year = {2026}
  }

• Localizing Type Errors for Syntactic Sugar by Lifting
  Zhichao Guan, Tailai Yu, Di Wang, Zhenjiang Hu · OOPSLA · 2026
  DOI Cite

  ✕ Copy

  @article{OOPSLA:GYW26,
    author  = {Guan, Zhichao and Yu, Tailai and Wang, Di and Hu, Zhenjiang},
    doi     = {10.1145/3798253},
    journal = {Proc.\ ACM Program.\ Lang.},
    month   = {April},
    issue   = {OOPSLA1},
    title   = {{Localizing Type Errors for Syntactic Sugar by Lifting}},
    volume  = {10},
    number  = {145},
    year    = {2026}
  }

• A Program Logic for Under-approximating Worst-case Resource Usage
  Ziyue Jin, Di Wang · ESOP · 2026
  PDF DOI Cite

  ✕ Copy

  @inproceedings{ESOP:JW26,
    author = {Jin, Ziyue and Wang, Di},
    booktitle = {European Symposium on Programming},
    doi = {10.1007/978-3-032-22720-1_13},
    series = {ESOP'26},
    title = {{A Program Logic for Under-approximating Worst-case Resource Usage}},
    year = {2026}
  }

• Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
  Han Xu, Di Wang · ESOP · 2026
  PDF DOI Cite

  ✕ Copy

  @inproceedings{ESOP:XW26,
    author = {Xu, Han and Wang, Di},
    booktitle = {European Symposium on Programming},
    doi = {10.1007/978-3-032-22723-2_13},
    series = {ESOP'26},
    title = {{Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs}},
    year = {2026}
  }

All publications →