Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
-
Reasoning about Weak Isolation Levels in Separation Logic
Mathiasen, A. A., Gondelman, L., Ducruet, L., Timany, A. & Birkedal, L., 5 Aug 2025, In: Proceedings of the ACM on Programming Languages. 9, ICFP, p. 306-340 35 p., 246.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile5 Downloads (Pure) -
SEFL: A Framework for Generating Synthetic Educational Assignment Feedback with LLM Agents
Zhang, M., Dilling, A. P., Gondelman, L., Lyngdorf, N. E., Lindsay, E. & Bjerva, J., Feb 2025, arXiv, 17 p.Research output: Working paper/Preprint › Preprint
Open Access -
Teilen-SQL: A library for building local-first software with SQLite and version control
Saadbye, J. E. G., Gondelmans, L. & Albano, M., 3 Jul 2025, 5th workshop on Theory and Practice of Decentralized and Local-First Software, workshop of ECOOP 2025.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review