12 citations · 17 across the 5 of their papers we have counts for
5 papers
Reclaiming Software Engineering as the Enabling Technology for the Digital Age
Tanja E. J. Vos, Tijs van der Storm, Alexander Serebrenik +4
Software engineering is the invisible infrastructure of the digital age. Every breakthrough in artificial intelligence, quantum computing, photonics, and cybersecurity relies on ad…
PolyDebug: A Framework for Polyglot Debugging
Philémon Houdaille, Djamel Eddine Khelladi, Benoit Combemale +2
As software grows increasingly complex, the quantity and diversity of concerns to be addressed also rises. To answer this diversity of concerns, developers may end up using multipl…
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Tim Soethout, Tijs van der Storm, Jurgen Vinju
Context: Concurrent objects with asynchronous messaging are an increasingly popular way to structure highly available, high performance, large-scale software systems. To ensure dat…
Concrete Syntax with Black Box Parsers
Rodin Aarssen, Jurgen Vinju, Tijs van der Storm
Context: Meta programming consists for a large part of matching, analyzing, and transforming syntax trees. Many meta programming systems process abstract syntax trees, but this req…
Rascal: From Algebraic Specification to Meta-Programming
Jeroen van den Bos, Mark Hills, Paul Klint +2
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in desi…