News | Daniel S. Fava

[Feb] My work on the Go data-race detector is part of Go 1.16. See the relase notes under Runtime.

[July] Through my research, we unveiled and fixed a bug in the Go data-race detector. I’ll be presenting the work at SEFM in September.
[April] Our paper on Go and race detection was accepted for publication by the Science of Computer Programming journal
[March] Working on a new synchronization primitive for the Thread Sanitizer Library (TSan) in support of a fix to the Go data-race detector
[February] My first small contribution to LLVM was merged!

[November] Presenting at the 22^nd Brazilian Symposium on Formal Methods, São Paulo, Brazil
[November] Presenting at the 31^st Nordic Workshop on Programming Theory, Tallinn, Estonia
[October] Teaching weak memory and channel communication at INF5170 Models of Concurrency
[October] Giving a talk at the Go Oslo User Group meetup
[September] Helping organize the 17^th International Conference on Software Engineering and Formal Methods
[May] Visiting Professor Mendler in Bamberg, Germany, as part of the Syncopia project
[April] Attending the Midlands Graduate School on CS Foundations, Birmingham, UK

[October] Helping organize the 30^th Nordic Workshop on Programming Theory, Oslo, Norway
[September] Nominated for teaching award, course INF3110 Programming Languages
[July] Presenting at the 22^nd International Symposium on Formal Methods, Oxford, UK
[July] Attending the School on Foundations of Programming and Software, Oxford, UK
[April] Attending the Communicating Scientific Research class at Simula, Norway

[December] Nominated for teaching award, course INF4140
[November] Presenting at the Nordic Workshop on Programming Theory, Turku, Finland (slides)
[September] Celebrating 50 years of Simula at the Ole-Johan Dahl’s building in Oslo, Norway
[September] Won best presentation award at the PhD symposium of iFM, Turin, Italy (slides)
[August] Attending the Marktoberdorf Summer School, Germany