A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact)

Authors: Richter, David, Böhler, Timon, Weisenburger, Pascal, Mezini, Mira

Contributors: David Richter and Timon Böhler and Pascal Weisenburger and Mira Mezini

Subject Terms: parallelism, Software and its engineering → Concurrent programming structures, concurrency, ddc:004, do-notation, effects, Software and its engineering → Domain specific languages, Software and its engineering → Parallel programming languages

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.17

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

Authors: Suchert, Felix, Zeidler, Lisza, Castrillon, Jeronimo, Ertel, Sebastian

Contributors: Felix Suchert and Lisza Zeidler and Jeronimo Castrillon and Sebastian Ertel

Subject Terms: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16