Talks

2024

Program Resource Analysis and Verification (In Chinese)

Nov 30, 2024 3:10 PM — 3:35 PM

Programmable MCMC with Soundly Composed Guide Programs (In Chinese)

Nov 15, 2024 9:20 AM — 9:40 AM

A Paradigm that Unifies Programming and Verification (In Chinese)

Sep 3, 2024 2:40 PM — 3:20 PM

A Proof-Oriented Programming Language (In Chinese)

Aug 9, 2024 4:30 PM — 5:00 PM

Newtonian Program Analysis of Probabilistic Programs

Jul 2, 2024 11:30 AM — 12:30 PM

Exploration of New Designs for Programming Languages (In Chinese) [Ver 2]

Jun 22, 2024 3:20 PM — 3:50 PM

Towards Next-Gen Programming Languages (In Chinese)

Jun 22, 2024 9:00 AM — 9:45 AM

Algebraic Program Analysis of Probabilistic Programs [Ver 3]

Apr 10, 2024 10:00 PM — 11:00 PM

2023

Exploration of New Designs for Programming Languages (In Chinese) [Ver 1]

Dec 16, 2023 3:30 PM — 4:00 PM

Algebraic Program Analysis of Probabilistic Programs [Ver 2]

Dec 2, 2023 2:35 PM — 3:00 PM

Algebraic Program Analysis of Probabilistic Programs [Ver 1]

Jun 30, 2023 3:15 PM — 3:40 PM

Type-Driven Programming Language Design (In Chinese)

Jun 17, 2023 9:00 AM — 9:45 AM

Resource-Safe System Programming Language (In Chinese)

May 19, 2023 3:30 PM — 4:30 PM

Intuitionistic Logics and Programing Languages (In Chinese)

Mar 28, 2023 3:00 PM — 6:00 PM

2022

Quantitative Program Analysis and Verification (In Chinese)

Dec 22, 2022 2:00 PM — 2:30 PM

Semantics of Probabilistic Programs: An Algebraic Approach

Mar 12, 2022 2:00 PM — 4:00 PM

2021

Type-Guided Worst-Case Input Generation

Jun 3, 2021 10:00 AM — 11:00 AM

2020

Type-Based Resource-Guided Search

Oct 16, 2020 12:00 PM — 1:00 PM

2019

Resource-Guided Program Synthesis

Nov 22, 2019 12:00 PM — 1:00 PM

2018

PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs

Apr 20, 2018 12:00 PM — 1:00 PM

TiML: A Functional Language for Practical Complexity Analysis with Invariants

Feb 9, 2018 12:00 PM — 1:00 PM