Verifying Sampling Algorithms via Distributional Invariants (FM 2026 - Research Track)

Who

Kevin Batz, Joost-Pieter Katoen, Tobias Winkler, Daniel Zilken

Track

FM 2026 Research Track

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 22 May 2026 11:55 - 12:20 at 2F Conference Room - Session 7: Programming Languages & Program Logic

Kevin Batz

Cornell University

United States

Joost-Pieter Katoen

RWTH Aachen University

Germany

Tobias Winkler

RWTH Aachen University

Germany

Daniel Zilken

RWTH Aachen University

Germany

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 22 May
Displayed time zone: Osaka, Sapporo, Tokyo change

10:40 - 12:20	Session 7: Programming Languages & Program LogicResearch Track at 2F Conference Room

10:40 25m Talk		RustyDL: A Program Logic for Rust Research Track Daniel Drodt Technical University of Darmstadt, Reiner Hähnle Technical University of Darmstadt
11:05 25m Talk		Array-Carrying Symbolic Execution for Function Contract Generation Research Track Weijie Lu Shanghai Jiao Tong University, Jingyu Ke , Hongfei Fu Shanghai Jiao Tong University, Zhouyue Sun Shanghai Jiao Tong University, Yi Zhou Shanghai Jiao Tong University, Guoqiang Li Shanghai Jiao Tong University, Haokun Li Peking University
11:30 25m Talk		A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures Research Track Wolfram Pfeifer Karlsruhe Institute of Technology (KIT), Werner Dietl University of Waterloo, Mattias Ulbrich KIT
11:55 25m Talk		Verifying Sampling Algorithms via Distributional Invariants Research Track Kevin Batz Cornell University, Joost-Pieter Katoen RWTH Aachen University, Tobias Winkler RWTH Aachen University, Daniel Zilken RWTH Aachen University