Daniel Schnetzer Fava

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

Publications

  • 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; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization.
  • 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

Research groups