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 |