Programming Languages

Filter
Conference contribution

Search results

  • 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 volume › Conference contribution › Scientific › peer-review

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

  • 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 volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    16 Citations (Scopus)
    91 Downloads (Pure)

  • Probabilistic Concurrency Testing for Weak Memory Programs

    Gao, M., Chakraborty, S. & Ozkan, B. K., 2023, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). Association for Computing Machinery (ACM), p. 603-616 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    78 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 volume › Conference contribution › Scientific › peer-review

    1 Citation (Scopus)

  • 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 volume › Conference contribution › Scientific › peer-review

    36 Citations (Scopus)
    1 Downloads (Pure)

  • Renamingless Capture-Avoiding Substitution for Definitional Interpreters

    Poulsen, C. B., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10 p. 2. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    16 Downloads (Pure)

  • Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures

    Gouicem, R., Sprokholt, D., Ruehl, J., Rocha, R. C. O., Spink, T., Chakraborty, S. & Bhatotia, P., 2022, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). Association for Computing Machinery (ACM), p. 107-122 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • Robustness between Weak Memory Models

    Chakraborty, S. S., 2021, Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 202. Piskac, R. & Whalen, M. W. (eds.). TU Wien, p. 173-182

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    19 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 volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    13 Citations (Scopus)
    337 Downloads (Pure)

  • Scope Graphs: The Story so Far

    Zwaan, A. & van Antwerpen, H., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 32. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    30 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 volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    4 Citations (Scopus)
    77 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 volume › Conference contribution › Scientific › peer-review

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

  • Scope states: Guarding safety of name resolution in parallel type checkers

    Van Antwerpen, H. & Visser, E., 2021, 35th European Conference on Object-Oriented Programming, ECOOP 2021. Moller, A. & Sridharan, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 194).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    5 Citations (Scopus)
    46 Downloads (Pure)

  • Semantics for two-dimensional type theory

    Ahrens, B., North, P. R. & van der Weide, N., 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. New York: Association for Computing Machinery (ACM), 14 p. 12

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    3 Citations (Scopus)
    62 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 volume › Conference contribution › Scientific › peer-review

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

  • 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 volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    3 Citations (Scopus)
    50 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 volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    141 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 volume › Conference contribution › Scientific › peer-review

    4 Citations (Scopus)
    95 Downloads (Pure)

  • Specializing Scope Graph Resolution Queries

    Zwaan, A. S., 2022, SLE 2022: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. Fischer, B., Burgueño, L. & Cazzola, W. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 121-133 13 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    38 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 volume › Conference contribution › Scientific › peer-review

  • 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 volume › Conference contribution › Scientific › peer-review

    70 Citations (Scopus)

  • 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 volume › Conference contribution › Scientific › peer-review

    9 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 volume › Conference contribution › Scientific › peer-review

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

  • 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 volume › Conference contribution › Scientific › peer-review

    1 Citation (Scopus)

  • 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 volume › Conference contribution › Scientific › peer-review

    1 Citation (Scopus)

  • 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. (Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    5 Citations (Scopus)

  • 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. (SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    54 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 volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    5 Citations (Scopus)
    34 Downloads (Pure)

  • Towards Modular Compilation Using Higher-Order Effects

    Reinders, J. S., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 9 p. 22. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    13 Downloads (Pure)

  • Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules

    Cockx, J., 2020, 25th International Conference on Types for Proofs and Programs, TYPES 2019. Bezem, M., Mahboubi, A. & Mahboubi, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 27 p. 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 175).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    9 Citations (Scopus)
    108 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 volume › Conference contribution › Scientific › peer-review

    13 Citations (Scopus)

  • Univalent Double Categories

    Van Der Weide, N., Rasekh, N., Ahrens, B. & North, P. R., 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 246-259 14 p. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    30 Downloads (Pure)

  • Univalent Monoidal Categories

    Wullaert, K., Matthes, R. & Ahrens, B., 2023, 28th International Conference on Types for Proofs and Programs, TYPES 2022. Kesner, D. & Pedrot, P-M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 269).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • Using Spoofax to Support Online Code Navigation

    Mosses, P. D., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12 p. 21. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    19 Downloads (Pure)

  • Verifying Well-Typedness Preservation of Refactorings using Scope Graphs

    Miljak, L., Poulsen, C. B. & van Spaendonck, F., 2023, FTfJP 2023 - Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs. Tomb, A. (ed.). Association for Computing Machinery (ACM), p. 44-50 7 p. (FTfJP 2023 - Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    15 Downloads (Pure)