All Stories

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

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

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

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

    L. Thomas van Binsbergen

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

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

    L. Thomas van Binsbergen

  5. Bridging Incremental Programming and Complex Software Development Environments

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

    L. Thomas van Binsbergen, Max Boksem

  6. Adaptive Structural Operational Semantics

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

    L. Thomas van Binsbergen

  7. A Language-Parametric Approach to Exploratory Programming Environments

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

    L. Thomas van Binsbergen, Mauricio Verano Merino

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