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.
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]
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
Scott, E., Johnstone, A., & van Binsbergen, L. T. (2019). Derivation representation using binary subtree sets. Science of Computer Programming, 175, 63-84. 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
The UvA website uses cookies and similar technologies to ensure the basic functionality of the site and for statistical and optimisation purposes. It also uses cookies to display content such as YouTube videos and for marketing purposes. This last category consists of tracking cookies: these make it possible for your online behaviour to be tracked. You consent to this by clicking on Accept. Also read our Privacy statement
Necessary
Cookies that are essential for the basic functioning of the website. These cookies are used to enable students and staff to log in to the site, for example.
Necessary & Optimalisation
Cookies that collect information about visitor behaviour anonymously to help make the website work more effectively.
Necessary & Optimalisation & Marketing
Cookies that make it possible to track visitors and show them personalised adverts. These are used by third-party advertisers to gather data about online behaviour. To watch Youtube videos you need to enable this category.