1. Conference contribution › Scientific › Peer-reviewed
  2. 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/Report/Conference proceedingConference contributionScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ID: 19976