Daniel Schnetzer Fava

Stipendiat - PROG Programmering
Bilde av Daniel Schnetzer Fava
English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 0316 Oslo
Andre tilknytninger Det matematisk-naturvitenskapelige fakultet (Student)

Publikasjoner

Se alle arbeider i Cristin

  • Fava, Daniel Schnetzer (2020). Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector. Springer.  ISBN 9783030587673.
  • 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.

Se alle arbeider i Cristin

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

Se alle arbeider i Cristin

Publisert 8. aug. 2016 15:10 - Sist endret 21. juni 2017 12:37