Technical Report Series

The TU Delft Software Engineering Research Group has maintained a list of technical reports since 2006, numbered TUD-SERG-20xx-abc. Technical reports include a verbatim pdf of the camera-ready version of the underlying publication (i.e., they are postprints), possibly extended with extra appendices that exceed the page limit of the publication.

Reports until 2016

The following is a list of technical reports from the SERG technical reports series on programming languages topics.

Report Number Author(s) Title Venue
TUD-SERG-2016-025 Markus Voelter, Bernd Kolb, Tamás Szabó, Daniel Ratiu and Arie van Deursen Lessons Learned from Developing mbeddr: A Case Study in Language Engineering with MPS SOSYM 2017
TUD-SERG-2016-021 Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, and Eelco Visser Software that meets its Intent ISoLA 2016
TUD-SERG-2016-012 Daco C. Harkes, Danny M. Groenewegen, Eelco Visser IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs ECOOP 2016
TUD-SERG-2016-010 Casper Bach Poulsen, Piere Néron, Andrew Tolmach, Eelco Visser Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics ECOOP 2016
TUD-SERG-2015-012 Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs PEPM 2016 (Update of TUD-SERG-2015-009)
TUD-SERG-2015-011 Felienne Hermans, Efthimia Aivaloglou and Bas Jansen Detecting Problematic Lookup Functions in Spreadsheets VL.HCC 2015
TUD-SERG-2015-010 Markus Voelter, Arie van Deursen, Bernd Kolb and Stephan Eberle Using C Language Extensions for Developing Embedded Software: A Case Study OOPSLA 2015
TUD-SERG-2015-009 Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs  
TUD-SERG-2015-006 Hendrik van Antwerpen, Pierre Neron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth Language-Independent Type-Dependent Name Resolution  
TUD-SERG-2015-003 Vlad Vergu, Pierre Neron, Eelco Visser DynSem: A DSL for the Specification of Dynamic Semantics RTA 2015
TUD-SERG-2015-001 Pierre Neron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth A Theory of Name Resolution with Extended Coverage and Proofs Extension of ESOP 2015 paper researchr
TUD-SERG-2014-023 Daco Harkes and Eelco Visser Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation SLE 2014
TUD-SERG-2013-017 Eelco Visser Understanding software through linguistic abstraction Science of Computer Programming
TUD-SERG-2013-014 Guido Wachsmuth, Gabriël Konat, Vlad Vergu, Danny Groenewegen, Eelco Visser A Language Independent Task Engine for Incremental Name and Type Analysis SLE 2013
TUD-SERG-2013-009 Oskar van Rest, Guido Wachsmuth, Jim Steel, Jörn Guy Süß, Eelco Visser Robust Real-Time Synchronization between Textual and Graphical Editors ICMT 2013
TUD-SERG-2013-008 Maartje de Jonge, Eelco Visser Implementing Refactorings in the Spoofax Language Workbench  
TUD-SERG-2012-024 Maartje de Jonge, Eelco Visser A Language Generic Solution for Name Binding Preservation in Refactorings LDTA 2012
TUD-SERG-2012-021 Maartje de Jonge, Lennart C.L. Kats, Emma Soderberg, Eelco Visser Natural and Flexible Error Recovery for Generated Modular Language Environments TOPLAS 2013
TUD-SERG-2012-015 Gabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser Declarative Name Binding and Scope Rules SLE 2012
TUD-SERG-2012-014 Lennart C. L. Kats, Richard G. Vogelij, Karl T. Kalleberg, Eelco Visser Software Development Environments on the Web: A Research Agenda Onward! 2012
TUD-SERG-2012-010 Sander van der Burg, Julius Davies, Eelco Dolstra, Daniel M. German, Armijn Hemel Discovering Software License Constraints: Identifying a Binary’s Sources by Tracing Build Processes  
TUD-SERG-2012-009 Maartje de Jonge, Eelco Visser Automated Evaluation of Syntax Error Recovery ASE 2012 (short paper)
TUD-SERG-2011-027 Maartje de Jonge, Eelco Visser An Algorithm for Layout Preservation in Refactoring Transformations SLE 2011
TUD-SERG-2011-026 Sander Vermolen, Guido Wachsmuth, Eelco Visser Reconstructing Complex Metamodel Evolution SLE 2011
TUD-SERG-2011-025 Zef Hemel, Eelco Visser Declaratively Programming the Mobile Web with Mobl SPLASH 2011
TUD-SERG-2011-023 Sebastian Erdweg, Lennart C. L. Kats, Tilman Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser Growing a Language Environment with Editor Libraries GPCE 2011
TUD-SERG-2011-012 Ricky T. Lindeman, Lennart C. L. Kats, Eelco Visser Declaratively Defining Domain-Specific Language Debuggers GPCE 2011
TUD-SERG-2011-011 Lennart C. L. Kats, Rob Vermaas, Eelco Visser Integrated Language Definition Testing: Enabling Test-Driven Language Development SPLASH/OOPSLA 2011
TUD-SERG-2011-001 Zef Hemel, Eelco Visser Declaratively Programming the Mobile Web with Mobl  
TUD-SERG-2010-041 Markus Herrmannsdoerfer, Sander D. Vermolen, Guido Wachsmuth An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models SLE 2010
TUD-SERG-2010-040 Lennart C. L. Kats, Karl T. Kalleberg, Eelco Visser Interactive Disambiguation of Meta Programs with Concrete Object Syntax SLE 2010
TUD-SERG-2010-034 Zef Hemel, Danny M. Groenewegen, Lennart C.L. Kats, Eelco Visser Static Consistency Checking of Web Applications with WebDSL Journal of Symbolic Computation
TUD-SERG-2010-033 Danny M. Groenewegen, Eelco Visser Integration of Data Validation and User Interface Concerns in a DSL for Web Applications Software and Systems Modeling - Model-Driven Web Engineering 2010
TUD-SERG-2010-029 Lennart C. L. Kats, Eelco Visser The Spoofax Language Workbench SPLASH 2010 (companion)
TUD-SERG-2010-020 Sander van der Burg, Eelco Dolstra Declarative Testing and Deployment of Distributed Systems  
TUD-SERG-2010-019 Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth Pure and Declarative Syntax Definition: Paradise Lost and Regained Onward! 2010
TUD-SERG-2010-018 Lennart C. L. Kats, Eelco Visser Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability SCAM 2010
TUD-SERG-2010-014 Lennart C. L. Kats, Eelco Visser The Spoofax Language Workbench. Rules for Declarative Specification of Languages and IDEs SPLASH/OOPSLA 2010
TUD-SERG-2010-010 Eelco Visser Performing Systematic Literature Reviews with Researchr: Tool Demonstration  
TUD-SERG-2009-026 Danny M. Groenewegen, Eelco Visser Integration of Data Validation and User Interface Concerns in a DSL for Web Applications SLE 2009
TUD-SERG-2009-025 Zef Hemel, Eelco Visser PIL: A Platform Independent Language for Retargetable DSLs SLE 2009
TUD-SERG-2009-024 Maartje de Jonge, Emma Nilsson-Nyman, Lennart C. L. Kats, Eelco Visser Natural and Flexible Error Recovery for Generated Parsers SLE 2009
TUD-SERG-2009-021 Danny M. Groenewegen, Eelco Visser Weaving Web Applications with WebDSL (Demonstration) OOPSLA 2009 (companion)
TUD-SERG-2009-020 Lennart C. L. Kats, Maartje de Jonge, Emma Nilsson-Nyman, Eelco Visser Providing Rapid Feedback in Generated Modular Language Environments. Adding Error Recovery to Scannerless Generalized-LR Parsing OOPSLA 2009
TUD-SERG-2009-004 Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser A Pure Object-Oriented Embedding of Attribute Grammars LDTA 2009
TUD-SERG-2009-003 Lennart C. L. Kats, Karl T. Kalleberg, Eelco Visser Domain-Specific Languages for Composable Editor Plugins LDTA 2009
TUD-SERG-2008-043 Martin Bravenboer, Eelco Visser Parse Table Composition. Separate Compilation and Binary Extensibility of Grammars SLE 2008
TUD-SERG-2008-042 Martin Bravenboer, Eelco Visser Designing Syntax Embeddings and Assimilations for Language Libraries ATEM 2007
TUD-SERG-2008-040 Danny M. Groenewegen, Zef Hemel, Lennart C. L. Kats, Eelco Visser WebDSL: A Domain-Specific Language for Dynamic Web Applications OOPSLA 2008 (companion)
TUD-SERG-2008-039 Danny M. Groenewegen, Zef Hemel, Lennart C. L. Kats, Eelco Visser When Frameworks Let You Down. Platform-Imposed Constraints on the Design and Evolution of Domain-Specific Languages DSM’08
TUD-SERG-2008-037 Gerardo de Geest, Sander Vermolen, Arie van Deursen, Eelco Visser Generating Version Convertors for Domain-Specific Languages WCRE’08
TUD-SERG-2008-030 Lennart C. L. Kats, Martin Bravenboer, Eelco Visser Mixing Source and Bytecode. A Case for Compilation by Normalization. OOPSLA 2008
TUD-SERG-2008-029 Zef Hemel, Ruben Verhaaf, Eelco Visser WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications MODELS 2008
TUD-SERG-2008-028 Sander Vermolen, Eelco Visser Heterogeneous Coupled Evolution of Software Languages MODELS 2008
TUD-SERG-2008-023 Eelco Visser WebDSL: A Case Study in Domain-Specific Language Engineering GTTSE’07
TUD-SERG-2008-021 Danny M. Groenewegen and Eelco Visser Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns ICWE’08
TUD-SERG-2008-012 Zef Hemel, Lennart C. L. Kats, and Eelco Visser Code Generation by Model Transformation ICMT’08
TUD-SERG-2008-011 M. Bravenboer, K. T. Kalleberg, R. Vermaas, and Eelco Visser Stratego/XT 0.17. A Language and Toolset for Program Transformation SCP
TUD-SERG-2008-006 Lennart C. L. Kats, Karl T. Kalleberg, Eelco Visser Generating Editors for Embedded Languages LDTA’08
TUD-SERG-2007-025 Karl Trygve Kalleberg, Eelco Visser Fusing a Transformation Language with an Open Compiler LDTA’07
TUD-SERG-2007-018 Karl T. Kalleberg, Eelco Visser Spoofax: An Extensible, Interactive Development Environment for Program Transformation with Stratego/XT LDTA’07
TUD-SERG-2007-017 Eelco Visser Domain-Specific Language Engineering (Mark I) GTTSE’07
TUD-SERG-2007-006 Arie van Deursen, Eelco Visser, Jos Warmer Model-Driven Software Evolution: A Research Agenda CSMR/MODSE
TUD-SERG-2007-004 Eric Bouwers, Martin Bravenboer, Eelco Visser Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking LDTA 2007
TUD-SERG-2007-003 Martin Bravenboer, Eelco Dolstra, Eelco Visser Preventing Injection Attacks with Syntax Embeddings – A Host and Guest Language Independent Approach GPCE 2007