Eelco Visser
Orcid: 0000-0002-7384-3370Affiliations:
- Delft University of Technology, Netherlands
According to our database1,
Eelco Visser
authored at least 154 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on tudelft.nl
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on github.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Taming complexity of industrial printing systems using a constraint-based DSL: An industrial experience report.
Softw. Pract. Exp., October, 2023
2022
Incremental type-checking for free: using scope graphs to derive incremental type-checkers.
Proc. ACM Program. Lang., 2022
Proc. ACM Program. Lang., 2022
2021
CoRR, 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021
2020
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis.
J. Comput. Lang., 2020
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System.
Art Sci. Eng. Program., 2020
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.
Proc. ACM Program. Lang., 2020
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming language.
Proceedings of the Programming'20: 4th International Conference on the Art, 2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
2019
Towards language-parametric semantic editor services based on declarative type system specifications.
Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2019
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
2018
Art Sci. Eng. Program., 2018
Art Sci. Eng. Program., 2018
Proc. ACM Program. Lang., 2018
PixieDust: Declarative Incremental User Interface Rendering Through Static Dependency Tracking.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018
Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages.
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018
Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM.
Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
2017
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact).
Dagstuhl Artifacts Ser., 2017
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23, 2017
2016
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).
Dagstuhl Artifacts Ser., 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016
A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience report.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016
IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016
2015
Evaluating and comparing language workbenches: Existing results and benchmarks for the future.
Comput. Lang. Syst. Struct., 2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
Conf.Researchr.Org: towards a domain-specific content management system for managing large conference websites.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015
Proceedings of the Programming Languages and Systems, 2015
2014
Proceedings of the Software Language Engineering - 7th International Conference, 2014
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs.
Proceedings of the Onward! 2014, 2014
Proceedings of the 13th International Conference on Modularity, 2014
Modular specification and dynamic enforcement of syntactic language constraints when generating code.
Proceedings of the 13th International Conference on Modularity, 2014
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
Proceedings of the 13th International Conference on Modularity, 2014
2013
Integration of data validation and user interface concerns in a DSL for web applications.
Softw. Syst. Model., 2013
Proceedings of the Software Language Engineering - 6th International Conference, 2013
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge.
Proceedings of the Software Language Engineering - 6th International Conference, 2013
Proceedings of the Theory and Practice of Model Transformations, 2013
dslbook.org, ISBN: 978-1-4812-1858-0, 2013
2012
ACM Trans. Program. Lang. Syst., 2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012
Proceedings of the International Workshop on Language Descriptions, 2012
Proceedings of the International Workshop on Language Descriptions, 2012
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012
2011
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007).
Sci. Comput. Program., 2011
Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005).
Sci. Comput. Program., 2011
Proceedings of the Software Product Lines - 15th International Conference, 2011
Proceedings of the Software Language Engineering - 4th International Conference, 2011
Proceedings of the Software Language Engineering - 4th International Conference, 2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the Generative Programming And Component Engineering, 2011
Proceedings of the Generative Programming And Component Engineering, 2011
Proceedings of the Generative Programming And Component Engineering, 2011
2010
Softw. Syst. Model., 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
Proceedings of the Software Language Engineering - Third International Conference, 2010
Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability.
Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 2010
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
The spoofax language workbench: rules for declarative specification of languages and IDEs.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
2009
Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009
Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Compiler Construction, 18th International Conference, 2009
2008
Sci. Comput. Program., 2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Proceedings of the WCRE 2008, 2008
Proceedings of the Software Language Engineering, First International Conference, 2008
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns.
Proceedings of the Eighth International Conference on Web Engineering, 2008
Proceedings of the Theory and Practice of Model Transformations, 2008
2007
Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications, 2007
Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications, 2007
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007
2006
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
2005
J. Symb. Comput., 2005
Proceedings of the 6th International Workshop on Rule-Based Programming, 2005
Proceedings of the 12th International Workshop on Software Configuration Management, 2005
MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005
Proceedings of the Generative Programming and Component Engineering, 2005
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules.
Proceedings of the Compiler Construction, 14th International Conference, 2005
2004
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions.
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004
Proceedings of the 18th Conference on Systems Administration (LISA 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
2003
Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.
Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs.
Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract).
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003
2002
Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002
Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002
Proceedings of the Generative Programming and Component Engineering, 2002
Proceedings of the 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 2002
Proceedings of the Compiler Construction, 11th International Conference, 2002
2001
Proceedings of the Second International Workshop on Rule-Based Programming, 2001
Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001
Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001
2000
Warm fusion in Stratego: A case study in generation of program transformation systems.
Ann. Math. Artif. Intell., 2000
1999
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999
1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998
1997
Proceedings of the International Workshop on Parsing Technologies, 1997
Syntax definition for language prototyping.
Ponsen & Looijen, ISBN: 978-90-74795-75-3, 1997
1996
ACM Trans. Softw. Eng. Methodol., 1996
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995