Daniel Schnetzer Fava
Stipendiat
-
PROG Programmering

English version of this page
E-post
danielsf@ifi.uio.no
Brukernavn
Besøksadresse
Gaustadalléen 23B
0373 Oslo
Postadresse
Postboks 1080
0316 Oslo
Andre tilknytninger
Det matematisk-naturvitenskapelige fakultet
(Student)
Publikasjoner
- Fava, Daniel Schnetzer & Steffen, Martin (2020). Ready, set, Go! Data-race detection and the Go language. Science of Computer Programming. ISSN 0167-6423. 195 . doi: 10.1016/j.scico.2020.102473
- 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 Fulltekst i vitenarkiv.
- 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.
- 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.
Publisert 8. aug. 2016 15:10
- Sist endret 21. juni 2017 12:37