Daniel Kroening

Amazon (United States) — United States

Computer Science · Physical Sciences

49h-index11.2kcitations440works1.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(253), Software Testing and Debugging Techniques(173), Software Reliability and Analysis Research(93), Logic, programming, and type systems(82), Embedded Systems Design Techniques(43)

Publications440 total

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
arXiv (Cornell University)·2025Open Access
Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
arXiv (Cornell University)·2025Open Access
Multiple Different Black Box Explanations for Image Classifiers
Frontiers in artificial intelligence and applications·2025Open Access
MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
arXiv (Cornell University)·2025Open Access
Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
arXiv (Cornell University)·2025Open Access
Quantifying the benefits of code hints for refactoring deprecated Java APIs
2025Open Access
Program Synthesis from Partial Traces
Proceedings of the ACM on Programming Languages·2025Open Access
Scalable, Validated Code Translation of Entire Projects using Large Language Models
Proceedings of the ACM on Programming Languages·2025· 6 citedOpen Access
Quantifying the benefits of code hints for refactoring deprecated Java APIs
arXiv (Cornell University)·2024Open Access
Scalable, Validated Code Translation of Entire Projects using Large Language Models
arXiv (Cornell University)·2024· 2 citedOpen Access
Causal Explanations for Image Classifiers
ArXiv.org·2024Open Access
Neural Model Checking
arXiv (Cornell University)·2024Open Access
Symbolic Task Inference in Deep Reinforcement Learning
Journal of Artificial Intelligence Research·2024· 3 citedOpen Access
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
arXiv (Cornell University)·2024· 6 citedOpen Access
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
Proceedings of the AAAI Conference on Artificial Intelligence·2024· 1 citedOpen Access
Neural Model Checking
2024· 1 cited
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
arXiv (Cornell University)·2023· 3 citedOpen Access
You Only Explain Once
arXiv (Cornell University)·2023Open Access
Multiple Different Black Box Explanations for Image Classifiers
arXiv (Cornell University)·2023· 1 citedOpen Access
Untitled
SPIRE - Sciences Po Institutional REpository·2023· 3 citedOpen Access
page 1 of 22Next →

Frequent Co-authors

Natasha Sharygina(8), Edmund M. Clarke(7), Xiaowei Huang(7), Youcheng Sun(7), Ofer Strichman(6), Wenjie Ruan(4), James J. Sharp(4), Min Wu(4), Georg Weißenbacher(4), Michael Tautschnig(4), Karen Yorav(4), Alex Groce(4), Thomas Wahl(4), Philipp Rümmer(4), Vijay D’Silva(3), Joël Ouaknine(3), Leopold Haller(3), Christoph M. Wintersteiger(3), Byron Cook(3), Martin Brain(3)