Tijs van der Storm

- Full Name
- Prof.dr. T. van der Storm
- Function(s)
- Professor - Rijksuniversiteit Groningen, Scientific Staff Member
- T.van.der.Storm@cwi.nl
- Telephone
- +31 20 592 4164
- Room
- L227
- Department(s)
- Software Analysis and Transformation
- Homepage
- http://www.cwi.nl/~storm
Biography
Tijs van der Storm performs research at the cross section between programming languages and software engineering, specializing in tools and techniques for the construction and evolution of domain-specific languages (DSLs). He is one of co-designers of the Rascal meta programming language and language workbench, which has been used for DSL design in digital forensics, financial product specification, and game economies. Van der Storm is chair of the Dutch association for software engineering research (VERSEN), treasurer of the European Association for Programming Languages and Systems (EAPLS), vice-president of AITO, and chair of the IFIP TC2 2.16 Working Group on Language Design.
Publications
-
Verano Merino, M, Beckmann, T, van der Storm, T, Hirschfeld, R.A, & Vinju, J.J. (2021). Getting grammars into shape for block-based editors. In SLE 2021 - Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering (pp. 83–98). doi:10.1145/3486608.3486908
-
Soethout, T.M, van der Storm, T, & Vinju, J.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.M, van der Storm, T, & Vinju, J.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
-
Stoel, J, van der Storm, T, & Vinju, J.J. (2021). Modeling with mocking. In Proceedings of the International Conference on Software Testing (pp. 59–70). doi:10.1109/ICST49551.2021.00018
-
Jansen, R.L, Farshidi, S, Gousios, G, van der Storm, T, Visser, J.M.W, & Bruntink, M. (2020). SearchSECO: A worldwide index of the open source software ecosystem. In CEUR Workshop Proceedings.
-
van Binsbergen, L.T, Verano Merino, M, Jeanjean, P, van der Storm, T, Combemale, B, & Barais, O. (2020). A principled approach to REPL interpreters. In Onward! 2020 - Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with SPLASH 2020 (pp. 84–100). doi:10.1145/3426428.3426917
-
Verano Merino, M, & van der Storm, T. (2020). Block-based syntax from context-free grammars. In SLE 2020 - Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with SPLASH 2020 (pp. 283–295). doi:10.1145/3426425.3426948
-
Soethout, T.M, van der Storm, T, & Vinju, J.J. (2020). Automated Validation of State-Based Client-Centric Isolation with TLA+. In Proceedings SEFM 2020. doi:10.1007/978-3-030-67220-1_4
-
van der Storm, T, & Bakker, G. (2020). MATLAB doesn't love me: An essay. In ACM International Conference Proceeding Series (pp. 97–101). doi:10.1145/3397537.3397557
-
Aarssen, R.T.A, & van der Storm, T. (2020). High-fidelity metaprogramming with separator syntax trees. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 27–37). doi:10.1145/3372884.3373162
Professional activities
- Lecturer: Universiteit van Amsterdam - [UvA] - Master Programme Software Engineering
- Editor: Journal of Object Technology (JOT)
- Chair: SPLASH Industry Track 2015
- Organizer: Software Development Automation (SDA'13)
- Organizer: Software Development Automation (SDA'14)
- Chair: Publicity SPLASH 2016
- Board Member: European Association for Programming Languages and Systems - Treasurer
Awards
- Most influential paper award (2019)
- Title: Shape-Diverse DSLs: Language without Borders (2018)