Tim Soethout

According to our database, Tim Soethout authored at least 6 papers between 2019 and 2021.

Collaborative distances:

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

2021

Path-Sensitive Atomic Commit - Local Coordination Avoidance for Distributed Transactions.

Tim Soethout, Tijs van der Storm, Jurgen J. Vinju

Art Sci. Eng. Program., 2021

Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions.

Tim Soethout, Tijs van der Storm, Jurgen J. Vinju

Proceedings of the AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, 2021

2020

Automated Validation of State-Based Client-Centric Isolation with TLA⁺.

Tim Soethout, Tijs van der Storm, Jurgen J. Vinju

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019

Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions (Technical Report).

Tim Soethout, Jurgen J. Vinju, Tijs van der Storm

CoRR, 2019

Exploiting models for scalable and high throughput distributed software.

Tim Soethout

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

Static local coordination avoidance for distributed objects.

Tim Soethout, Tijs van der Storm, Jurgen J. Vinju

Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, 2019