Tim Soethout

Full Name

T.M. Soethout

Email

T.M.Soethout@cwi.nl

Phone

+31 20 592 4231

Room

L222

Department(s)

Software Analysis and Transformation

Function(s)

PhD student

Tim Soethout

Soethout, T. (2022, June 27). Banking on domain knowledge for faster transactions : leveraging models to avoid coordination. IPA dissertation series.
Soethout, T., van der Storm, T., & Vinju, J. (2021). Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions. In Proceedings of the ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (pp. 1–11). doi:10.1145/3486601.3486707
Soethout, T., van der Storm, T., & Vinju, J. (2021). Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions. The Art, Science, and Engineering of Programming, 5(1). doi:10.22152/programming-journal.org/2021/5/3
Soethout, T., van der Storm, T., & Vinju, J. (2020). Automated Validation of State-Based Client-Centric Isolation with TLA+. In Proceedings SEFM 2020 (pp. 43–57). doi:10.1007/978-3-030-67220-1_4
Soethout, T., van der Storm, T., & Vinju, J. (2019). Static local coordination avoidance for distributed objects. In AGERE 2019 - Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019 (pp. 21–30). doi:10.1145/3358499.3361222
Soethout, T. (2019). Exploiting models for scalable and high throughput distributed software. In SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (pp. 35–37). doi:10.1145/3359061.3361073