Scholar
Daniel Kroening
Google Scholar ID: DHddutUAAAAJ
Amazon
Automated verification
testing
model checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
7,459
H-index
39
i10-index
129
Publications
20
Co-authors
69
list available
Contact
No contact links provided.
Publications
15 items
Mostly Automatic Translation of Language Interpreters from C to Safe Rust
2026
Cited
0
Axon: A Synthesizing Superoptimizer for Tensor Programs
2026
Cited
0
Agentic Model Checking
2026
Cited
0
EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems
2026
Cited
0
ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories
2026
Cited
0
Validated Code Translation for Projects with External Libraries
2026
Cited
0
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
2025
Cited
0
Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
2025
Cited
0
Load more
Resume (English only)
Co-authors
69 total
Co-author 1
Co-author 2
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Georg Weissenbacher
Professor of Computer Science, TU Wien
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Michael Tautschnig
Queen Mary University of London
Tom Melham
Professor of Computer Science, University of Oxford
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
