Travelled to:1 × Austria
1 × Belgium
1 × Cyprus
1 × Denmark
1 × Poland
1 × Romania
1 × Switzerland
14 × USA
2 × Canada
2 × Estonia
2 × Hungary
2 × Italy
2 × Sweden
3 × France
3 × Germany
3 × Portugal
4 × United Kingdom
6 × The Netherlands
Collaborated with:L.C.L.Kats M.Bravenboer G.Wachsmuth ∅ K.T.Kalleberg M.d.Jonge Z.Hemel E.Dolstra S.Erdweg D.Harkes A.P.Tolmach S.Vermolen M.v.d.Brand V.A.Vergu D.M.Groenewegen A.M.Sloane K.Olmos P.Neron A.v.Deursen R.Vermaas Z.Benaissa M.d.Jonge Hendrik van Antwerpen C.B.Poulsen G.Konat J.J.Vinju L.E.d.S.Amorim M.J.Steindorfer M.Völter A.Tolmach E.Nilsson-Nyman B.Fischer S.P.Luttik J.Smits G.D.P.Konat J.Visser Arjen Rouvoet J.Scheerder T.Vollebregt R.T.Lindeman S.D.Vermolen R.Verhaaf E.Bouwers É.Tanter R.d.Groot J.Denkers L.v.Gool D.C.Harkes E.v.Chastelet Daniël A. A. Pelsmaeker R.G.Vogelij G.d.Geest O.S.Bagge M.Haveraaen L.E.d.S.Amorim Pierre Néron O.v.Rest J.R.H.Steel J.G.Süß R.Krebbers F.Durán M.Roldán E.Balland S.Eker P.Moreau T.Rendel C.Kästner K.Ostermann J.Heering H.A.d.Jong T.Kuipers P.Klint L.Moonen P.A.Olivier A.Passalaqua G.Konat R.Schevchenko J.Bach J.R.Cordy L.Engelen T.v.d.Storm M.Boersma R.Bosman W.R.Cook A.Gerritsen A.Hulshout S.Kelly A.Loh P.J.Molina M.Palatnik R.Pohjonen E.Schindler K.Schindler R.Solmi K.v.d.Vlist J.v.d.Woning
Talks about:languag (35) specif (16) program (12) syntax (11) rewrit (10) declar (10) domain (9) meta (9) base (9) transform (8)
♂ Person: Eelco Visser
DBLP: Visser:Eelco
Facilitated 28 volumes:
SCoSCoPrCoSCoEdPrChEd
PrCo
PrCo
Ed
PrCo
EdPrCoPrCoPrCo
SciCoPrCo
EdEdEdSciCoEdPrCoPrCo
EdEdEd
EdContributed to:
2015
20152014201420132013
2012201220122012201120112011
20112010
20102010
2010
200920102013200920092008200820082008
20082009200720102007200820062006200520052005
20042004
200320032002
20022002200220022001200120011999
199819981997199520162016201720182018
1995
20162017201820192016
2018Wrote 86 papers:
- ESOP-2015-NeronTVW #formal method
- A Theory of Name Resolution (PN, APT, EV, GW), pp. 205–231.
- RTA-2015-VerguNV #domain-specific language #named #semantics #specification
- DynSem: A DSL for Dynamic Semantics Specification (VAV, PN, EV), pp. 365–378.
- Onward-2014-VisserWTNVPK #design #implementation #verification
- A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs (EV, GW, APT, PN, VAV, AP, GK), pp. 95–111.
- SLE-2014-HarkesV #modelling #navigation
- Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation (DH, EV), pp. 241–260.
- ICMT-2013-RestWSSV #editing #realtime #robust #visual notation
- Robust Real-Time Synchronization between Textual and Graphical Editors (OvR, GW, JRHS, JGS, EV), pp. 92–107.
- SLE-2013-ErdwegSVBBCGHKLKMPPSSSVVVWW #challenge #language workbench #state of the art
- The State of the Art in Language Workbenches — Conclusions from the Language Workbench Challenge (SE, TvdS, MV, MB, RB, WRC, AG, AH, SK, AL, GDPK, PJM, MP, RP, ES, KS, RS, VAV, EV, KvdV, GW, JvdW), pp. 197–217.
- SLE-2013-WachsmuthKVGV #analysis #incremental #independence
- A Language Independent Task Engine for Incremental Name and Type Analysis (GW, GDPK, VAV, DMG, EV), pp. 260–280.
- ASE-2012-JongeV #automation #evaluation #fault #syntax
- Automated evaluation of syntax error recovery (MdJ, EV), pp. 322–325.
- LDTA-2012-JongeV #refactoring
- A language generic solution for name binding preservation in refactorings (MdJ, EV), p. 2.
- LDTA-2012-VollebregtKV #declarative #editing #specification
- Declarative specification of template-based textual editors (TV, LCLK, EV), p. 8.
- Onward-2012-KatsVKV #development #research #web
- Software development environments on the web: a research agenda (LCLK, RGV, KTK, EV), pp. 99–116.
- SLE-2012-KonatKWV #declarative
- Declarative Name Binding and Scope Rules (GDPK, LCLK, GW, EV), pp. 311–331.
- GPCE-2011-ErdwegKRKOV #editing #library
- Growing a language environment with editor libraries (SE, LCLK, TR, CK, KO, EV), pp. 167–176.
- GPCE-2011-LindemanKV #domain-specific language
- Declaratively defining domain-specific language debuggers (RTL, LCLK, EV), pp. 127–136.
- GPCE-2011-VermolenWV #database #evolution #generative #web
- Generating database migrations for evolving web applications (SDV, GW, EV), pp. 83–92.
- OOPSLA-2011-HemelV #mobile #programming #web
- Declaratively programming the mobile web with Mobl (ZH, EV), pp. 695–712.
- OOPSLA-2011-KatsVV #development #testing
- Integrated language definition testing: enabling test-driven language development (LCLK, RV, EV), pp. 139–154.
- SLE-2011-JongeV #algorithm #layout #refactoring
- An Algorithm for Layout Preservation in Refactoring Transformations (MdJ, EV), pp. 40–59.
- SLE-2011-VermolenWV #evolution #metamodelling
- Reconstructing Complex Metamodel Evolution (SV, GW, EV), pp. 201–221.
- SPLC-2011-VolterV #domain-specific language #product line #using
- Product Line Engineering Using Domain-Specific Languages (MV, EV), pp. 70–79.
- OOPSLA-2010-KatsV #declarative #ide #language workbench #specification #spoofax
- The spoofax language workbench: rules for declarative specification of languages and IDEs (LCLK, EV), pp. 444–463.
- OOPSLA-2010-KatsVW #declarative #syntax
- Pure and declarative syntax definition: paradise lost and regained (LCLK, EV, GW), pp. 918–932.
- SCAM-2010-KatsV #aspect-oriented #case study #encapsulation #framework #logic #platform #programming #using
- Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability (LCLK, EV), pp. 147–156.
- SLE-2010-KatsKV #ambiguity #interactive #metaprogramming #source code #syntax
- Interactive Disambiguation of Meta Programs with Concrete Object Syntax (LCLK, KTK, EV), pp. 327–336.
- WRLA-2010-DuranRBBBCEEJK #contest
- The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.
- CC-2009-KatsSV #attribute grammar #programming
- Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming (LCLK, AMS, EV), pp. 142–157.
- LDTA-2009-KatsKV10 #composition #domain-specific language #editing #plugin
- Domain-Specific Languages for Composable Editor Plugins (LCLK, KTK, EV), pp. 149–163.
- LDTA-2009-SloaneKV10 #attribute grammar #object-oriented
- A Pure Object-Oriented Embedding of Attribute Grammars (AMS, LCLK, EV), pp. 205–219.
- LDTA-J-2009-SloaneKV #attribute grammar
- A pure embedding of attribute grammars (AMS, LCLK, EV), pp. 1752–1769.
- OOPSLA-2009-KatsJNV #agile #composition #fault #feedback #parsing
- Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing (LCLK, MdJ, ENN, EV), pp. 445–464.
- SLE-2009-GroenewegenV #domain-specific language #integration #user interface #validation #web
- Integration of Data Validation and User Interface Concerns in a DSL for Web Applications (DMG, EV), pp. 164–173.
- SLE-2009-HemelV #domain-specific language #framework #independence #named #platform
- PIL: A Platform Independent Language for Retargetable DSLs (ZH, EV), pp. 224–243.
- SLE-2009-JongeNKV #fault #flexibility #parsing
- Natural and Flexible Error Recovery for Generated Parsers (MdJ, ENN, LCLK, EV), pp. 204–223.
- ICMT-2008-HemelKV #code generation #model transformation
- Code Generation by Model Transformation (ZH, LCLK, EV), pp. 183–198.
- MoDELS-2008-HemelVV #modelling #named #object-oriented #web #workflow
- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications (ZH, RV, EV), pp. 113–127.
- MoDELS-2008-VermolenV #co-evolution #evolution
- Heterogeneous Coupled Evolution of Software Languages (SV, EV), pp. 630–644.
- OOPSLA-2008-KatsBV #bytecode #compilation #normalisation
- Mixing source and bytecode: a case for compilation by normalization (LCLK, MB, EV), pp. 91–108.
- SLE-2008-BravenboerV #composition
- Parse Table Composition (MB, EV), pp. 74–94.
- WCRE-2008-GeestVDV #domain-specific language #generative
- Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.
- WRLA-2008-DuranRBBEKKMSV09 #contest
- The Second Rewrite Engines Competition (FD, MR, EB, MvdB, SE, KTK, LCLK, PEM, RS, EV), pp. 281–291.
- GPCE-2007-BravenboerDV #injection #syntax
- Preventing injection attacks with syntax embeddings (MB, ED, EV), pp. 3–12.
- GPCE-J-2007-BravenboerDV10 #injection #syntax
- Preventing injection attacks with syntax embeddings (MB, ED, EV), pp. 473–495.
- GTTSE-2007-Visser #case study #domain-specific language #named
- WebDSL: A Case Study in Domain-Specific Language Engineering (EV), pp. 291–373.
- LDTA-2007-BouwersBV08 #grammarware #precedence
- Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking (EB, MB, EV), pp. 85–101.
- LDTA-2007-KallebergV08 #compilation #model transformation #transformation language
- Fusing a Transformation Language with an Open Compiler (KTK, EV), pp. 21–36.
- OOPSLA-2006-BravenboerTV #aspectj #declarative #syntax
- Declarative, formal, and extensible syntax definition for aspectJ (MB, ÉT, EV), pp. 209–228.
- PEPM-2006-BravenboerKVV #component #stratego
- Stratego/XT 0.16: components for transformation systems (MB, KTK, RV, EV), pp. 95–99.
- CC-2005-OlmosV #data flow #text-to-text
- Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules (KO, EV), pp. 204–220.
- GPCE-2005-BravenboerVVV #ambiguity #metaprogramming #source code #syntax #type system
- Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax (MB, RV, JJV, EV), pp. 157–172.
- GTTSE-2005-BravenboerGV #domain-specific language #stratego #using
- MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT (MB, RdG, EV), pp. 297–311.
- ICSE-2004-DolstraVJ #deployment #memory management
- Imposing a Memory Management Discipline on Software Deployment (ED, EV, MdJ), pp. 583–592.
- OOPSLA-2004-BravenboerV #domain-specific language #strict #syntax
- Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions (MB, EV), pp. 365–383.
- LOPSTR-2003-FischerV #prolog #syntax #synthesis
- Adding Concrete Syntax to a Prolog-Based Program Synthesis System (BF, EV), pp. 56–58.
- SCAM-2003-BaggeKHV #c++ #design #optimisation #source code
- Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs (OSB, KTK, MH, EV), p. 65–?.
- SCAM-2003-OlmosV #compilation #dynamic typing #static typing #type system
- Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave (KO, EV), pp. 141–150.
- CC-2002-BrandSVV #ambiguity #glr #parsing
- Disambiguation Filters for Scannerless Generalized LR Parsers (MvdB, JS, JJV, EV), pp. 143–158.
- CSMR-2002-DeursenV #re-engineering #wiki
- The Reengineering Wiki (AvD, EV), pp. 217–220.
- GPCE-2002-Visser #metaprogramming #syntax
- Meta-programming with Concrete Object Syntax (EV), pp. 299–315.
- LDTA-2002-DolstraV
- Building Interpreters with Rewriting Strategies (ED, EV), pp. 57–76.
- RTA-2002-BravenboerV
- Rewriting Strategies for Instruction Selection (MB, EV), pp. 237–251.
- CC-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development #ide
- The ASF+SDF Meta-environment: A Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 365–370.
- LDTA-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development #ide
- The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 3–8.
- LDTA-2001-JongeVV #named #program transformation #tool support
- XT: a bundle of program transformation tools (MdJ, EV, JV), pp. 79–86.
- RTA-2001-Visser #named #program transformation #stratego
- Stratego: A Language for Program Transformation Based on Rewriting Strategies (EV), pp. 357–362.
- RTA-1999-Visser #pattern matching
- Strategic Pattern Matching (EV), pp. 30–44.
- ICFP-1998-VisserBT
- Building Program Optimizers with Rewriting Strategies (EV, ZEAB, APT), pp. 13–26.
- WRLA-1998-VisserB
- A core language for rewriting (EV, ZEAB), pp. 422–441.
- ASF+SDF-1997-LuttikV #specification
- Specification of rewriting strategies (SPL, EV), p. 9.
- ASF+SDF-1995-Visser #product line #syntax
- A Family of Syntax Definition Formalisms (EV), pp. 89–126.
- GPCE-2016-KonatEV #metalanguage
- Bootstrapping domain-specific meta-languages in language workbenches (GK, SE, EV), pp. 47–58.
- SLE-2016-AmorimEWV #code completion #using
- Principled syntactic code completion using placeholders (LEdSA, SE, GW, EV), pp. 163–175.
- SLE-2017-AmorimSV #case study
- Deep priority conflicts in the wild: a pilot study (LEdSA, MJS, EV), pp. 55–66.
- SLE-2017-SmitsV #analysis #data flow #declarative #named #specification
- FlowSpec: declarative dataflow analysis specification (JS, EV), pp. 221–231.
- ASE-2018-KonatEV #dependence #incremental #scalability
- Scalable incremental building with dynamic task dependencies (GK, SE, EV), pp. 76–86.
- SLE-2018-AmorimSEV #declarative #parsing #pretty-printing #specification
- Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages (LEdSA, MJS, SE, EV), pp. 3–15.
- SLE-2018-DenkersGV #domain-specific language #implementation #language workbench #migration
- Migrating custom DSL implementations to a language workbench (JD, LvG, EV), pp. 205–209.
- SLE-2018-HarkesCV #case study #domain-specific language #incremental #logic #migration
- Migrating business logic to an incremental computing DSL: a case study (DCH, EvC, EV), pp. 83–96.
- TAPSOFT-1995-BrandV #asf+sdf #documentation #exclamation #for free #ide #tool support
- The Asf+Sdf Meta-Environment Documentation Tools for Free! (MvdB, EV), pp. 803–804.
- ECOOP-2016-HarkesGV #graph #incremental #named #persistent
- IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs (DH, DMG, EV), p. 26.
- ECOOP-2016-PoulsenNTV #layout #memory management #semantics
- Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (CBP, PN, APT, EV), p. 26.
- ECOOP-2017-HarkesV #bidirectional #composition
- IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (DH, EV), p. 29.
- OOPSLA-2018-AntwerpenPRV
- Scopes as types (HvA, CBP, AR, EV), p. 30.
- ECOOP-2019-PelsmaekerAV #declarative #editing #idea #parametricity #semantics #specification #towards #type system
- Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) (DAAP, HvA, EV), p. 18.
- ECOOP-2019-VerguTV
- Scopes and Frames Improve Meta-Interpreter Specialization (VAV, AT, EV), p. 30.
- PEPM-2016-AntwerpenNTVW #analysis #constraints #graph #semantics
- A constraint language for static semantic analysis based on scope graphs (HvA, PN, APT, EV, GW), pp. 49–60.
- POPL-2018-PoulsenRTKV #imperative
- Intrinsically-typed definitional interpreters for imperative languages (CBP, AR, AT, RK, EV), p. 34.