Exceptional asynchronous session types: session types without tiers. - Simon Fowler 001; Sam Lindley; J. Garrett Morris; Sára Decova (Proc. ACM Program. Lang., 2019)

Verified Progress Tracking for Timely Dataflow. - Matthias Brun 002; Sára Decova; Andrea Lattuada 001; Dmitriy Traytel (ITP, 2021)

Formalization of Timely Dataflow's Progress Tracking Protocol. - Matthias Brun 002; Sára Decova; Andrea Lattuada 001; Dmitriy Traytel (Arch. Formal Proofs, 2021)