Daniel Kroening
Scholar

Daniel Kroening

Google Scholar ID: DHddutUAAAAJ
Amazon
Automated verificationtestingmodel checking
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
11 items
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
MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
2025
Cited
0
Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
2025
Cited
0
The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
2025
Cited
0
Program Synthesis From Partial Traces
2025
Cited
0
Resume (English only)
Co-authors
69 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Natasha Sharygina
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Co-author 4
Co-author 4
Alessandro Abate
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Co-author 6
Co-author 6
Tom Melham
Tom Melham
Professor of Computer Science, University of Oxford
Co-author 8
Co-author 8