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

  • Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  10951 LNCS, s 258- 276 . doi: 10.1007/978-3-319-95582-7_15
  • Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian (2017). Operational Semantics of a Weak Memory Model inspired by Go, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 50 - 52 Full text in Research Archive.

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