新闻归档

• [Dec 2024] Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials 被 OOPSLA 2025 接收。
• [Jun 2024] Programmable MCMC with Soundly Composed Guide Programs 和 Semantics Lifting for Syntactic Sugar 被 OOPSLA 2024 条件接收。
• [Jun 2024] Formalizing, Mechanizing, and Verifying Class-based Refinement Types 被 ECOOP 2024 接收。
• [Jan 2024] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms 被 TOPLAS 接收。
• [Dec 2023] Newtonian Program Analysis of Probabilistic Programs 被 OOPSLA 2024 接收。
• [Sep 2023] 我将担任 PLDI 2024 程序委员会成员。
• [July 2023] 预印本 Newtonian Program Analysis of Probabilistic Programs 已上传至 arXiv。
• [May 2023] 我将担任 OOPSLA 2024 审稿委员会成员。
• [May 2023] 我将担任 ASE 2023 程序委员会成员。
• [Sep 2022] Probabilistic Resource-Aware Session Types 被 POPL 2023 接收。
• [May 2022] 我完成了博士学位答辩。我的博士论文为 Static Analysis of Probabilistic Programs: An Algebraic Approach。
• [Sep 2021] 我开始找 2022 年入职的学术界工作！
• [Feb 2021] 两篇论文 Sound Probabilistic Inference via Guide Types 和 Central Moment Analysis for Cost Accumulators in Probabilistic Programs 被 PLDI 2021 接收。
• [Nov 2020] 预印本 Probabilistic Resource-Aware Session Types 已上传至 arXiv。
• [Jun 2020] 两篇论文 Liquid Resource Types 和 Raising Expectations: Automating Expected Cost Analysis with Types 被 ICFP 2020 接收。
• [May 2019] 论文 A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism 被 MFPS 接收。
• [Feb 2019] Resource-Guided Program Synthesis 被 PLDI 2019 接收。
• [Nov 2018] Type-Guided Worst-Case Input Generation 被 POPL 2019 接收。
• [Mar 2018] 这是我在 SCS Day 2018 上的表演：Chengdu。
• [Feb 2018] PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs 被 PLDI 2018 接收。
• [Jun 2017] 我从北京大学毕业了。我的学位论文为基于 Datalog 条件摘要的程序分析加速技术。