{"person":{"slug":"mira-mezini","name":"Mira Mezini","university":"TU Darmstadt","role":"PI","profile_url":"https://aigude.ai/research/mira-mezini"},"generated_at":"2026-09-13T23:13:23.090Z","count":6,"bibtex_url":"https://aigude.ai/api/research/feed/mira-mezini?format=bibtex","papers":[{"id":"4292a2df-c103-4dd2-bef8-2ee14459ab81","title":"DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types","year":2026,"date":"2026-02-24","venue":"Zenodo (CERN European Organization for Nuclear Research)","venue_slug":null,"venue_type":null,"authors":null,"author_count":4,"doi":"10.5281/zenodo.18757667","arxiv_id":null,"openreview_id":null,"landing_url":"https://doi.org/10.5281/zenodo.18757667","pdf_url":"https://doi.org/10.5281/zenodo.18757667","links":null,"keywords":null,"tldr":null,"cited_by_count":1,"lab_submitted":false,"register_url":null,"updated_at":"2026-06-24T07:26:35.218175+00:00"},{"id":"e64839f3-d757-4532-8326-4ca284448fa2","title":"Problem Solving Through Human–AI Preference-based Cooperation","year":2025,"date":"2025-01-01","venue":"Computational Linguistics","venue_slug":null,"venue_type":null,"authors":null,"author_count":10,"doi":"10.1162/coli.a.19","arxiv_id":null,"openreview_id":null,"landing_url":"https://doi.org/10.1162/coli.a.19","pdf_url":"https://direct.mit.edu/coli/article-pdf/doi/10.1162/coli.a.19/2539252/coli.a.19.pdf","links":null,"keywords":null,"tldr":null,"cited_by_count":3,"lab_submitted":false,"register_url":null,"updated_at":"2026-06-24T07:26:35.218175+00:00"},{"id":"284ea061-3dff-4fe4-8a34-5a86a9bb445e","title":"CodeSSM: Towards State Space Models for Code Understanding.","year":2025,"date":null,"venue":"EMNLP","venue_slug":"emnlp","venue_type":null,"authors":null,"author_count":null,"doi":"10.18653/v1/2025.emnlp-main.1735","arxiv_id":null,"openreview_id":null,"landing_url":"https://doi.org/10.18653/v1/2025.emnlp-main.1735","pdf_url":null,"links":null,"keywords":null,"tldr":null,"cited_by_count":null,"lab_submitted":false,"register_url":null,"updated_at":"2026-07-01T20:27:36.040674+00:00"},{"id":"1d008749-2e74-4c4f-a338-1928e0e1da36","title":"Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs.","year":2025,"date":null,"venue":"NAACL","venue_slug":"naacl","venue_type":null,"authors":null,"author_count":null,"doi":"10.18653/v1/2025.naacl-srw.27","arxiv_id":null,"openreview_id":null,"landing_url":"https://doi.org/10.18653/v1/2025.naacl-srw.27","pdf_url":null,"links":null,"keywords":null,"tldr":null,"cited_by_count":null,"lab_submitted":false,"register_url":null,"updated_at":"2026-07-01T20:27:36.040674+00:00"},{"id":"d3823cf0-60b0-457f-adbb-67bcfcdac04f","title":"Artifact of the paper \"AXA: Cross-Language Analysis through Integration of Single-Language Analyses\"","year":2024,"date":"2024-12-12","venue":"Zenodo (CERN European Organization for Nuclear Research)","venue_slug":null,"venue_type":null,"authors":null,"author_count":5,"doi":"10.5281/zenodo.18292903","arxiv_id":null,"openreview_id":null,"landing_url":"https://doi.org/10.5281/zenodo.18292903","pdf_url":"https://doi.org/10.5281/zenodo.18292903","links":null,"keywords":null,"tldr":null,"cited_by_count":0,"lab_submitted":false,"register_url":null,"updated_at":"2026-06-24T07:26:35.218175+00:00"},{"id":"43c003b3-5372-41e1-b672-497fc1bbaf95","title":"A Critical Study of What Code-LLMs (Do Not) Learn.","year":2024,"date":null,"venue":"ACL","venue_slug":"acl","venue_type":null,"authors":null,"author_count":null,"doi":"10.18653/v1/2024.findings-acl.939","arxiv_id":null,"openreview_id":null,"landing_url":"https://doi.org/10.18653/v1/2024.findings-acl.939","pdf_url":null,"links":null,"keywords":null,"tldr":null,"cited_by_count":null,"lab_submitted":false,"register_url":null,"updated_at":"2026-07-01T20:27:36.040674+00:00"}]}