|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
2020
|
1. |
Fava, Daniel Schnetzer. Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector. I: Software Engineering and Formal Methods. Springer 2020 ISBN 9783030587673. s. 24-40 UiO
Untitled
|
|
2. |
Fava, Daniel Schnetzer; Steffen, Martin. Ready, set, Go! Data-race detection and the Go language. Science of Computer Programming 2020 ;Volum 195. s. - UiO
Untitled
|
2019
|
3. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker. Operational semantics of a weak memory model with channel synchronization. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 103. s. 1-30 UiO HVL
Untitled
|
2018
|
4. |
Fava, Daniel Schnetzer; Johnsen, Einar Broch; Owe, Olaf. Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo 2018 (ISBN 978-82-7368-450-9) 84 s. UiO
Untitled
|
|
5. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker. Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 10951 LNCS. s. 258-276 UiO HVL
Untitled
|
|
6. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker. Operational Semantics of a Weak Memory Model with Channel Synchronization. Oslo: Faculty of mathematics and natural sciences, University of Oslo 2018 (ISBN 978-82-7368-442-4) 40 s. UiO
Untitled
|
2017
|
7. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian. An operational semantics for a weak memory model with buffered writes, message passing, and goroutines. Oslo: Faculty of mathematics and natural sciences, University of Oslo 2017 (ISBN 978-82-7368-431-8) 19 s. UiO
Untitled
|
|
8. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian. Operational Semantics of a Weak Memory Model inspired by Go. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 50-52 UiO
Untitled
|
|