Lisza Zeidler

According to our database, Lisza Zeidler authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact).

Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel

Dagstuhl Artifacts Ser., 2023

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs.

Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023