Tijs van der Storm

Centrum Wiskunde & Informatica — Netherlands

Computer Science · Physical Sciences

17h-index961citations95works0.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Model-Driven Software Engineering Techniques(35), Advanced Software Engineering Methodologies(30), Software Engineering Research(22), Logic, programming, and type systems(17), Software Testing and Debugging Techniques(16)

Publications95 total

PolyDebug: A Framework for Polyglot Debugging
The Art Science and Engineering of Programming·2025Open Access
PolyDebug: A Framework for Polyglot Debugging
The Art Science and Engineering of Programming·2025· 1 citedOpen Access
LiveRec: Prototyping Probes by Framing Debug Protocols
The Art Science and Engineering of Programming·2024· 1 citedOpen Access
Polyglot Software Development: Wait, What?
IEEE Software·2024· 1 citedOpen Access
OFraMP: a fragment-based tool to facilitate the parametrization of large molecules
Journal of Computer-Aided Molecular Design·2023· 18 citedOpen Access
Gradual Grammars: Syntax in Levels and Locales
2022· 3 citedOpen Access
A Language-Parametric Approach to Exploratory Programming Environments
2022· 2 citedOpen Access
Getting grammars into shape for block-based editors
2021· 12 citedOpen Access
Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions
2021Open Access
Modeling with Mocking
2021· 3 citedOpen Access
Projecting Textual Languages
2021· 3 cited
Automated Validation of State-Based Client-Centric Isolation with TLA$$^+$$
Lecture notes in computer science·2021· 4 citedOpen Access
A principled approach to REPL interpreters
2020· 20 citedOpen Access
Block-based syntax from context-free grammars
2020· 23 citedOpen Access
Language implementations and tooling for article: A principled approach to REPL interpreters
Artifact Digital Object Group·2020· 1 cited
Path-Sensitive Atomic Commit
The Art Science and Engineering of Programming·2020· 3 citedOpen Access
MATLAB doesn't love me: an essay
2020· 1 citedOpen Access
High-fidelity metaprogramming with separator syntax trees
2019· 3 citedOpen Access
Static local coordination avoidance for distributed objects
2019· 6 citedOpen Access
AlleAlle: bounded relational model finding with unbounded data
2019· 7 citedOpen Access
page 1 of 5Next →

Frequent Co-authors

Jurgen Vinju(14), William R. Cook(5), Alex Loh(5), Paul Klint(5), Mauricio Verano Merino(5), Pablo Inostroza(4), Sebastian Erdweg(3), Eugen Schindler(3), Jimi van der Woning(3), Jeroen van den Bos(3), Bas Basten(3), Benoît Combemale(3), Thomas Degueule(3), Jouke Stoel(3), Tim Soethout(3), Markus Völter(2), Remi Bosman(2), Albert Gerritsen(2), Angelo Hulshout(2), Steven Kelly(2)