Publications

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

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

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

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

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

@inproceedings{LMPL:Wang25,
  author = {Wang, Di},
  booktitle = {Language Models and Programming Languages},
  doi = {10.1145/3759425.3763396},
  series = {LMPL'25},
  title = {{Composable Effect Handling for Programming LLM-Integrated Scripts}},
  year = {2025}
}

@inproceedings{SOSP:ZXZ25,
  author = {Junyang Zhang, Xiangcan Xu, Yonghao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang, Hao Chen, Lin Huang, Shoumeng Yan, Yuval Tamir, Yingwei Luo, Xiaolin Wang, Huashan Yu, Zhenlin Wang, Hongliang Tian, and Diyu Zhou},
  booktitle = {Symposium on Operating Systems Principles},
  doi = {10.1145/3731569.3764836},
  series = {SOSP'25},
  title = {{CortenMM: Efficient Memory Management with Strong Correctness Guarantees}},
  year = {2025}
}

@article{OOPSLA:LW25,
  author  = {Lian, Qihao and Wang, Di},
  doi     = {10.1145/3720492},
  journal = {Proc.\ ACM Program.\ Lang.},
  month   = {April},
  issue   = {OOPSLA1},
  title   = {{Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials}},
  volume  = {9},
  number  = {130},
  year    = {2025}
}

@article{OOPSLA:GCY24,
  author  = {Guan, Zhichao and Cao, Yiyuan and Yu, Tailai and Wang, Ziheng and Wang, Di and Hu, Zhenjiang},
  doi     = {10.1145/3689758},
  journal = {Proc.\ ACM Program.\ Lang.},
  month   = {October},
  issue   = {OOPSLA2},
  title   = {{Semantics Lifting for Syntactic Sugar}},
  volume  = {8},
  number  = {318},
  year    = {2024}
}

@article{OOPSLA:PWS24,
  author  = {Pham, Long and Wang, Di and Saad, Feras A. and Hoffmann, Jan},
  doi     = {10.1145/3689748},
  journal = {Proc.\ ACM Program.\ Lang.},
  month   = {October},
  issue   = {OOPSLA2},
  title   = {{Semantics Lifting for Syntactic Sugar}},
  volume  = {8},
  number  = {308},
  year    = {2024}
}

@inproceedings{ECOOP:SWC24,
  author    = {Sun, Ke and Wang, Di and Chen, Sheng and Wang, Meng and Hao, Dan},
  booktitle = {European Conf.\ on Object-Oriented Prog.},
  doi       = {10.4230/LIPIcs.ECOOP.2024.39},
  series    = {ECOOP'24},
  title     = {{Formalizing, Mechanizing, and Verifying Class-based Refinement Types}},
  year      = {2024}
}

@article{OOPSLA:WR24,
  author  = {Wang, Di and Reps, Thomas},
  doi     = {10.1145/3649822},
  journal = {Proc.\ ACM Program.\ Lang.},
  month   = {April},
  issue   = {OOPSLA1},
  title   = {{Newtonian Program Analysis of Probabilistic Programs}},
  volume  = {8},
  number  = {105},
  year    = {2024}
}

@article{TOPLAS:JZX24,
  author  = {Ji, Ruyi and Zhao, Yuwei and Xiong, Yingfei and Wang, Di and Zhang, Lu and Hu, Zhenjiang},
  doi     = {10.1145/3648440},
  journal = {Trans.\ on Prog.\ Lang.\ and Syst.},
  month   = {June},
  issue   = {2},
  title   = {{Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms}},
  volume  = {46},
  number  = {8},
  year    = {2024}
}

@article{POPL:DWH23,
  author = {Das, Ankush and Wang, Di and Hoffmann, Jan},
  doi = {10.1145/3571259},
  journal = {Proc.\ ACM Program.\ Lang.},
  month = {January},
  issue = {POPL},
  title = {{Probabilistic Resource-Aware Session Types}},
  volume = {7},
  number = {66},
  year = {2023}
}

@inproceedings{PLDI:WHR21A,
  author = {Wang, Di and Hoffmann, Jan and Reps, Thomas},
  booktitle = {Prog.\ Lang.\ Design and Impl.},
  doi = {10.1145/3453483.3454062},
  series = {PLDI'21},
  title = {{Central Moment Analysis for Cost Accumulators in Probabilistic Programs}},
  year = {2021}
}

@inproceedings{PLDI:WHR21B,
  author = {Wang, Di and Hoffmann, Jan and Reps, Thomas},
  booktitle = {Prog.\ Lang.\ Design and Impl.},
  doi = {10.1145/3453483.3454077},
  series = {PLDI'21},
  title = {{Sound Probabilistic Inference via Guide Types}},
  year = {2021}
}

@article{ICFP:KWR20,
  author = {Knoth, Tristan and Wang, Di and Reynolds, Adam and Hoffmann, Jan and Polikarpova, Nadia},
  doi = {10.1145/3408988},
  journal = {Proc.\ ACM Program.\ Lang.},
  month = {August},
  issue = {ICFP},
  title = {{Liquid Resource Types}},
  volume = {4},
  number = {106},
  year = {2020}
}

@article{ICFP:WKH20,
  author = {Wang, Di and Kahn, David M. and Hoffmann, Jan},
  doi = {10.1145/3408992},
  journal = {Proc.\ ACM Program.\ Lang.},
  month = {August},
  issue = {ICFP},
  title = {{Raising Expectations: Automating Expected Cost Analysis with Types}},
  volume = {4},
  number = {110},
  year = {2020}
}

@inproceedings{PLDI:KWP19,
  author = {Knoth, Tristan and Wang, Di and Polikarpova, Nadia and Hoffmann, Jan},
  booktitle = {Prog.\ Lang.\ Design and Impl.},
  doi = {10.1145/3314221.3314602},
  series = {PLDI'19},
  title = {{Resource-Guided Program Synthesis}},
  year = {2019}
}

@article{MFPS:WHR19,
  author = {Wang, Di and Hoffmann, Jan and Reps, Thomas},
  doi = {10.1016/j.entcs.2019.09.016},
  journal = {Electr.\ Notes Theor.\ Comp.\ Sci.},
  month = {November},
  note = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics},
  title = {{A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism}},
  volume = {347},
  year = {2019}
}

@article{POPL:WH19,
  author = {Wang, Di and Hoffmann, Jan},
  doi = {10.1145/3290326},
  journal = {Proc.\ ACM Program.\ Lang.},
  month = {January},
  issue = {POPL},
  title = {{Type-Guided Worst-Case Input Generation}},
  volume = {3},
  number = {13},
  year = {2019}
}

@inproceedings{PLDI:WHR18,
  author = {Wang, Di and Hoffmann, Jan and Reps, Thomas},
  booktitle = {Prog.\ Lang.\ Design and Impl.},
  doi = {10.1145/3192366.3192408},
  series = {PLDI'18},
  title = {{PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs}},
  year = {2018}
}

@article{OOPSLA:WWC17,
  author = {Wang, Peng and Wang, Di and Chlipala, Adam},
  doi = {10.1145/3133903},
  journal = {Proc.\ ACM Program.\ Lang.},
  issue = {OOPSLA},
  title = {{TiML: A Functional Language for Practical Complexity Analysis with Invariants}},
  volume = {1},
  number = {79},
  year = {2017}
}

@inproceedings{ESOP:TWX17,
  author = {Tang, Hao and Wang, Di and Xiong, Yingfei and Zhang, Lingming and Wang, Xiaoyin and Zhang, Lu},
  booktitle = {European Symp.\ on Programming},
  doi = {10.1007/978-3-662-54434-1_33},
  series = {ESOP'17},
  title = {{Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarizatio}},
  year = {2017}
}