Eelco Visser

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 47

Top Venues

SLE

Proc. ACM Program. Lang.

ECOOP

CoRR

Publications

Jasper Denkers, Marvin Brunner, Louis van Gool, Jurgen J. Vinju, Andy Zaidman, Eelco Visser
Taming complexity of industrial printing systems using a constraint-based DSL: An industrial experience report. Softw. Pract. Exp. 53 (10) (2023)
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
Language-parametric static semantic code completion. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses
Intrinsically-typed definitional interpreters à la carte. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Aron Zwaan, Hendrik van Antwerpen, Eelco Visser
Incremental type-checking for free: using scope graphs to derive incremental type-checkers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Arjen Rouvoet, Robbert Krebbers, Eelco Visser
Intrinsically typed compilation with nameless labels. Proc. ACM Program. Lang. 5 (POPL) (2021)
Wouter Zorgdrager, Kyriakos Psarakis, Marios Fragkoulis, Eelco Visser, Asterios Katsifodimos
Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows. CoRR (2021)
Hendrik van Antwerpen, Eelco Visser
Scope States (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Jasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser
Configuration Space Exploration for Digital Printing Systems. CoRR (2021)
Jasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser
Configuration Space Exploration for Digital Printing Systems. SEFM (2021)
Hendrik van Antwerpen, Eelco Visser
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. ECOOP (2021)
Jeff Smits, Gabriël D. P. Konat, Eelco Visser
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. Art Sci. Eng. Program. 4 (3) (2020)
Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
Intrinsically-typed definitional interpreters for linear, session-typed languages. CPP (2020)
Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Jeff Smits, Guido Wachsmuth, Eelco Visser
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis. J. Comput. Lang. 57 (2020)
Luís Eduardo de Souza Amorim, Eelco Visser
Multi-purpose Syntax Definition with SDF3. SEFM (2020)
Jeff Smits, Gabriël D. P. Konat, Eelco Visser
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. CoRR (2020)
Jeff Smits, Eelco Visser
Gradually typing strategies. SLE (2020)
Danny M. Groenewegen, Elmer van Chastelet, Eelco Visser
Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming language. Programming (2020)
Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
From definitional interpreter to symbolic executor. META@SPLASH (2019)
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper). ECOOP (2019)
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser
Towards language-parametric semantic editor services based on declarative type system specifications. SPLASH (Companion Volume) (2019)
Vlad A. Vergu, Andrew Tolmach, Eelco Visser
Scopes and Frames Improve Meta-Interpreter Specialization. ECOOP (2019)
Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
PIE: A Domain-Specific Language for Interactive Software Development Pipelines. CoRR (2018)
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser
Towards Zero-Overhead Disambiguation of Deep Priority Conflicts. CoRR (2018)
Nick ten Veen, Daco C. Harkes, Eelco Visser
PixieDust: Declarative Incremental User Interface Rendering Through Static Dependency Tracking. WWW (Companion Volume) (2018)
Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser
Intrinsically-typed definitional interpreters for imperative languages. Proc. ACM Program. Lang. 2 (POPL) (2018)
Gabriël Konat, Sebastian Erdweg, Eelco Visser
Scalable incremental building with dynamic task dependencies. ASE (2018)
Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
PIE: A Domain-Specific Language for Interactive Software Development Pipelines. Art Sci. Eng. Program. 2 (3) (2018)
Vlad A. Vergu, Eelco Visser
Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM. ManLang (2018)
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser
Scopes as types. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages. SLE (2018)
Daco C. Harkes, Elmer van Chastelet, Eelco Visser
Migrating business logic to an incremental computing DSL: a case study. SLE (2018)
Jasper Denkers, Louis van Gool, Eelco Visser
Migrating custom DSL implementations to a language workbench (tool demo). SLE (2018)
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser
Towards Zero-Overhead Disambiguation of Deep Priority Conflicts. Art Sci. Eng. Program. 2 (3) (2018)
Daco Harkes, Eelco Visser
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition. ECOOP (2017)
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser
Deep priority conflicts in the wild: a pilot study. SLE (2017)
Vlad A. Vergu, Michiel Haisma, Eelco Visser
The semantics of name resolution in grace. DLS (2017)
Jeff Smits, Eelco Visser
FlowSpec: declarative dataflow analysis specification. SLE (2017)
Daco Harkes, Eelco Visser
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
A constraint language for static semantic analysis based on scope graphs. PEPM (2016)
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser
Principled syntactic code completion using placeholders. SLE (2016)
Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser
Software that Meets Its Intent. ISoLA (2) (2016)
Gabriël Konat, Sebastian Erdweg, Eelco Visser
Bootstrapping domain-specific meta-languages in language workbenches. GPCE (2016)
Tim van der Lippe, Thomas Smith, Daniël A. A. Pelsmaeker, Eelco Visser
A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience report. SCALA@SPLASH (2016)
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. ECOOP (2016)
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Daco Harkes, Danny M. Groenewegen, Eelco Visser
IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs. ECOOP (2016)
Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning
Evaluating and comparing language workbenches: Existing results and benchmarks for the future. Comput. Lang. Syst. Struct. 44 (2015)
Eelco Visser
Understanding software through linguistic abstraction. Sci. Comput. Program. 97 (2015)
Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser
Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports 5 (2) (2015)
Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
A Theory of Name Resolution. ESOP (2015)
Vlad A. Vergu, Pierre Neron, Eelco Visser
DynSem: A DSL for Dynamic Semantics Specification. RTA (2015)
Elmer van Chastelet, Eelco Visser, Craig Anslow
Conf.Researchr.Org: towards a domain-specific content management system for managing large conference websites. SPLASH (Companion Volume) (2015)
Guido Wachsmuth, Gabriël D. P. Konat, Eelco Visser
Language Design with the Spoofax Language Workbench. IEEE Softw. 31 (5) (2014)
Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. Onward! (2014)
Eelco Visser
Separation of concerns in language definition. MODULARITY (Companion) (2014)
Daco Harkes, Eelco Visser
Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation. SLE (2014)
Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser
Modular specification and dynamic enforcement of syntactic language constraints when generating code. MODULARITY (2014)
Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser
Finding bugs in program generators by dynamic analysis of syntactic language constraints. MODULARITY (Companion) (2014)
Oskar van Rest, Guido Wachsmuth, Jim R. H. Steel, Jörn Guy Süß, Eelco Visser
Robust Real-Time Synchronization between Textual and Graphical Editors. ICMT (2013)
Guido Wachsmuth, Gabriël D. P. Konat, Vlad A. Vergu, Danny M. Groenewegen, Eelco Visser
A Language Independent Task Engine for Incremental Name and Type Analysis. SLE (2013)
Danny M. Groenewegen, Eelco Visser
Integration of data validation and user interface concerns in a DSL for web applications. Softw. Syst. Model. 12 (1) (2013)
Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser
A pure embedding of attribute grammars. Sci. Comput. Program. 78 (10) (2013)
Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning
The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge. SLE (2013)
Gabriël D. P. Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser
The spoofax name binding language. SPLASH (2012)
Maartje de Jonge, Eelco Visser
Automated evaluation of syntax error recovery. ASE (2012)
Lennart C. L. Kats, Richard G. Vogelij, Karl Trygve Kalleberg, Eelco Visser
Software development environments on the web: a research agenda. Onward! (2012)
Jordi Cabot, Eelco Visser
ICMT 2011 Special Section. J. Object Technol. 11 (2) (2012)
Maartje de Jonge, Lennart C. L. Kats, Eelco Visser, Emma Söderberg
Natural and Flexible Error Recovery for Generated Modular Language Environments. ACM Trans. Program. Lang. Syst. 34 (4) (2012)
Maartje de Jonge, Eelco Visser
A language generic solution for name binding preservation in refactorings. LDTA (2012)
Tobi Vollebregt, Lennart C. L. Kats, Eelco Visser
Declarative specification of template-based textual editors. LDTA (2012)
Gabriël D. P. Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser
Declarative Name Binding and Scope Rules. SLE (2012)
Zef Hemel, Eelco Visser
Mobl: the new language of the mobile web. OOPSLA Companion (2011)
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
Growing a language environment with editor libraries. GPCE (2011)
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
Library-based model-driven software development with SugarJ. OOPSLA Companion (2011)
G. Ramalingam, Eelco Visser
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007). Sci. Comput. Program. 76 (6) (2011)
Sander Vermolen, Guido Wachsmuth, Eelco Visser
Reconstructing Complex Metamodel Evolution. SLE (2011)
Lennart C. L. Kats, Rob Vermaas, Eelco Visser
Testing domain-specific languages. OOPSLA Companion (2011)
Sander Daniël Vermolen, Guido Wachsmuth, Eelco Visser
Generating database migrations for evolving web applications. GPCE (2011)
Zef Hemel, Eelco Visser
Declaratively programming the mobile web with Mobl. OOPSLA (2011)
Maartje de Jonge, Eelco Visser
An Algorithm for Layout Preservation in Refactoring Transformations. SLE (2011)
Markus Völter, Eelco Visser
Product Line Engineering Using Domain-Specific Languages. SPLC (2011)
Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
SugarJ: library-based language extensibility. OOPSLA Companion (2011)
Robert Glück, Eelco Visser
Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005). Sci. Comput. Program. 76 (5) (2011)
Lennart C. L. Kats, Rob Vermaas, Eelco Visser
Integrated language definition testing: enabling test-driven language development. OOPSLA (2011)
Ricky T. Lindeman, Lennart C. L. Kats, Eelco Visser
Declaratively defining domain-specific language debuggers. GPCE (2011)
Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser
Static consistency checking of web applications with WebDSL. J. Symb. Comput. 46 (2) (2011)
Danny M. Groenewegen, Zef Hemel, Eelco Visser
Separation of Concerns and Linguistic Integration in WebDSL. IEEE Softw. 27 (5) (2010)
Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser
Interactive Disambiguation of Meta Programs with Concrete Object Syntax. SLE (2010)
Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth
Pure and declarative syntax definition: paradise lost and regained. OOPSLA (2010)
Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser
Domain-Specific Languages for Composable Editor Plugins. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser
A Pure Object-Oriented Embedding of Attribute Grammars. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
Markus Völter, Eelco Visser
Language extension and composition with language workbenches. SPLASH/OOPSLA Companion (2010)
Martin Bravenboer, Eelco Dolstra, Eelco Visser
Preventing injection attacks with syntax embeddings. Sci. Comput. Program. 75 (7) (2010)
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)
Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser
The Third Rewrite Engines Competition. WRLA (2010)
Zef Hemel, Lennart C. L. Kats, Danny M. Groenewegen, Eelco Visser
Code generation by model transformation: a case study in transformation modularity. Softw. Syst. Model. 9 (3) (2010)
Lennart C. L. Kats, Eelco Visser
The spoofax language workbench: rules for declarative specification of languages and IDEs. OOPSLA (2010)
Lennart C. L. Kats, Eelco Visser
The Spoofax language workbench. SPLASH/OOPSLA Companion (2010)
Danny M. Groenewegen, Eelco Visser
Integration of Data Validation and User Interface Concerns in a DSL for Web Applications. SLE (2009)

Eelco Visser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Eelco Visser