Scholar
Mira Mezini
Google Scholar ID: ESQUnJEAAAAJ
Professor of Computer Science, TU Darmstadt, Germany
Programming Languages
Software Engineering
Program Analysis
Software Security
Reactive Programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,645
H-index
32
i10-index
77
Publications
20
Co-authors
123
list available
Contact
Email
mezini@informatik.tu-darmstadt.de
Twitter
Open ↗
GitHub
Open ↗
Publications
21 items
On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values
2026
Cited
0
Mechanizing Choreographic Programs and Hoare Logic with State Transformers
2026
Cited
0
Mitigating Errors in LLM-Generated Web API Invocations via Retrieval-Augmented Generation and Constrained Decoding
2026
Cited
0
SHERLOC: Structured Diagnostic Localization for Code Repair Agents
2026
Cited
0
Efficient Post-training of LLMs for Code Generation With Offline Reinforcement Learning
2026
Cited
0
Domain-Adaptable Reinforcement Learning for Code Generation with Dense Rewards
2026
Cited
0
Beyond BLEU: A Semantic Evaluation Method for Code Translation
2026
Cited
0
Deep Graph-Language Fusion for Structure-Aware Code Generation
2026
Cited
0
Load more
Co-authors
6 total
Eric Bodden
Professor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEM
Guido Salvaneschi
Associate Professor - University of St.Gallen
Sarah Nadi
Associate Professor, New York University Abu Dhabi
Martin Monperrus
KTH Royal Institute of Technology
Bernd Freisleben
Professor of Computer Science, University of Marburg, Germany
Karim Ali
Associate Professor, NYU Abu Dhabi
