Daniel Schnetzer Fava

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 5

Top Topics

Probabilistic Model

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

Daniel Schnetzer Fava, Martin Steffen
Ready, set, Go!: Data-race detection and the Go language. Sci. Comput. Program. 195 (2020)
Daniel Schnetzer Fava
Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods. SEFM (2020)
Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
Operational semantics of a weak memory model with channel synchronization. J. Log. Algebraic Methods Program. 103 (2019)
Daniel Schnetzer Fava, Martin Steffen
Ready, set, Go! Data-race detection and the Go language. CoRR (2019)
Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
Operational Semantics of a Weak Memory Model with Channel Synchronization. FM (2018)