News Archive

Di Wang

[Sep 2021] I am on the academic job market for 2022 positions. Please reach out to me if you think I would be a good fit for your department.
[Feb 2021] I am excited that our papers Sound Probabilistic Inference via Guide Types and Central Moment Analysis for Cost Accumulators in Probabilistic Programs with Jan and Tom have been conditionally accepted to PLDI 2021.
[Nov 2020] Our technical report about Probabilistic Resource-Aware Session Types is available on arXiv.
[Jun 2020] Our articles Liquid Resource Types and Raising Expectations: Automating Expected Cost Analysis with Types have been accepted to ICFP 2020.
[May 2019] Check out our recent MFPS paper on A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism with Jan and Tom.
[Feb 2019] Great news: Our paper on Resource-Guided Program Synthesis has been conditionally accepted to PLDI 2019.
[Nov 2018] I am excited that our paper Type-Guided Worst-Case Input Generation with Jan Hoffmann has been accepted to POPL 2019.
[Mar 2018] Check out my talent show Chengdu on SCS Day 2018!
[Feb 2018] I am excited that our paper PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs (with Jan Hoffmann and Tom Reps) has been conditionally accepted to PLDI 2018.
[Jun 2017] I graduated from Peking University! My diploma thesis is about Accelerating Program Analyses by Conditional Summarization with Datalog.