TU Delft Programming Languages (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

Dependently Typed Languages in StatixJonathan Brouwer, Jesper Cockx, Aron Zwaan. BIRTHDAY 2023: [doi] [classification] 9 months ago

Extracting the power of dependent typesArtjoms Sinkarovs, Jesper Cockx. GPCE 2021: 83-95 [doi] [classification] 1 years ago

Static type checking without downcast operatorArjan J. Mooij. ipl, 178:106285, 2022. [doi] [classification] 1 years ago

Parameterized Verification under Release Acquire is PSPACE-completeShankara Narayanan Krishna, Adwait Godbole, Roland Meyer 0001, Soham Chakraborty. podc 2022: 482-492 [doi] [classification] 1 years ago

Lasagne: a static binary translator for weak memory model architecturesRodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia. PLDI 2022: 888-902 [doi] [classification] 1 years ago

Semantics for two-dimensional type theoryBenedikt Ahrens, Paige Randall North, Niels van der Weide. lics 2022: [doi] [classification] 1 years ago

Implementing a category-theoretic framework for typed abstract syntaxBenedikt Ahrens, Ralph Matthes, Anders Mörtberg. CPP 2022: 307-323 [doi] [classification] 1 years ago

Bicategories in univalent foundationsBenedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide. mscs, 31(10):1232-1269, 2021. [doi] [classification] 1 years ago

A completely unique account of enumerationCas van der Rest, Wouter Swierstra. PACMPL, 6(ICFP):411-437, 2022. [doi] [classification] 1 years ago

Intrinsically-typed definitional interpreters à la carteCas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses. PACMPL, 6(OOPSLA2):1903-1932, 2022. [doi] [classification] 1 years ago

Specializing Scope Graph Resolution QueriesAron Zwaan. SLE 2022: 121-133 [doi] [classification] 1 years ago

Incremental type-checking for free: using scope graphs to derive incremental type-checkersAron Zwaan, Hendrik van Antwerpen, Eelco Visser. PACMPL, 6(OOPSLA2):424-448, 2022. [doi] [classification] 1 years ago

Reasonable Agda is correct Haskell: writing verified Haskell using agda2hsJesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell. haskell 2022: 108-122 [doi] [classification] 1 years ago

Practical generic programming over a universe of native datatypesLucas Escot, Jesper Cockx. PACMPL, 6(ICFP):625-649, 2022. [doi] [classification] 1 years ago

Optimising First-Class Pattern MatchingJeff Smits, Toine Hartman, Jesper Cockx. SLE 2022: 74-83 [doi] [classification] 1 years ago

Language-parametric static semantic code completionDaniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser. PACMPL, 6(OOPSLA):1-30, 2022. [doi] [classification] 1 years ago

Configuration Space Exploration for Digital Printing SystemsJasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser. SEFM 2021: 423-442 [doi] [classification] 2 years ago

Type Theory Unchained: Extending Agda with User-Defined Rewrite RulesJesper Cockx. TYPES 2020: [doi] [classification] 2 years ago

The taming of the rew: a type theory with computational assumptionsJesper Cockx, Nicolas Tabareau, Théo Winterhalter. PACMPL, 5(POPL):1-29, 2021. [doi] [classification] 2 years ago

Leibniz equality is isomorphic to Martin-Löf identity, parametricallyAndreas Abel 0001, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler. JFP, 30, 2020. [doi] [classification] 2 years ago

Knowing When to Ask: ArtifactArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. 1.0, oct 2020. [doi] [classification] 2 years ago

Scope States: Guarding Safety of Name Resolution in Parallel Type CheckersHendrik van Antwerpen, Eelco Visser. ECOOP 2021: [doi] [classification] 2 years ago

Scope States (Artifact)Hendrik van Antwerpen, Eelco Visser. darts, 7(2), 2021. [doi] [classification] 2 years ago

Declarative Specification of Information System Data Models and Business LogicDaco Harkes. PhD thesis, Delft University of Technology, Netherlands, 2019. [doi] [classification] 3 years ago

Gradually typing strategiesJeff Smits, Eelco Visser. SLE 2020: 1-15 [doi] [classification] 3 years ago

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specificationsArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. PACMPL, 4(OOPSLA), 2020. [doi] [classification] 3 years ago

Intrinsically typed compilation with nameless labelsArjen Rouvoet, Robbert Krebbers, Eelco Visser. PACMPL, 5(POPL):1-28, 2021. [doi] [classification] 3 years ago

Gradually Typing Strategies - ArtifactJeff Smits, Eelco Visser. Zenodo, September 2020. [doi] [classification] 3 years ago

Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. Zenodo, Oct 2020. [doi] [classification] 3 years ago

Multi-purpose Syntax Definition with SDF3Luis Eduardo de Souza Amorim, Eelco Visser. SEFM 2020: 1-23 [doi] [classification] 3 years ago

Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming languageDanny M. Groenewegen, Elmer van Chastelet, Eelco Visser. Programming 2020: 77-83 [doi] [classification] 3 years ago

Safety and Completeness of Disambiguation corresponds to Termination and Confluence of ReorderingLuís Eduardo Amorim de Souza, Eelco Visser. June 2020. [classification] 3 years ago

Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program TransformationPaolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster. ESOP 2019: 553-580 [doi] [classification] 4 years ago

Towards improved GADT reasoning in ScalaLionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso. SCALA 2019: 12-16 [doi] [classification] 4 years ago

Optimizing and Incrementalizing Higher-order Collection Queries by AST TransformationPaolo G. Giarrusso. PhD thesis, University of Tübingen, Germany, 2020. [doi] [classification] 4 years ago

FlowSpec: A Declarative Specification Language for Intra-Procedural Flow-Sensitive Data-Flow AnalysisJeff Smits, Guido Wachsmuth, Eelco Visser. JCL (JVLC), 57:100924, 2020. [doi] [classification] 4 years ago

From definitional interpreter to symbolic executorAdrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser. OOPSLA 2019: 11-20 [doi] [classification] 4 years ago

Elaborating dependent (co)pattern matching: No pattern left behindJesper Cockx, Andreas Abel. JFP, 30, 2020. [doi] [classification] 4 years ago

Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build SystemJeff Smits, Gabriël Konat, Eelco Visser. Programming, 4(3):16, 2020. [doi] [classification] 4 years ago

Definitional proof-irrelevance without KGaëtan Gilbert, Jesper Cockx, Matthieu Sozeau, Nicolas Tabareau. PACMPL, 3, 2019. [doi] [classification] 4 years ago

Sound and reusable components for abstract interpretationSven Keidel, Sebastian Erdweg. PACMPL, 3(OOPSLA), 2019. [doi] [classification] 4 years ago

Generating incremental type servicesAndré Pacak, Sebastian Erdweg. SLE 2019: 197-201 [doi] [classification] 4 years ago

Actris: session-type based reasoning in separation logicJonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers. PACMPL, 4(POPL), 2020. [doi] [classification] 4 years ago

Language-integrated privacy-aware distributed queriesGuido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini. PACMPL, 3(OOPSLA), 2019. [doi] [classification] 4 years ago

Software meta-language engineering and CBSPeter D. Mosses. JCL (JVLC), 50:39-48, 2019. [doi] [classification] 4 years ago

Intrinsically-typed definitional interpreters for linear, session-typed languagesArjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. CPP 2020: 284-298 [doi] [classification] 4 years ago

A longitudinal field study on creation and use of domain-specific languages in industryJasper Denkers. FSE 2019: 1152-1155 [doi] [classification] 4 years ago

Grace in Spoofax: Readable Specification and Implementation in OneMichiel Haisma, Vlad Vergu, Eelco Visser. Presented at GRACE 2016, 2016. [classification] 4 years ago

Fast and Safe Linguistic Abstraction for the MassesEelco Visser. In A Research Agenda for Formal Methods in the Netherlands. pages 10-11, July 2019. [doi] [classification] 4 years ago

A Research Agenda for Formal Methods in the NetherlandsMarieke Huisman, Wouter Swierstra, Eelco Visser. Technical Report UU-CS-2019-004, 2019. [doi] [classification] 4 years ago

Stratego/XT Reference ManualMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. 2008. [doi] [classification] 4 years ago

Toward a Language-Parametric Code Completion Editor ServiceDaniel A. A. Pelsmaeker, Eelco Visser. Poster at SPLASH, 2018. [classification] 4 years ago

Integration of Data Validation and User Interface Concerns in a DSL for Web ApplicationsDanny M. Groenewegen, Eelco Visser. SLE 2009: 164-173 [doi] [classification] 4 years ago

Editorial MessageEelco Visser. PACMPL, 3(OOPSLA), 2019. [classification] 4 years ago

Precise, Efficient, and Expressive Incremental Build Scripts with PIEGabriël Konat, Roelof Sol, Sebastian Erdweg, Eelco Visser. In Second Workshop on Incremental Computing (IC 2019). 2019: [classification] 4 years ago

IceDust Calculation Strategy Composition Performance in Web ApplicationsDaco Harkes, Eelco Visser. 2017. [classification] 4 years ago

Towards Incremental Compilation for StrategoJeff Smits, Eelco Visser. Poster at SPLASH, 10 2018. [classification] 4 years ago

From Whole Program Compilation to Incremental Compilation: A Critical CaseJeff Smits, Gabriël Konat, Eelco Visser. In Second Workshop on Incremental Computing (IC 2019). 2019: [classification] 4 years ago

A Modular SGLR Parsing Architecture for Systematic Performance OptimizationJasper Denkers. Master's thesis, Delft University of Technology, 2018. [doi] [classification] 4 years ago

Towards language-parametric semantic editor services based on declarative type system specificationsDaniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser. OOPSLA 2019: 19-20 [doi] [classification] 4 years ago

CoFI with Don SannellaPeter D. Mosses. TCS, 741:44-47, 2018. [doi] [classification] 4 years ago

Engineering meta-languages for specifying software languages (keynote)Peter D. Mosses. SLE 2017: 1 [doi] [classification] 4 years ago

Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser. ECOOP 2019: [doi] [classification] 4 years ago

Executable component-based semanticsL. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe. jlp, 103:184-212, 2019. [doi] [classification] 4 years ago

Scopes and Frames Improve Meta-Interpreter SpecializationVlad A. Vergu, Andrew P. Tolmach, Eelco Visser. ECOOP 2019: [doi] [classification] 4 years ago

Flag-based big-step semanticsCasper Bach Poulsen, Peter D. Mosses. jlp, 88:174-190, 2017. [doi] [classification] 4 years ago

Tool support for component-based semanticsL. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses. AOSD 2016: 8-11 [doi] [classification] 4 years ago

Imperative Polymorphism by Store-Based Types as Abstract InterpretationsCasper Bach Poulsen, Peter D. Mosses, Paolo Torrini. PEPM 2015: 3-8 [doi] [classification] 4 years ago

Declarative specification of template-based textual editorsTobi Vollebregt, Lennart C. L. Kats, Eelco Visser. LDTA 2012: 1-7 [doi] [classification] 4 years ago

Static consistency checking of web applications with WebDSLZef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. JSC, 46(2):150-182, 2011. [doi] [classification] 4 years ago

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XTMartin Bravenboer, René de Groot, Eelco Visser. GTTSE 2006: 297-311 [doi] [classification] 4 years ago

Program Transformation with Scoped Dynamic Rewrite RulesMartin Bravenboer, Arthur van Dam, Karina Olmos, Eelco Visser. FUIN, 69(1-2):123-178, 2006. [doi] [classification] 4 years ago

Declaratively defining domain-specific language debuggersRicky T. Lindeman, Lennart C. L. Kats, Eelco Visser. GPCE 2011: 127-136 [doi] [classification] 4 years ago

Code Generation by Model TransformationZef Hemel, Lennart C. L. Kats, Eelco Visser. ICMT 2008: 183-198 [doi] [classification] 4 years ago

Library-based model-driven software development with SugarJSebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser. OOPSLA 2011: 17-18 [doi] [classification] 4 years ago

Migrating custom DSL implementations to a language workbench (tool demo)Jasper Denkers, Louis van Gool, Eelco Visser. SLE 2018: 205-209 [doi] [classification] 4 years ago

Language extension and composition with language workbenchesMarkus Völter, Eelco Visser. OOPSLA 2010: 301-304 [doi] [classification] 4 years ago

The semantics of name resolution in graceVlad A. Vergu, Michiel Haisma, Eelco Visser. DLS 2017: 63-74 [doi] [classification] 4 years ago

Heterogeneous Coupled Evolution of Software LanguagesSander Vermolen, Eelco Visser. MoDELS 2008: 630-644 [doi] [classification] 4 years ago

Performing Systematic Literature Reviews with Researchr: Tool DemonstrationEelco Visser. Technical Report TUD-SERG-2010-010, 2010. [doi] [classification] 4 years ago

WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web ApplicationsZef Hemel, Ruben Verhaaf, Eelco Visser. MoDELS 2008: 113-127 [doi] [classification] 4 years ago

Automated evaluation of syntax error recoveryMaartje de Jonge, Eelco Visser. ASE 2012: 322-325 [doi] [classification] 4 years ago

A language generic solution for name binding preservation in refactoringsMaartje de Jonge, Eelco Visser. LDTA 2012: 2 [doi] [classification] 4 years ago

SugarJ: library-based language extensibilitySebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser. In Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011. 2011: 187-188 [doi] [classification] 4 years ago

Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsingLennart C. L. Kats, Maartje de Jonge, Emma Nilsson-Nyman, Eelco Visser. OOPSLA 2009: 445-464 [doi] [classification] 4 years ago

Mixing source and bytecode: a case for compilation by normalizationLennart C. L. Kats, Martin Bravenboer, Eelco Visser. OOPSLA 2008: 91-108 [doi] [classification] 4 years ago

Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005)Robert Glück, Eelco Visser. SCP, 76(5):347-348, May 2011. [doi] [classification] 4 years ago

The Third Rewrite Engines CompetitionFrancisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark G. J. 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. WRLA 2010: 243-261 [doi] [classification] 4 years ago

ICMT 2011 Special SectionJordi Cabot, Eelco Visser. jot, 11(2), 2012. [doi] [classification] 4 years ago

Parse Table CompositionMartin Bravenboer, Eelco Visser. SLE 2008: 74-94 [doi] [classification] 4 years ago

Reconstructing Complex Metamodel EvolutionSander Vermolen, Guido Wachsmuth, Eelco Visser. SLE 2011: 201-221 [doi] [classification] 4 years ago

The Spoofax Name Binding LanguageGabriël Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. In Companion to the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2012, Tucson, AR, USA, October 19 - 26, 2012. 2012: [doi] [classification] 4 years ago

Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language PortabilityLennart C. L. Kats, Eelco Visser. SCAM 2010: 147-156 [doi] [classification] 4 years ago

Fusing a Transformation Language with an Open CompilerKarl Trygve Kalleberg, Eelco Visser. ENTCS, 203(2):21-36, 2008. [doi] [classification] 4 years ago

Software deployment in a dynamic cloud: From device to service orientation in a hospital environmentSander van der Burg, Eelco Dolstra, Eelco Visser, Merijn de Jonge. CLOUD 2009: [doi] [classification] 4 years ago

Mobl: the new language of the mobile webZef Hemel, Eelco Visser. OOPSLA 2011: 23-24 [doi] [classification] 4 years ago

Generating Editors for Embedded Languages. Integrating SGLR into IMPLennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser. LDTA 2008: [classification] 4 years ago

Grammar Engineering Support for Precedence Rule Recovery and Compatibility CheckingEric Bouwers, Martin Bravenboer, Eelco Visser. ENTCS, 203(2):85-101, 2008. [doi] [classification] 4 years ago

Software development environments on the web: a research agendaLennart C. L. Kats, Richard Vogelij, Karl Trygve Kalleberg, Eelco Visser. OOPSLA 2012: 99-116 [doi] [classification] 4 years ago

Growing a language environment with editor librariesSebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser. GPCE 2011: 167-176 [doi] [classification] 4 years ago

runs on WebDSL