Lightweight verification of array indexing. - Martin Kellogg; Vlastimil Dort; Suzanne Millstein; Michael D. Ernst (ISSTA, 2018)

Reference Mutability for DOT. - Vlastimil Dort; Ondrej Lhoták (ECOOP, 2020)

Pure Methods for roDOT. - Vlastimil Dort; Yufeng Li; Ondrej Lhoták; Pavel Parízek (ECOOP, 2024)

Pure Methods for roDOT (Artifact). - Vlastimil Dort; Yufeng Li; Ondrej Lhoták; Pavel Parízek (Dagstuhl Artifacts Ser., 2024)