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

    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 Proceedings - 2022 IEEE 18th International Conference on e-Science, eScience 2022 (pp. 481-486). IEEE Computer Society. https://doi.org/10.1109/eScience55777.2022.00086
    • Frölich, D., & van Binsbergen, L. T. (2022). ICoLa: A Compositional Meta-Language with Support for Incremental Language Development. In Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (pp. 202–215). Association for Computing Machinery. https://doi.org/10.1145/3567512.3567529
    • 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 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (pp. 1-3). IEEE Computer Society. https://doi.org/10.1109/VL/HCC53370.2022.9833148
    • van Binsbergen, L. T., Frölich, D., Verano Merino, M., Jeanjean, P., van der Storm, T., Combemale, B., Barais, O., & Lai, J. (2022). A Language-Parametric Approach to Exploratory Programming Environments. In Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (pp. 175–188). (SLE 2022). Association for Computing Machinery. https://doi.org/10.1145/3567512.3567527
    • 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. 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. 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, [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

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