PPaperPicks

Daniel Kroening

11 papers at tracked venues · 10 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2FSE ×2NeurIPS ×2PLDI ×2ASE ×1ECAI ×1S&P ×1

Frequent coauthors

Joey Dodds
×3
Victor Nicolet
×2
Hosein Hasanbeig
×2
Alessandro Abate
×2
Mirco Giacobbe
×2
Abhinandan Pal
×2
Michael Tautschnig
×2
Cristina David
×2
Hanliang Zhang
×2
Brandon Paulsen
×2
Luan Pham
×1
Hui Guan
×1

Papers

  1. EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems
    FSE 2026 ·
    Luan Pham
    ,
    Victor Nicolet
    ,
    Joey Dodds
    ,
    Hui Guan
    , Daniel Kroening
  2. Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint)
    AAAI 2026 ·
    Hosein Hasanbeig
    ,
    Natasha Yogananda Jeppu
    ,
    Alessandro Abate
    ,
    Tom Melham
    , Daniel Kroening
  3. The Secrets Must Not Flow: Scaling Security Verification to Large Codebases
    S&P 2026 ·
    Linard Arquint
    ,
    Samarth Kishor
    ,
    Jason R. Koenig
    ,
    Joey Dodds
    , Daniel Kroening,
    Peter Müller
  4. Let a Neural Network be Your Invariant
    NeurIPS 2025 ·
    Mirco Giacobbe
    , Daniel Kroening,
    Abhinandan Pal
    ,
    Michael Tautschnig
  5. Multiple Different Black Box Explanations for Image Classifiers
    ECAI 2025 ·
    Hana Chockler
    ,
    David A. Kelly
    , Daniel Kroening
  6. Program Synthesis from Partial Traces
    PLDI 2025 ·
    Margarida Ferreira
    ,
    Victor Nicolet
    ,
    Joey Dodds
    , Daniel Kroening
  7. Quantifying the benefits of code hints for refactoring deprecated Java APIs
    FSE 2025 ·
    Cristina David
    ,
    Pascal Kesseli
    , Daniel Kroening,
    Hanliang Zhang
  8. Scalable, Validated Code Translation of Entire Projects using Large Language Models
    PLDI 2025 ·
    Hanliang Zhang
    ,
    Cristina David
    ,
    Meng Wang
    ,
    Brandon Paulsen
    , Daniel Kroening
  9. VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models
    ASE 2025 ·
    Aidan Z. H. Yang
    ,
    Yoshiki Takashima
    ,
    Brandon Paulsen
    ,
    Josiah Dodds
    , Daniel Kroening
  10. Neural Model Checking
    NeurIPS 2024 ·
    Mirco Giacobbe
    , Daniel Kroening,
    Abhinandan Pal
    ,
    Michael Tautschnig
  11. Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
    AAAI 2024 ·
    Rohan Mitta
    ,
    Hosein Hasanbeig
    ,
    Jun Wang
    , Daniel Kroening,
    Yiannis Kantaros
    ,
    Alessandro Abate