Research Output

2011

Special issue on generative programming and component engineering (Selected Papers from GPCE 2004/2005)

Glück, R. & Visser, E., 1 May 2011, In : Science of Computer Programming. 76, 5, p. 347-348 2 p.

Research output: Contribution to journalEditorialScientific

1 Citation (Scopus)
2014

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

Visser, E., Wachsmuth, G., Tolmach, A., Neron, P., Vergu, V., Passalaqua Martins, A. & Konat, G., 20 Oct 2014, Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. New York, NY: Association for Computing Machinery (ACM), p. 95-111 17 p.

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

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

Finding Bugs in Program Generators by Dynamic Analysis of Syntactic Language Constraints1

Erdweg, S., Vergu, V., Mezini, M. & Visser, E., 2014, MODULARITY'14: Proceedings of the companion publication of the 13th International Conference on Modularity. New York: Association for Computing Machinery (ACM), p. 17-20 4 p.

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

1 Citation (Scopus)

Language Design with the Spoofax Language Workbench

Wachsmuth, G. H., Konat, G. D. P. & Visser, E., 2014, In : IEEE Software. 31, 5, p. 35-43 9 p.

Research output: Contribution to journalArticleScientificpeer-review

17 Citations (Scopus)

Modular specification and dynamic enforcement of syntactic language constraints when generating code

Erdweg, S., Vergu, V., Mezini, M. & Visser, E., 2014, MODULARITY '14: Proceedings of the 13th international conference on Modularity . New York, NY: Association for Computing Machinery (ACM), p. 241-252 12 p.

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

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

Relations: A first class relationship and first class derivations programming language

Harkes, D., 2014, MODULARITY'14: Proceedings of the 13th International Conference on Modularity. Association for Computing Machinery (ACM), p. 9-10 2 p.

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

1 Citation (Scopus)

Separation of concerns in language definition

Visser, E., 2014, MODULARITY '14 : Proceedings of the companion publication of the 13th international conference on Modularity . New York, NY: Association for Computing Machinery (ACM), p. 1-2 2 p.

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

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

Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation

Harkes, D. & Visser, E., 2014, Software Language Engineering: 7th International Conference, SLE 2014, Proceedings. Combemale, B., Pearce, D. J., Barais, O. & Vinju, J. J. (eds.). Cham: Springer, p. 241-260 20 p. (Lecture Notes in Computer Science; vol. 8706).

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

6 Citations (Scopus)
2015

A Theory of Name Resolution

Neron, P., Tolmach, A., Visser, E. & Wachsmuth, G., 2015, Programming Languages and Systems: 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Vitek, J. (ed.). Berlin: Springer, p. 205-231 27 p. (Lecture Notes in Computer Science; vol. 9032).

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

29 Citations (Scopus)

Conf.Researchr.Org: Towards a domain-specific content management system for managing large conference websites

van Chastelet, E., Visser, E. & Anslow, C., 25 Oct 2015, SPLASH Companion 2015: Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. New York, NY: Association for Computing Machinery (ACM), p. 50-51 2 p.

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

Dynsem: A DSL for dynamic semantics specification

Vergu, V., Neron, P. & Visser, E., 1 Jun 2015, 26th International Conference on Rewriting Techniques and Applications, RTA 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 36. p. 365-378 14 p.

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

Open Access
File
19 Citations (Scopus)
17 Downloads (Pure)

Evaluating and comparing language workbenches: Existing results and benchmarks for the future

Erdweg, S., van der Storm, T., Völter, M., Tratt, L., Bosman, R., Cook, W. R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., Konat, G., Molina, P. J., Palatnik, M., Pohjonen, R., Schindler, E., Schindler, K., Solmi, R., Vergu, V., Visser, E., Van Der Vlist, K. & 2 others, Wachsmuth, G. & Van Der Woning, J., 1 Dec 2015, In : Computer Languages, Systems and Structures. 44, p. 24-47 24 p.

Research output: Contribution to journalArticleScientificpeer-review

70 Citations (Scopus)

Facilitating Twitter data analytics: Platform, language and functionality

Tao, K., Hauff, C., Houben, G. J., Abel, F. & Wachsmuth, G., 7 Jan 2015, Proceedings - 2014 IEEE International Conference on Big Data, IEEE Big Data 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 421-430 10 p. 7004259

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

6 Citations (Scopus)

Understanding software through linguistic abstraction

Visser, E., 1 Jan 2015, In : Science of Computer Programming. 97, P1, p. 11-16 6 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Citation (Scopus)
21 Downloads (Pure)
2016

A Constraint Language for Static Semantic Analysis Based on Scope Graphs

van Antwerpen, H., Néron, P., Tolmach, A., Visser, E. & Wachsmuth, G., Jan 2016, PEPM '16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. New York, NY: Association for Computing Machinery (ACM), p. 49-60 12 p.

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

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

An Extensible Framework for Variable-Precision Data-flow Analyses in MPS

Szabó, T., Alperovich, S., Voelter, M. & Erdweg, S., Sep 2016, ASE 2016 Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Lo, D. (ed.). New York: Association for Computing Machinery (ACM), p. 870-875 6 p.

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

3 Citations (Scopus)

A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: An experience report

Van Der Lippe, T., Smith, T., Pelsmaeker, D. & Visser, E., 30 Oct 2016, SCALA 2016 - Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala. New York: Association for Computing Machinery (ACM), p. 65-74 10 p.

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

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

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

Grewe, S., Erdweg, S. & Mezini, M., 2016, Proceedings of the 3rd Vampire Workshop. Kovacs, L. & Voronkov, A. (eds.). EPIC 2009, p. 33-45 13 p. (EPIC Series in Computing; vol. 44).

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

Open Access
File
16 Downloads (Pure)

Bootstrapping Domain-Specific Meta-Languages in Language Workbenches

Konat, G., Erdweg, S. & Visser, E., 2016, Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Schaefer, I. & Fischer, B. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 47-58 12 p.

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

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

CPL: A Core Language for Cloud Computing

Bračevac, O., Erdweg, S., Salvaneschi, G. & Mezini, M., 14 Mar 2016, Proceedings of the 15th International Conference on Modularity, Modularity 2016. New York, NY: Association for Computing Machinery (ACM), p. 94-105 12 p.

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

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

Dedicated Support for Analyses and Optimizations in Language Workbenches

Szabó, T., 2016, SPLASH Companion 2016 : Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. New York: Association for Computing Machinery (ACM), p. 3-5 3 p.

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

Efficient Development of Consistent Projectional Editors Using Grammar Cells

Voelter, M., Szabó, T., Lisson, S., Kolb, B., Erdweg, S. & Berger, T., 2016, SLE 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering. van der Storm, T. (ed.). New York: Association for Computing Machinery (ACM), p. 28-40 13 p.

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

10 Citations (Scopus)

Exploration of Language Specifications by Compilation to First-order Logic

Grewe, S., Erdweg, S., Raulf, M. & Mezini, M., 2016, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming. New York: Association for Computing Machinery (ACM), p. 104--117 14 p.

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

5 Citations (Scopus)

IceDust: Incremental and eventual computation of derived values in persistent object graphs

Harkes, D. C., Groenewegen, D. M. & Visser, E., 1 Jul 2016, 30th European Conference on Object-Oriented Programming, ECOOP 2016. Krishnamurthi, S. & Lerner, B. S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-26 26 p. 11. (Leibniz International Proceedings in Informatics; vol. 56).

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

Open Access
File
7 Citations (Scopus)
42 Downloads (Pure)

IncA: A DSL for the Definition of Incremental Program Analyses

Szabó, T., Erdweg, S. & Voelter, M., Sep 2016, ASE 2016 Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Lo, D. (ed.). New York: Association for Computing Machinery (ACM), p. 320-331 12 p.

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

19 Citations (Scopus)

Principled Syntactic Code Completion using Placeholders

De Souza Amorim, L. E., Erdweg, S., Wachsmuth, G. & Visser, E., 20 Oct 2016, Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016. Varro, D., Balland, E. & van der Storm, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 163-175 13 p.

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

Open Access
File
7 Citations (Scopus)
52 Downloads (Pure)

Scopes describe frames: A uniform model for memory layout in dynamic semantics

Poulsen, C. B., Néron, P., Tolmach, A. & Visser, E., 1 Jul 2016, 30th European Conference on Object-Oriented Programming, ECOOP 2016. Krishnamurthi, S. & Lerner, B. S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 56. p. 1-26 26 p. 20

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

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

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)

Poulsen, C. B., Neron, P., Tolmach, A. & Visser, E., 2016, p. 1-3. 3 p.

Research output: Contribution to conferenceOtherOther research output

Open Access
File
21 Downloads (Pure)

Software that meets its intent

Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings: 7th International Symposium, ISoLA 2016. Margaria, T. & Steffen, B. (eds.). II ed. Cham: Springer, p. 609-625 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9953 LNCS).

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

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

Sound Type-Dependent Syntactic Language Extension

Lorenzen, F. & Erdweg, S., 2016, In : ACM SIGPLAN Notices. 51, 1, p. 204-216 13 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
32 Downloads (Pure)

The IDE Portability Problem and Its Solution in Monto

Keidel, S., Pfeiffer, W. & Erdweg, S., 2016, SLE 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering . van der Storm, T. (ed.). New York: Association for Computing Machinery (ACM), p. 152-162 11 p.

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

4 Citations (Scopus)
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

1 Citation (Scopus)

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

5 Citations (Scopus)

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

Open Access
File
9 Downloads (Pure)

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
5 Citations (Scopus)
23 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

23 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

23 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
26 Downloads (Pure)

Toward Abstract Interpretation of Program Transformations

Keidel, S. & Erdweg, S., 2017, Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. New York: Association for Computing Machinery (ACM), p. 1-5 5 p.

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

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
1 Citation (Scopus)
70 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)
4 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)
25 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
64 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
31 Citations (Scopus)
22 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)
46 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
4 Citations (Scopus)
35 Downloads (Pure)