Tijs van der Storm
- Full Name
- Prof.dr. T. van der Storm
- Function(s)
- 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
-
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
-
Stoel, J, van der Storm, T, & Vinju, J.J. (2019). AlleAlle: Bounded relational model finding with unbounded data. In Onward! 2019 - Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2019 (pp. 46–61). doi:10.1145/3359591.3359726
-
Soethout, T.M, van der Storm, T, & Vinju, J.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
-
Klint, P, van der Storm, T, & Vinju, J.J. (2019). Rascal, 10 years later. In Proceedings of the International Working Conference on Source Code Analysis and Manipulation (pp. 139–139). doi:10.1109/SCAM.2019.00023
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)