Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-8 av 8

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