Webpages tagged with «Go»
Published July 31, 2018 2:33 PM
Published Sep. 25, 2017 9:01 PM
The presentation by Daniel Fava at the Doctoral Symposium of the 13th International integrated Formal Methods (iFM 2017) won the award for the symposium's best presentation (shared with a second winner). The presentation covers joint work with Martin Steffen, Volker Stolz, and Stian Valle, about ``An Operational Semantics for a Weak Memory Model with Buffered Writes, Message Passing, and Goroutines''.
Published Dec. 1, 2014 8:23 AM