For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

Dr. L.T. (Thomas) van Binsbergen

Assistant Professor Data Exchange Systems
Faculty of Science
Informatics Institute
Visiting address
  • Science Park 900
  • Room number: L5.31
Postal address
  • Postbus 94323
    1090 GH Amsterdam
Contact details
  • Publications

    2024

    • Esterhuyse, C. A., Müller, T., & van Binsbergen, L. T. (2024). JustAct: Actions Universally Justified by Partial Dynamic Policies. In V. Castiglioni, & A. Francalanza (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings (pp. 60-81). (Lecture Notes in Computer Science; Vol. 14678). Springer. https://doi.org/10.1007/978-3-031-62645-6_4
    • Frölich, D., & van Binsbergen, L. T. (2024). iCoLa+: An extensible meta-language with support for exploratory language development. Journal of Systems and Software, 211, Article 111979. https://doi.org/10.1016/j.jss.2024.111979

    2023

    • Jouneaux, G., Frölich, D., Barais, O., Combemale, B., Le Guernic, G., Mussbacher, G., & van Binsbergen, L. T. (2023). Adaptive Structural Operational Semantics. In J. Saraiva, T. Degueule, & E. Scott (Eds.), Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE '23): October 23-24, 2023, Cascais, Portugal (pp. 29-42). Association for Computing Machinery. https://doi.org/10.1145/3623476.3623517 [details]
    • Kebede, M. G., van Binsbergen, T., van Engers, T., & van Vuurden, D. G. (2023). Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle. In G. Sileno, J. Spanakis, & G. van Dijck (Eds.), Legal Knowledge and Information Systems: JURIX 2023: The Thirty-sixth Annual Conference, Maastricht, the Netherlands, 18-20 December 2023 (pp. 143-148). (Frontiers in Artificial Intelligence and Applications; Vol. 379). IOS Press. https://doi.org/10.3233/FAIA230958 [details]

    2022

    • Esterhuyse, C. A., Müller, T., van Binsbergen, L. T., & Belloum, A. S. Z. (2022). Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution. In eScience '22 : Democratizing science : 2022 IEEE 18th International Conference on e-Science: proceedings : eScience 2022 : Salt Lake City, Utah, USA, 10-14 October 202 (pp. 481-486). Conference Publishing Services, IEEE Computer Society. https://doi.org/10.1109/eScience55777.2022.00086 [details]
    • Frölich, D., & van Binsbergen, L. T. (2022). ICoLa: A Compositional Meta-Language with Support for Incremental Language Development. In B. Fischer, L. Burgueño, & W. Cazzola (Eds.), SLE '22: proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering : December 6-7, 2022, Auckland, New Zealand (pp. 202–215). The Association for Computing Machinery. https://doi.org/10.1145/3567512.3567529 [details]
    • Parizi, M. M., van Binsbergen, L. T., Sileno, G., & van Engers, T. (2022). A Modular Architecture for Integrating Normative Advisors in MAS. In D. Baumeister, & J. Rothe (Eds.), Multi-Agent Systems: 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14–16, 2022 : proceedings (pp. 312-329). (Lecture Notes in Computer Science; Vol. 13442), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-031-20614-6_18 [details]
    • Verano Merino, M., van Binsbergen, L. T., & Seraj, M. (2022). Making the Invisible Visible in Computational Notebooks. In P. Bottoni, G. Costagliola, M. Brachman, & M. Minas (Eds.), Proceedings, 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC): VL/HCC 2022 : September 12-16, 2022, Rome, Italy (pp. 257-259). IEEE. https://doi.org/10.1109/VL/HCC53370.2022.9833148 [details]
    • van Binsbergen, L. T., Frölich, D., Verano Merino, M., Lai, J., Jeanjean, P., van der Storm, T., Combemale, B., & Barais, O. (2022). A Language-Parametric Approach to Exploratory Programming Environments. In B. Fischer, L. Burgueño, & W. Cazzola (Eds.), SLE '22: proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering : December 6-7, 2022, Auckland, New Zealand (pp. 175–188). The Association for Computing Machinery. https://doi.org/10.1145/3567512.3567527 [details]
    • van Binsbergen, L. T., Kebede, M. G., Baugh, J., van Engers, T., & van Vuurden, D. G. (2022). Dynamic generation of access control policies from social policies. Procedia Computer Science, 198, 140-147. Advance online publication. https://doi.org/10.1016/j.procs.2021.12.221 [details]

    2021

    • Frolich, D., & van Binsbergen, L. T. (2021). A generic back-end for exploratory programming. In V. Zsók, & J. Hughes (Eds.), Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021 : revised selected papers (pp. 24-43). (Lecture Notes in Computer Science; Vol. 12834). Springer. Advance online publication. https://doi.org/10.1007/978-3-030-83978-9_2 [details]

    2020

    • van Binsbergen, L. T., Liu, L-C., van Doesburg, R., & van Engers, T. (2020). eFLINT: a domain-specific language for executable norm specifications. In M. Erwig, & J. Gray (Eds.), GPCE '20: proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : November 16-17, 2020, Virtual, USA (pp. 124-136). Association for Computing Machinery. https://doi.org/10.1145/3425898.3426958 [details]
    • van Binsbergen, L. T., Scott, E., & Johnstone, A. (2020). Purely functional GLL parsing. Journal of Computer Languages, 58, Article 100945. https://doi.org/10.1016/j.cola.2020.100945
    • van Binsbergen, L. T., Verano Merino, M., Jeanjean, P., van der Storm, T., Combemale, B., & Barais, O. (2020). A principled approach to REPL interpreters. In Onward! 2020: Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (pp. 84-100). ACM. https://doi.org/10.1145/3426428.3426917

    2019

    • Scott, E., Johnstone, A., & van Binsbergen, L. T. (2019). Derivation representation using binary subtree sets. Science of Computer Programming, 175, 63-84. Advance online publication. https://doi.org/10.1016/j.scico.2019.01.008
    • van Binsbergen, L. T., Mosses, P. D., & Sculthorpe, N. (2019). Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, 184-212. https://doi.org/10.1016/j.jlamp.2018.12.004

    2018

    • Mitchell, D., Loring, B., Thomas Van Binsbergen, L., & Kinder, J. (2018). Checking cryptographic API usage with composable annotations (short paper). In H.-S. Ko, & F. Henglein (Eds.), PEPM 2018 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2018 (pp. 53-59). Association for Computing Machinery, Inc. https://doi.org/10.1145/3162071
    • Thomas van Binsbergen, L., Scott, E., & Johnstone, A. (2018). GLL parsing with flexible combinators. In D. Pearce, S. Friedrich, & T. Mayerhofer (Eds.), SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018 (pp. 174-186). Association for Computing Machinery, Inc. https://doi.org/10.1145/3276604.3276618
    • Van Binsbergen, L. T. (2018). Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming. In E. Van Wyk, & T. Rompf (Eds.), GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018 (pp. 168-174). Association for Computing Machinery, Inc. https://doi.org/10.1145/3278122.3278132

    2017

    • Gerdes, A., Heeren, B., Jeuring, J., & van Binsbergen, L. T. (2017). Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. International Journal of Artificial Intelligence in Education, 27(1), 65-100. https://doi.org/10.1007/s40593-015-0080-x

    2016

    • Van Binsbergen, L. T., Sculthorpe, N., & Mosses, P. D. (2016). Tool support for component-based semantics. In D. Batory, L. Fuentes, & K. Czarnecki (Eds.), MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity (pp. 8-11). Association for Computing Machinery, Inc. https://doi.org/10.1145/2892664.2893464

    2015

    • Bransen, J., Van Binsbergen, L. T., Claessen, K., & Dijkstra, A. (2015). Linearly ordered attribute grammar scheduling using SAT-solving. In C. Tinelli, & C. Baier (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings (pp. 289-303). (Lecture Notes in Computer Science; Vol. 9035). Springer. https://doi.org/10.1007/978-3-662-46681-0_24
    • Van Binsbergen, L. T., Bransen, J., & Dijkstra, A. (2015). Linearly ordered attribute grammars with automatic augmenting dependency selection. In PEPM 2015 - Proceedings of the 2015 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2015 (pp. 49-60). Association for Computing Machinery, Inc. https://doi.org/10.1145/2678015.2682543

    2014

    • Jeuring, J., Van Binsbergen, L. T., Gerdes, A., & Heeren, B. (2014). Model solutions and properties for diagnosing student programs in Ask-Elle. In E. Barendsen, E. Barendsen, & V. Dagiene (Eds.), Proceedings - CSERC 2014: Computer Science Education Research Conference (pp. 31-40). Association for Computing Machinery, Inc. https://doi.org/10.1145/2691352.2691355

    Prize / grant

    • Janssen, H. & van Binsbergen, T. (2023). Responsible Digital Transformation Midsize Grant - title: B2G Data sharing through a data intermediary.
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    No ancillary activities
edit contact information   edit profile page