Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Kroening
conf.researchr.org general profile
ASE 2025 profile
ECOOP and ISSTA 2021 profile
FSE 2025 profile
PLDI 2025 profile
Not registered as user
Name:
Daniel Kroening
Country:
United States
Affiliation:
Amazon
Contributions
2025
ASE
Author of VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models within the Research Papers-track
ESEC/FSE
Author of Quantifying the benefits of code hints for refactoring deprecated Java APIs within the Industry Papers-track
PLDI
Author of Scalable, Validated Code Translation of Entire Projects using Large Language Models within the PLDI Research Papers-track
Author of Program Synthesis From Partial Traces within the PLDI Research Papers-track
2021
ECOOP/ISSTA
Author of Exposing Previously Undetectable Faults in Deep Neural Networks within the Posters-track
ISSTA
Author of Exposing Previously Undetectable Faults in Deep Neural Networks within the Technical Papers-track
Author of Exposing Previously Undetectable Faults in Deep Neural Networks within the Artifact Evaluation-track
Share
x
Thu 25 Sep 05:13