Daniel Drodt

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)

Frequent co-authors

Daniel Drodt (1)Reiner Hahnle (1)Reiner Hähnle (1)

Papers (1)

Feb 25, 2026

Daniel Drodt +32w ago

RustyDL: A Program Logic for Rust

Verifying Rust code just got easier: RustyDL allows direct, source-level reasoning, paving the way for human-guided proofs of complex functional properties.

Daniel Drodt, Daniel Drodt, Reiner Hahnle +1

Code Generation & Program Synthesis

Search

Daniel Drodt

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)