3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.PL2019
Reconciling Event Structures with Modern Multiprocessors
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav +2
Weakestmo is a recently proposed memory consistency model that uses event structures to resolve the infamous "out-of-thin-air" problem. Although it has been shown to have important…
cs.SE2019★ 3 cited
Having Fun in Learning Formal Specifications
I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian +11
There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experie…