Tim Soethout

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 6

Top Topics

Correctness Criterion

Concurrent Execution

Multi Agent Coordination

Top Venues

SPLASH (Companion Volume)

Publications

Tim Soethout, Tijs van der Storm, Jurgen J. Vinju
Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions. AGERE!@SPLASH (2021)
Tim Soethout, Tijs van der Storm, Jurgen J. Vinju
Path-Sensitive Atomic Commit - Local Coordination Avoidance for Distributed Transactions. Art Sci. Eng. Program. 5 (1) (2021)
Tim Soethout, Tijs van der Storm, Jurgen J. Vinju
. SEFM (2020)
Tim Soethout, Jurgen J. Vinju, Tijs van der Storm
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions (Technical Report). CoRR (2019)
Tim Soethout
Exploiting models for scalable and high throughput distributed software. SPLASH (Companion Volume) (2019)
Tim Soethout, Tijs van der Storm, Jurgen J. Vinju
Static local coordination avoidance for distributed objects. AGERE!@SPLASH (2019)