Sára Decova

According to our database, Sára Decova authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Formalization of Timely Dataflow's Progress Tracking Protocol.

Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel

Arch. Formal Proofs, 2021

Verified Progress Tracking for Timely Dataflow.

Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2019

Exceptional asynchronous session types: session types without tiers.

Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova

Proc. ACM Program. Lang., 2019