Tijs Storm, van der

Tijs van der Storm

prof. dr.

  • Nijenborgh9, Gebouw 5161

    9747 AG Groningen

    Netherlands

Filter
Conference contribution

Search results

  • 2023

    Eelco Visser and IFIP WG 2.16

    van der Storm, T., 1-Mar-2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3 p. 28. (OpenAccess Series in Informatics; vol. 109).

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

    Open Access
    File
    44 Downloads (Pure)

  • Semantics Engineering with Concrete Syntax

    van der Storm, T., 1-Mar-2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11 p. 28. (OpenAccess Series in Informatics; vol. 109).

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

    Open Access
    File
    1 Citation (Scopus)
    67 Downloads (Pure)
  • 2022

    A Language-Parametric Approach to Exploratory Programming Environments

    Van Binsbergen, L. T., Frölich, D., Merino, M. V., Lai, J., Jeanjean, P., Van Der Storm, T., Combemale, B. & Barais, O., 29-Nov-2022, SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022. Fischer, B., Burgueno, L. & Cazzola, W. (eds.). ACM Press Digital Library, p. 175-188 14 p.

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

    Open Access
    File
    2 Citations (Scopus)
    65 Downloads (Pure)

  • Gradual Grammars: Syntax in Levels and Locales

    Van Der Storm, T. & Hermans, F., 29-Nov-2022, SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022. Fischer, B., Burgueno, L. & Cazzola, W. (eds.). ACM Press Digital Library, p. 134-147 14 p. (SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022).

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

    Open Access
    File
    2 Citations (Scopus)
    46 Downloads (Pure)
  • 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
    2 Citations (Scopus)
    1269 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
    32 Downloads (Pure)

  • Getting Grammars into Shape for Block-Based Editors

    Verano Merino, M., Beckmann, T., van der Storm, T., Hirschfeld, R. & Vinju, J., 2021, 14th ACM SIGPLAN International Conference on Software Language Engineering. ACM Press Digital Library, p. 83-98 16 p.

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

    Open Access
    File
    12 Citations (Scopus)
    10 Downloads (Pure)

  • 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
    3 Citations (Scopus)
    383 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
    17 Citations (Scopus)
    191 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
    17 Citations (Scopus)
    131 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
    108 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
    3 Citations (Scopus)
    168 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)
    111 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, 11th IEEE/ACM International Workshop on Modelling in Software Engineering. IEEE, p. 89-92 4 p. 8876980

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

    9 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)
    192 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)
    65 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
    8 Citations (Scopus)
    53 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
    8 Citations (Scopus)
    86 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
    4 Citations (Scopus)
    65 Downloads (Pure)
  • 2017

    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
    18 Citations (Scopus)
    94 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

    11 Citations (Scopus)

  • 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)

  • 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

    16 Citations (Scopus)
  • 2014

    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, 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

    9 Citations (Scopus)