Talks

2023

Exploration of New Designs for Programming Languages (In Chinese)

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

Algebraic Program Analysis of Probabilistic Programs (New)

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

Algebraic Program Analysis of Probabilistic Programs

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