Daniel Schnetzer Fava

Doctoral Research Fellow - Programming
Image of Daniel Schnetzer Fava
Norwegian version of this page
Username
Visiting address Gaustadalléen 23B None 0373 OSLO
Postal address Postboks 1080 0316 OSLO
Other affiliations Faculty of Mathematics and Natural Sciences (Student)

Publications

View all works in Cristin

  • Fava, Daniel Schnetzer; Johnsen, Einar Broch & Owe, Olaf (ed.) (2018). Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo.  ISBN 978-82-7368-450-9.  84 s.

View all works in Cristin

  • Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization. Full text in Research Archive.
  • Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian (2017). An operational semantics for a weak memory model with buffered writes, message passing, and goroutines. Full text in Research Archive.

View all works in Cristin

Published Aug. 8, 2016 3:10 PM - Last modified June 21, 2017 12:37 PM