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
Resume (English only)
Co-authors
123 total
Co-author 1
Co-author 2
Co-author 3
Eric Bodden
Professor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEM
Guido Salvaneschi
Associate Professor - University of St.Gallen
Co-author 6
Sarah Nadi
Associate Professor, New York University Abu Dhabi
Co-author 8
