Tijs van der Storm

Search results

• 2021

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

  Soethout, T., van der Storm, T. & Vinju, J. J., 17-Jan-2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers. Cleophas, L. & Massink, M. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. Cham. p. 43-57 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12524 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  1 Citation (Scopus)

  320 Downloads (Pure)

• Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions

  Soethout, T., van der Storm, T. & Vinju, J. J., 17-Oct-2021, Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control. New York, NY, USA: Association for Computing Machinery, p. 1–11 (AGERE 2021).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  7 Downloads (Pure)

• Getting Grammars into Shape for Block-Based Editors

  Verano Merino, M., Beckmann, T., van der Storm, T., Hirschfeld, R. & Vinju, J., 2021.

  Research output: Contribution to conference › Paper › Academic
  5 Citations (Scopus)

• Modeling with Mocking

  Stoel, J., Storm, T. V. D. & Vinju, J. J., 25-May-2021, 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021. IEEE, p. 59-70 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  2 Citations (Scopus)

  116 Downloads (Pure)
• 2020

  A principled approach to REPL interpreters

  Thomas Van Binsbergen, L., Merino, M. V., Jeanjean, P., Van Der Storm, T., Combemale, B. & Barais, O., 20-Nov-2020, 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. Kell, S. & Verna, D. (eds.). Association for Computing Machinery, Inc, p. 84-100 17 p. (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).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  10 Citations (Scopus)

  63 Downloads (Pure)

• Bacatá: Notebooks for DSLs, Almost for Free

  Verano Merino, M., Vinju, J. & van der Storm, T., 14-Feb-2020, In: The Art, Science, and Engineering of Programming. 4, 3, 11.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  10 Citations (Scopus)

  117 Downloads (Pure)

• Block-based syntax from context-free grammars

  Verano Merino, M. & Van Der Storm, T., 16-Nov-2020, SLE 2020 - Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with SPLASH 2020. Lammel, R., Tratt, L. & de Lara, J. (eds.). Association for Computing Machinery, Inc, p. 283-295 13 p. (SLE 2020 - Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with SPLASH 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  9 Citations (Scopus)

  65 Downloads (Pure)

• High-fidelity metaprogramming with separator syntax trees

  Aarssen, R. T. A. & Van Der Storm, T., 20-Jan-2020, PEPM 2020: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020. Association for Computing Machinery, Inc, p. 27-37 11 p. (PEPM 2020 - Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  Open Access

  File
  1 Citation (Scopus)

  42 Downloads (Pure)

• MATLAB doesn't love me: An essay

  Van Der Storm, T. & Bakker, G., 23-Mar-2020, Programming 2020 - Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming. Aguiar, A., Chiba, S. & Boix, E. G. (eds.). ICST, p. 97-101 5 p. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  52 Downloads (Pure)

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

  Soethout, T., Storm, T. V. D. & Vinju, J. J., 8-Jun-2020, In: The Art, Science, and Engineering of Programming. 5, 1, 37 p., 3.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  1 Citation (Scopus)

  46 Downloads (Pure)

• SearchSECO: A Worldwide Index of the Open Source Software Ecosystem

  Jansen, S., Farshidi, S., Gousios, G., Visser, J., Storm, T. V. D. & Bruntink, M., 2020, Proceedings of the 19th Belgium-Netherlands Software Evolution Workshop, BENEVOL 2020, Luxembourg, December 3-4, 2020. Papadakis, M. & Cordy, M. (eds.). CEUR-WS.org, Vol. 2912. 5 p. (CEUR Workshop Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  1 Citation (Scopus)

  80 Downloads (Pure)
• 2019

  Allealle: Bounded relational model finding with unbounded data

  Stoel, J., Van Der Storm, T. & Vinju, J. J., 23-Oct-2019, 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. Association for Computing Machinery, Inc, p. 46-61 16 p. (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).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  5 Citations (Scopus)

  65 Downloads (Pure)

• Concrete Syntax with Black Box Parsers

  Aarssen, R., Vinju, J. & van der Storm, T., 1-Feb-2019, In: The Art, Science, and Engineering of Programming. 3, 3, 23 p., 15.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  4 Citations (Scopus)

  92 Downloads (Pure)

• Domain-Specific Languages for the Design, Deployment and Manipulation of Heterogeneous Databases

  Kolovos, D., Medhat, F., Paige, R., Di Ruscio, D., Van Der Storm, T., Scholze, S. & Zolotas, A., May-2019, p. 89-92.

  Research output: Contribution to conference › Paper › Academic
  8 Citations (Scopus)

• Message from the Chairs

  Schaefer, I., Reichenbach, C. & Van Der Storm, T., 21-Oct-2019, GPCE 2019 : Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2019. Association for Computing Machinery, Inc, p. III

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

• Rascal, 10 years later

  Klint, P., Van Der Storm, T. & Vinju, J., 1-Sept-2019, Proceedings - 19th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2019. Institute of Electrical and Electronics Engineers Inc., p. 139

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  Open Access

  File
  2 Citations (Scopus)

  72 Downloads (Pure)

• Static local coordination avoidance for distributed objects

  Soethout, T., Van Der Storm, T. & Vinju, J. J., 22-Oct-2019, AGERE 2019 - Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019. Association for Computing Machinery, Inc, p. 21-30 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  6 Citations (Scopus)

  28 Downloads (Pure)

• Toward live domain-specific languages: From text differencing to adapting models at run time

  van Rozen, R. & van der Storm, T., Feb-2019, In: Software and systems modeling. 18, 1, p. 195-212 18 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  12 Citations (Scopus)

  39 Downloads (Pure)
• 2018

  Constraint-based Run-time State Migration for Live Modeling

  Tikhonova, U., van der Storm, T., Stoel, J. & Degueule, T., 24-Oct-2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2018. Association for Computing Machinery, Inc, p. 108-120 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  4 Citations (Scopus)

  25 Downloads (Pure)

• JEff: Objects for effect

  Inostroza, P. & van der Storm, T., 2018, Onward! 2018: Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. New York, NY: Association for Computing Machinery, Inc, p. 111-124 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  7 Citations (Scopus)

  48 Downloads (Pure)

• Shape-diverse DSLs: Languages without borders (vision paper)

  Coulon, F., Degueule, T., Van Der Storm, T. & Combemale, B., 2018, SLE 2018: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. New York, NY: Association for Computing Machinery, Inc, p. 215-219

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  3 Citations (Scopus)

  32 Downloads (Pure)
• 2017

  Modular interpreters with implicit context propagation

  Inostroza, P. & van der Storm, T., Jun-2017, In: Computer Languages, Systems and Structures. 48, p. 39-67 29 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  5 Citations (Scopus)

• Revisiting Visitors for Modular Extension of Executable DSMLs

  Leduc, M., Degueule, T., Combemale, B., van der Storm, T. & Barais, O., 7-Nov-2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 112-122 11 p. 8101255

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  16 Citations (Scopus)

  42 Downloads (Pure)
• 2016

  An exploratory study on functional size measurement based on code

  Huijgens, H., Bruntink, M., Van Deursen, A., Van Der Storm, T. & Vogelezang, F., 2016, ICSSP '16: Proceedings of the International Conference on Software and Systems Process. Association for Computing Machinery, Inc, p. 56-65

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  8 Citations (Scopus)

• Extensible modeling with managed data in Java

  Zacharopoulos, T., Inostroza, P. & Storm, T. V. D., 2016, p. 25-35.

  Research output: Contribution to conference › Paper › Academic

• Model Transformation with Immutable Data

  Klint, P. & Van Der Storm, T., 22-Jun-2016, ICMT 2016: International Conference on Theory and Practice of Model Transformations. Van Gorp, P. & Engels, G. (eds.). Cham: Springer, p. 19-35 Chapter 2. (Theory and Practice of Model Transformations; vol. 9765).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  4 Citations (Scopus)

• Modular Interpreters for the Masses Implicit Context Propagation using Object Algebras

  Inostroza, P. & van der Storm, T., Mar-2016, In: Sigplan notices. 51, 3, p. 171-180 10 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  7 Citations (Scopus)

  24 Downloads (Pure)

• Practical, general parser combinators

  Izmaylova, A., Afroozeh, A. & Van Der Storm, T., 11-Jan-2016, PEPM 2016 : Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2016. Rompf, T. & Erwig, M. (eds.). Association for Computing Machinery, Inc, p. 1-12 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  13 Citations (Scopus)

• Recaf: Java dialects as libraries

  Biboudis, A., Inostroza, P. & Storm, T. V. D., 20-Oct-2016, In: Sigplan notices. 52, 3, p. 2-13

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  38 Downloads (Pure)
• 2015

  Evaluating and comparing language workbenches Existing results and benchmarks for the future

  Erdweg, S., van der Storm, T., Voelter, M., Tratt, L., Bosman, R., Cook, W. R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., Konat, G., Molina, P. J., Palatnik, M., Pohjonen, R., Schindler, E., Schindler, K., Solmi, R., Vergu, V., Visser, E., van der Vlist, K., & 2 othersWachsmuth, G. & van der Woning, J., Dec-2015, In: Computer Languages, Systems and Structures. 44, p. 24-47 24 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  136 Citations (Scopus)

• Modular language implementation in Rascal - experience report

  Basten, B., van den Bos, J., Hills, M., Klint, P., Lankamp, A., Lisser, B., van der Ploeg, A., van der Storm, T. & Vinju, J., 15-Dec-2015, In: Science of computer programming. 114, p. 7-19 13 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  23 Citations (Scopus)

  71 Downloads (Pure)

• Scrap Your Boilerplate with Object Algebras

  Zhang, H., Chu, Z., Oliveira, B. C. D. S. & van der Storm, T., Oct-2015, In: Sigplan notices. 50, 10, p. 127-146 20 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  9 Citations (Scopus)
• 2014

  The design and implementation of Object Grammars

  van der Storm, T., Cook, W. R. & Loh, A., 15-Dec-2014, In: Science of computer programming. 96, p. 460-487 28 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  19 Citations (Scopus)

  71 Downloads (Pure)

• Tracing program transformations with string origins

  Inostroza, P., Van Der Storm, T. & Erdweg, S., 1-Jan-2014, Theory and Practice of Model Transformations - 7th International Conference, ICMT 2014, Held as Part of STAF 2014, Proceedings. di Ruscio, D. & Varró, D. (eds.). Cham: Springer Verlag, p. 154-169 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8568 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  7 Citations (Scopus)