1. 2020
  2. 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. 6:1-6:30

    Research output: Contribution to journalArticleScientificpeer-review

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  4. 2019
  5. 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/Report/Conference proceedingConference contributionScientificpeer-review

  6. 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/Report/Conference proceedingConference contributionScientificpeer-review

  7. 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/Report/Conference proceedingConference contributionScientificpeer-review

  8. 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/Report/Conference proceedingConference contributionScientificpeer-review

  9. 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/Report/Conference proceedingConference contributionScientificpeer-review

  10. 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/Report/Conference proceedingConference contributionScientificpeer-review

  11. 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/Report/Conference proceedingConference contributionScientificpeer-review

  12. 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

  13. 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

  14. Declarative Specification of Information System Data Models and Business Logic

    Harkes, D., 2019, 181 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  15. Declarative Syntax Definition for Modern Language Workbenches

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

    Research output: ThesisDissertation (TU Delft)Scientific

  16. 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

  17. Language-Parametric Methods for Developing Interactive Programming Systems

    Konat, G., 2019, 156 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  18. 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

  19. 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/Report/Conference proceedingConference contributionScientificpeer-review

  20. 2018
  21. 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/Report/Conference proceedingConference contributionScientificpeer-review

  22. 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/Report/Conference proceedingConference contributionScientificpeer-review

  23. 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

  24. 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

  25. 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

  26. 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

  27. 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/Report/Conference proceedingConference contributionScientificpeer-review

  28. 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

  29. 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/Report/Conference proceedingConference contributionScientificpeer-review

  30. 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

  31. 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

  32. 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/Report/Conference proceedingConference contributionScientificpeer-review

  33. 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/Report/Conference proceedingConference contributionScientificpeer-review

  34. 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

  35. 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

  36. 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/Report/Conference proceedingConference contributionScientificpeer-review

  37. 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/Report/Conference proceedingConference contributionScientificpeer-review

  38. 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/Report/Conference proceedingConference contributionScientificpeer-review

  39. 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

  40. 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/Report/Conference proceedingConference contributionScientificpeer-review

  41. 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/Report/Conference proceedingConference contributionScientificpeer-review

  42. 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

  43. 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

  44. 2017
  45. 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/Report/Conference proceedingConference contributionScientificpeer-review

  46. 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/Report/Conference proceedingConference contributionScientificpeer-review

  47. 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/Report/Conference proceedingConference contributionScientificpeer-review

  48. 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

  49. 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/Report/Conference proceedingConference contributionScientificpeer-review

  50. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)

    Harkes, D. C. & Visser, E., 2017, In : Dagstuhl Artifacts Series. 3, 1, p. 1:1-1:2 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  51. Interactive proofs in higher-order concurrent separation logic

    Krebbers, R., Timany, A. & Birkedal, L., 2017, POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. New York: Association for Computing Machinery (ACM), p. 205-217 13 p. (ACM SIGPLAN Notices ; vol. 52, no. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  52. The Essence of Higher-Order Concurrent Separation Logic

    Krebbers, R., Jung, R., Bizjak, A., Jourdan, J-H., Dreyer, D. & Birkedal, L., 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017 - Proceedings. Yang, H. (ed.). Berlin: Springer, p. 696-723 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10201 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  53. The semantics of name resolution in Grace

    Vergu, V., Haisma, M. & Visser, E., 2017, DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. Ancona, D. (ed.). New York: Association for Computing Machinery (ACM), p. 63-74 12 p. (ACM Sigplan Notices- DLS'17; vol. 52, no. 11).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Previous 1 2 Next

ID: 19976