Research Output

2020

Actris: Session-type based reasoning in separation logic

Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
4 Citations (Scopus)
25 Downloads (Pure)

Elaborating dependent (co)pattern matching: No pattern left behind

Cockx, J. & Abel, A., 2020, In : Journal of Functional Programming. 30, e2.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
36 Downloads (Pure)

Evolution of the WebDSL runtime: Reliability engineering of the WebDSL web programming language

Groenewegen, D. M., Chastelet, E. V. & Visser, E., 2020, Programming 2020 - Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming. Aguiar, A., Chiba, S. & Boix, E. G. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 77-83 7 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access

FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

Smits, J., Wachsmuth, G. & Visser, E., 2020, In : Journal of Computer Languages. 57, p. 1-39 39 p., 100924.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
24 Downloads (Pure)
Open Access
File
14 Downloads (Pure)

Leibniz equality is isomorphic to Martin-Löf identity, parametrically

Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P., 2020, In : Journal of Functional Programming. 30, p. 1-14 14 p., e17.

Research output: Contribution to journalArticleScientificpeer-review

Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris

Giarrusso, P. G., Stefanesco, L., Timany, A., Birkedal, L. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, ICFP, p. 114:1 - 114:29 29 p., 114.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)
2019

A Component-Based Formal Language Workbench

Mosses, P. D., 23 Dec 2019, Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. Monahan, R., Prevosto, V. & Proença, J. (eds.). Cornell University Library - arXiv.org, Vol. 310. p. 29-34 6 p. (EPTCS).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
7 Downloads (Pure)

A longitudinal field study on creation and use of domain-specific languages in industry

Denkers, J., 12 Aug 2019, ESEC/FSE 2019 : Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). New York: Association for Computing Machinery (ACM), p. 1152-1155 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Declarative Specification of Information System Data Models and Business Logic

Harkes, D., 2019, 181 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
125 Downloads (Pure)

Declarative Syntax Definition for Modern Language Workbenches

de Souza Amorim, E., 2019, 222 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
158 Downloads (Pure)

Executable component-based semantics

Binsbergen, L. T. V., Mosses, P. D. & Sculthorpe, N., 4 Jan 2019, In : Journal of Logical and Algebraic Methods in Programming. 103, p. 184-212 29 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
7 Downloads (Pure)

From definitional interpreter to symbolic executor

Mensing, A. D., Van Antwerpen, H., Poulsen, C. B. & Visser, E., 20 Oct 2019, META 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, co-located with SPLASH 2019. Scholliers, C. & Chari, G. (eds.). Association for Computing Machinery (ACM), p. 11-20 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
20 Downloads (Pure)

Iron: Managing obligations in higher-order concurrent separation logic

Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L., 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 65:1-65:30 30 p., 65.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
60 Downloads (Pure)

Language-Parametric Methods for Developing Interactive Programming Systems

Konat, G., 2019, 156 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
59 Downloads (Pure)

Lessons learned from developing mbeddr: a case study in language engineering with MPS

Völter, M., Kolb, B., Szabó, T., Ratiu, D. & van Deursen, A., 2019, In : Software and Systems Modeling. 18, 1, p. 585-630 46 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
6 Citations (Scopus)
246 Downloads (Pure)

Scopes and frames improve meta-interpreter specialization

Vergu, V., Tolmach, A. & Visser, E., 1 Jul 2019, 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Donaldson, A. F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 134. p. 4:1-4:30 30 p. 4

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
19 Downloads (Pure)

Semi-automated Reasoning About Non-determinism in C Expressions

Frumin, D., Gondelman, L. & Krebbers, R., 2019, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Caires, L. (ed.). Cham: Springer, p. 60-87 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 LNCS).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
45 Downloads (Pure)

Software meta-language engineering and CBS

Mosses, P. D., 30 Jan 2019, In : Journal of Computer Languages. 50, p. 39-48 10 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)

Towards improved GADT reasoning in Scala

Parreaux, L., Boruch-Gruszecki, A. & Giarrusso, P. G., 17 Jul 2019, Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019. Association for Computing Machinery (ACM), p. 12-16 5 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Towards language-parametric semantic editor services based on declarative type system specifications

Pelsmaeker, D. A. A., Van Antwerpen, H. & Visser, E., 20 Oct 2019, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (ed.). Association for Computing Machinery (ACM), p. 19-20 2 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
15 Downloads (Pure)

Towards language-parametric semantic editor services based on declarative type system specifications

Pelsmaeker, D. A. A., van Antwerpen, H. & Visser, E., 1 Jul 2019, 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Donaldson, A. F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 134. 18 p. 26

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
1 Citation (Scopus)
10 Downloads (Pure)
2018

Compositional soundness proofs of abstract interpreters

Keidel, S., Poulsen, C. & Erdweg, S., 1 Sep 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery (ACM), Vol. 2. 26 p. 72

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
7 Downloads (Pure)

Declarative specification of indentation rules: A tooling perspective on parsing and pretty-printing layout-sensitive languages

de Souza Amorim, L. E., Erdweg, S., Steindorfer, M. J. & Visser, E., 2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering. Pearce, D., Friedrich, S. & Mayerhofer, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 3-15 13 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
62 Downloads (Pure)

Exploration of language specifications by compilation to first-order logic

Grewe, S., Erdweg, S., Pacak, A., Raulf, M. & Mezini, M., 2018, In : Science of Computer Programming. 155, p. 146-172 27 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2 Citations (Scopus)
3 Downloads (Pure)

Incrementalizing Lattice-Based Program Analyses in Datalog

Szabo, T., Bergmann, G., Erdweg, S. & Voelter, M., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-29 29 p., 139.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
10 Citations (Scopus)
24 Downloads (Pure)

Incremental Overload Resolution in Object-Oriented Programming Languages

Szabo, T., Kuci, E., Bijman, M., Mezini, M. & Erdweg, S., 2018, ISSTA '18 Companion Proceedings for the ISSTA/ECOOP 2018 Workshops . New York, NY: Association for Computing Machinery (ACM), p. 27-33 7 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Intrinsically-Typed Definitional Interpreters for Imperative Languages

Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
63 Downloads (Pure)

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Jung, R., Krebbers, R., Jourdan, J-H., Bizjak, A., Birkedal, L. & Dreyer, D., 2018, In : Journal of Functional Programming. 28, p. 1-73 73 p., e20.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
30 Citations (Scopus)
18 Downloads (Pure)

Migrating Business Logic to an Incremental Computing DSL: A Case Study

Harkes, D. C., van Chastelet, E. & Visser, E., 2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. Pearce, D., Friedrich, S. & Mayerhofer, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 83-96 14 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
1 Citation (Scopus)
42 Downloads (Pure)

Migrating Custom DSL Implementations To a Language Workbench (Tool Demo)

Denkers, J., van Gool, L. & Visser, E., 2018, Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. New York, NY: Association for Computing Machinery (ACM), p. 205-209 5 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
3 Citations (Scopus)
32 Downloads (Pure)

MoSeL: A general, extensible modal framework for interactive proofs in separation logic

Krebbers, R., Jourdan, J-H., Jung, R., Tassarotti, J., Kaiser, J-O., Timany, A., Charguéraud, A. & Dreyer, D., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 77:1-77:30 30 p., 77.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
14 Downloads (Pure)

Mtac2: Typed tactics for backward reasoning in Coq

Kaiser, J-O., Ziliani, B., Krebbers, R., Régis-Gianas, Y. & Dreyer, D., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 78:1-78:31 31 p., 78.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
19 Downloads (Pure)

PIE: A Domain-Specific Language for Interactive Software Development Pipelines

Konat, G., Steindorfer, M., Erdweg, S. & Visser, E., 29 Mar 2018, In : Art, Science, and Engineering of Programming. 2, 3, p. 1-31 31 p., 9.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
58 Downloads (Pure)

PixieDust: Declarative Incremental User Interface Rendering Through Static Dependency Tracking

ten Veen, N., Harkes, D. C. & Visser, E., 2018, Companion of the The Web Conference 2018 on The Web Conference 2018. New York: Association for Computing Machinery (ACM), p. 721-729 9 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
48 Downloads (Pure)

ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency

Frumin, D., Krebbers, R. & Birkedal, L., 2018, LICS'18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY: Association for Computing Machinery (ACM), p. 442-451 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

4 Citations (Scopus)
1 Downloads (Pure)

RustBelt: securing the foundations of the rust programming language

Jung, R., Jourdan, J-H., Krebbers, R. & Dreyer, D., Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 66:1-66:34 34 p., 66.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
126 Downloads (Pure)

Scalable Incremental Building with Dynamic Task Dependencies

Konat, G., Erdweg, S. & Visser, E., 2018, ASE 2018: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering . New York, NY: Association for Computing Machinery (ACM), p. 76-86 11 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
167 Downloads (Pure)

Scopes as Types

van Antwerpen, H., Bach Poulsen, C., Rouvoet, A. & Visser, E., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-30 30 p., 114.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
114 Downloads (Pure)

Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM

Vergu, V. & Visser, E., 2018, Proceedings of the 15th International Conference on Managed Languages and Runtimes, ManLang 2018. New Yorj, NY: Association for Computing Machinery (ACM), 14 p. 16

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)
95 Downloads (Pure)

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers

Grewe, S., Erdweg, S., Pacak, A. & Mezini, M., 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY: Association for Computing Machinery (ACM), p. 1-10 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

To-many or to-one? All-in-one! Efficient purely functional multi-maps with type-heterogeneous hash-tries

Steindorfer, M. J. & Vinju, J. J., 11 Jun 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 283-295 13 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Towards Zero-Overhead Disambiguation of Deep Priority Conflicts

de Souza Amorim, L. E., Steindorfer, M. J. & Visser, E., 29 Mar 2018, In : Art, Science, and Engineering of Programming. 3, 3, p. 1-26 26 p., 13.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
35 Downloads (Pure)

Versatile Event Correlation with Algebraic Effects

Bračevac, O., Amin, N., Salvaneschi, G., Erdweg, S., Eugster, P. & Mezini, M., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 1-31 31 p., 67.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
19 Downloads (Pure)

We Should Stop Claiming Generality in Our Domain-Specific Language Papers

Harkes, D. C., 2018, p. 131-132. 2 p.

Research output: Contribution to conferenceAbstractScientific

Open Access
File
17 Downloads (Pure)
2017

A Co-contextual Type Checker for Featherweight Java

Kuci, E., Erdweg, S., Bračevac, O., Bejleri, A. & Mezini, M., 2017, 31st European Conference on Object-Oriented Programming (ECOOP 2017). Müller, P. (ed.). p. 1-26 26 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
2 Citations (Scopus)
154 Downloads (Pure)

A Module-System Discipline for Model-Driven Software Development

Erdweg, S. & Ostermann, K., 2017, In : Art, Science, and Engineering of Programming. 1, 2, p. 1-28 28 p., 9.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
18 Downloads (Pure)

Deep Priority Conflicts in the Wild: A Pilot Study

de Souza Amorim, L. E., Steindorfer, M. J. & Visser, E., 23 Oct 2017, SLE 2017 Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Combemale, B., Mernik, M. & Rumpe, B. (eds.). New York: Association for Computing Machinery (ACM), p. 55-66 12 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

FlowSpec: Declarative Dataflow Analysis Specification

Smits, J. & Visser, E., Oct 2017, SLE 2017 Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Combemale, B., Mernik, M. & Rumpe, B. (eds.). New York: Association for Computing Machinery (ACM), p. 221-231 11 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

3 Citations (Scopus)

IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition

Harkes, D. & Visser, E., 2017, 31st European Conference on Object-Oecoopriented Programming, ECOOP 2017. Müller, P. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-29 29 p. (Leibniz International Proceedings in Informatics (LIPIcs); no. 74).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
4 Citations (Scopus)
23 Downloads (Pure)