All Stories

  1. A Business and Organizational Maturity Model for Data Spaces derived from the DSSC Blueprint

    Article • March 2026, ACM (Association for Computing Machinery)

    L. Thomas van Binsbergen, Vinith Bhandari

  2. P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4

    Article • June 2025, ACM (Association for Computing Machinery)

    L. Thomas van Binsbergen, chrysa papagianni

  3. A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios

    Article • June 2025, ACM (Association for Computing Machinery)

    Christopher Esterhuyse, L. Thomas van Binsbergen

  4. Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages

    Article • June 2025, ACM (Association for Computing Machinery)

    L. Thomas van Binsbergen

  5. On the Soundness of Auto-completion Services for Dynamically Typed Languages

    Article • October 2024, ACM (Association for Computing Machinery)

    L. Thomas van Binsbergen

  6. Bridging Incremental Programming and Complex Software Development Environments

    Article • October 2024, ACM (Association for Computing Machinery)

    L. Thomas van Binsbergen, Max Boksem

  7. Adaptive Structural Operational Semantics

    Article • October 2023, ACM (Association for Computing Machinery)

    L. Thomas van Binsbergen

  8. A Language-Parametric Approach to Exploratory Programming Environments

    Article • November 2022, ACM (Association for Computing Machinery)

    L. Thomas van Binsbergen, Mauricio Verano Merino

  9. Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper)

    Article • ACM SIGPLAN Notices, April 2020, ACM (Association for Computing Machinery)

    L. Thomas van Binsbergen