Lisza Zeidler

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Object Oriented Languages

Top Venues

Dagstuhl Artifacts Ser.

Publications

Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. ECOOP (2023)
Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)