Programming Languages

Filter
Conference contribution

Search results

  • 2019

    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)
    32 Downloads (Pure)
  • 2020

    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. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).

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

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

  • Gradually typing strategies

    Smits, J. & Visser, E., 2020, SLE 2020: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering. New York, NY, United States: Association for Computing Machinery (ACM), p. 1-15 15 p.

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

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

  • Multi-purpose Syntax Definition with SDF3

    de Souza Amorim, L. & Visser, E., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Cham: Springer, Vol. 12310. p. 1-23 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 ).

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

    Open Access
    File
    15 Citations (Scopus)
    91 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)
  • 2021

    Compositional non-interference for fine-grained concurrent programs

    Frumin, D., Krebbers, R. & Birkedal, L., 2021, Proceedings - 2021 IEEE Symposium on Security and Privacy, SP 2021. Institute of Electrical and Electronics Engineers (IEEE), p. 1416-1433 18 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2021-May).

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

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

  • Configuration Space Exploration for Digital Printing Systems

    Denkers, J., Brunner, M., van Gool, L. & Visser, E., 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (eds.). Springer, p. 423-442 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13085 LNCS).

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

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

  • Extracting the power of dependent types

    Šinkarovs, A. & Cockx, J., 2021, GPCE 2021 - Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2021. Tilevich, E. & De Roover, C. (eds.). Association for Computing Machinery (ACM), p. 83-95 13 p. (GPCE 2021 - Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2021).

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

    Open Access
    File
    40 Downloads (Pure)

  • Fundamental Constructs in Programming Languages

    Mosses, P. D., 2021, Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Proceedings. Margaria, T., Margaria, T. & Steffen, B. (eds.). Springer, p. 296-321 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13036 LNCS).

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

    2 Citations (Scopus)

  • Latent Effects for Reusable Language Components

    van den Berg, B., Schrijvers, T., Poulsen, C. B. & Wu, N., 2021, Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Proceedings. Oh, H. (ed.). Springer, Vol. 13008. p. 182-201 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13008 LNCS).

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

    3 Citations (Scopus)

  • Machine-checked semantic session typing

    Hinrichsen, J. K., Louwrink, D., Krebbers, R. & Bengtson, J., 2021, CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021. Hritcu, C. & Popescu, A. (eds.). Association for Computing Machinery (ACM), p. 178-198 21 p. (CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021).

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

    Open Access
    File
    8 Citations (Scopus)
    61 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)

  • 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)
    42 Downloads (Pure)
  • 2022

    Implementing a Category-Theoretic Framework for Typed Abstract Syntax

    Ahrens, B., Matthes, R. & Mörtberg, A., 2022, CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York: Association for Computing Machinery (ACM), p. 307-323 17 p.

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

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

  • Lasagne: a static binary translator for weak memory model architectures

    Rocha, R. C. O., Sprokholt, D., Fink, M., Gouicem, R., Spink, T., Chakraborty, S. & Bhatotia, P., 2022, PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery (ACM), p. 888-902 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

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

  • Optimising First-Class Pattern Matching

    Smits, J., Hartman, T. & Cockx, J., 2022, SLE 2022: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. New York: Association for Computing Machinery (ACM), p. 74-83 10 p.

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

    Open Access
    File
    28 Downloads (Pure)

  • Parameterized Verification under Release Acquire is PSPACE-complete

    Krishna, S., Godbole, A., Meyer, R. & Chakraborty, S., 2022, PODC 2022 - Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 482-492 11 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    Open Access
    File
    2 Citations (Scopus)
    68 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)

  • 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)
    55 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)
    30 Downloads (Pure)
  • 2023

    A Monadic Framework for Name Resolution in Multi-phased Type Checkers

    Poulsen, C. B., Zwaan, A. & Hübner, P., 2023, GPCE 2023: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. New York, NY, USA: Association for Computing Machinery (ACM), p. 14-28 15 p.

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

    Open Access
    File
    24 Downloads (Pure)

  • Conf Researchr: A Domain-Specific Content Management System for Managing Large Conference Websites

    Groenewegen, D. M., van Chastelet, E., de Krieger, M. M., Pelsmaeker, D. A. A. & Anslow, C., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 6 p. 12. (OpenAccess Series in Informatics; vol. 109).

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

    Open Access
    File
    17 Downloads (Pure)

  • Dependently Typed Languages in Statix

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

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

    Open Access
    File
    44 Downloads (Pure)

  • Eating Your Own Dog Food: WebDSL Case Studies to Improve Academic Workflows

    Groenewegen, D. M., van Chastelet, E., de Krieger, M. M. & Pelsmaeker, D. A. A., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11 p. 13. (OpenAccess Series in Informatics; vol. 109).

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

    Open Access
    File
    43 Downloads (Pure)

  • Online Name-Based Navigation for Software Meta-languages

    Mosses, P. D., 2023, SLE 2023: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering. New York: Association for Computing Machinery (ACM), p. 220–225 6 p. SLE 2023: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering

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

    Open Access
    File
    18 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)
    72 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)

  • 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)

  • 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
    11 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
    18 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)
  • 2024

    Displayed Monoidal Categories for the Semantics of Linear Logic

    Ahrens, B., Matthes, R., Van Der Weide, N. & Wullaert, K., 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 260-273 14 p.

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

    Open Access
    File
    41 Downloads (Pure)

  • 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
    27 Downloads (Pure)