Journal papers | Conference papers | Theses | Media articles | Preprints | Tools

Journal papers

  • 2022/January: Dynamic generation of access control policies from social policies.
    Procedia Computer Science special issue on The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2021). L. Thomas van Binsbergen, Milen G. Kebede, Joshua Baugh, Tom van Engers, Dannis G. van Vuurden. [DOI] [Preprint] [Projects: EPI, AMdEX]
  • 2020/January: Purely Functional GLL Parsing.
    Journal of Computer Languages. L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone. [DOI] [Preprint]
  • 2019/April: Derivation representation using binary subtree sets.
    Science of Computer Programming. Elizabeth Scott, Adrian Johnstone and L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2019/February: Executable Component-Based Semantics.
    Journal of Logical and Algebraic Methods in Programming. L. Thomas van Binsbergen, Peter D. Mosses and Neil Sculthorpe. [DOI] [Preprint]
  • 2016/February: Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback.
    International Journal of Artificial Intelligence in Education. Alex Gerdes, Bastiaan Heeren, Johan Jeuring and L. Thomas van Binsbergen. [DOI] [Preprint]

Conference papers

  • 2023/October: Adaptive Structural Operational Semantics.
    SLE 2023: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering. Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoit Combemale, Gurvan Le Guernic, Gunter Mussbacher, and L. Thomas van Binsbergen. [DOI] [Preprint]
  • 2022/December: A Language-Parametric Approach to Exploratory Programming Environments.
    Proceedings of SLE' 22. L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais. [DOI] [Preprint] [Projects: ALE, AMdEX]
  • 2022/December: iCoLa: A Compositional Meta-language with Support for Incremental Language Development.
    Proceedings of SLE' 22. Damian Frölich, L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: ALE]
  • 2022/October: Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution.
    2nd Workshop on Reproducible Workflows, Data Management, and Security (ReWorDs 2022). Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen, Adam S.Z. Belloum. [DOI] [Preprint] [Projects: EPI, AMdEX]
  • 2022/September: Making the Invisible Visible in Computational Notebooks.
    IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Mauricio Verano Merino, L. Thomas van Binsbergen, Mazyar Seraj. [DOI] [Projects: ALE, AMdEX]
  • 2022/September: A Modular Architecture for Integrating Normative Advisors in MAS.
    Proceedings of the 17th European Conference on Multi-Agent Systems (EUMAS 2022). Mostafa M. Parizi, L. Thomas van Binsbergen, Giovanni Sileno, Tom van Engers. [DOI] [Preprint] [Projects: DL4LD, AMdEX]
  • 2021/August: A generic back-end for exploratory programming.
    International Conference on Trends in Functional Programming (TFP2021). Damian Frölich and L. Thomas van Binsbergen. [DOI] [Preprint] [Projects: ALE, SSPDDP, AMdEX]
  • 2020/November: eFLINT: a Domain-Specific Language for Executable Norm Specifications.
    Proceedings of GPCE '20. L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers. [DOI] [Preprint] [Video] [Projects: SSPDDP]
  • 2020/October: A principled approach to REPL interpreters.
    Proceedings of Onward! '20. L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais. [DOI] [Preprint] [Video]
  • 2018/November: Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper).
    Proceedings of GPCE '18. L. Thomas van Binsbergen. [DOI] [Authorized access]
  • 2018/October: GLL parsing with flexible combinators.
    Proceedings of SLE' 18. L. Thomas van Binsbergen, Elizabeth Scott and Adrian Johnstone. [DOI] [Authorized access]
  • 2017/December: Checking cryptographic API usage with composable annotations (short paper).
    Proceedings of PEPM '18. Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring and Johannes Kinder. [DOI] [Authorized access]
  • 2016/March: Tool support for component-based semantics.
    Companion proceedings of Modularity '16. L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses. [DOI] [Authorized access]
  • 2015/August: Linearly Ordered Attribute Grammars Scheduling Using SAT-Solving.
    Proceedings of TACAS' 15. Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen and Atze Dijkstra. [DOI]
  • 2015/January: Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection.
    Proceedings of PEPM' 15. L. Thomas van Binsbergen, Jeroen Bransen and Atze Dijkstra. [DOI] [Authorized access]
  • 2014/November: Model solutions and properties for diagnosing student programs in Ask-Elle.
    Proceedings of CSERC' 14. Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes and Bastiaan Heeren. [DOI] [Authorized access]

Media articles

  • 2023/October: Building Bridges.
    I/O Magazine. ICT Research Platform Nederland. Pg 22-23. Sonja Knols. [Preprint]

Preprints

  • 2023/March: Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals.
    L. Thomas van Binsbergen, Damian Frölich. [arXiv]
  • 2023/January: Reflections on the design and application of the normative specification language eFLINT.
    L. Thomas van Binsbergen. [Preprint] [Video] [Projects: AMdEX, SSPDDP]
  • 2022/January: DPCL: a Language Template for Normative Specifications.
    Giovanni Sileno, L. Thomas van Binsbergen, Matteo Pascucci, Tom van Engers. [arXiv]

Theses

Tools