王迪

近期论文

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

  ✕ 复制

  @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 引用

  ✕ 复制

  @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 引用

  ✕ 复制

  @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}
  }

• Denotation-based Compositional Compiler Verification
  Zhang Cheng, Jiyang Wu, Di Wang, Qinxiang Cao · TOPLAS · 2026
  PDF DOI 引用

  ✕ 复制

  @article{TOPLAS:CWW26,
    author  = {Cheng, Zhang and Wu, Jiyang and Wang, Di and Cao, Qinxiang},
    doi     = {10.1145/3797874},
    journal = {Trans.\ on Prog.\ Lang.\ and Syst.},
    month   = {March},
    issue   = {1},
    title   = {{Denotation-based Compositional Compiler Verification}},
    volume  = {48},
    number  = {5},
    year    = {2026}
  }

• Inferring Typing Rules for Contextual Sugars
  Tailai Yu, Zhichao Guan, Di Wang, Zhenjiang Hu · PEPM · 2026
  PDF DOI 引用

  ✕ 复制

  @inproceedings{PEPM:YGW26,
    author = {Yu, Tailai and Guan, Zhichao and Wang, Di and Hu, Zhenjiang},
    booktitle = {Partial Evaluation and Program Manipulation},
    doi = {10.1145/3759425.3763396},
    series = {PEPM'26},
    title = {{Inferring Typing Rules for Contextual Sugars}},
    year = {2026}
  }

全部论文 →