Best Presentation at the Doctoral Symposium of ``integrated Formal Methods'' iFM 2017
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 Sep. 25, 2017 9:01 PM
- Last modified Sep. 25, 2017 9:05 PM