vix.ing · top · new · best · stats · spec

Dodds, Mike

  1. Compositional Verification of Compiler Optimisations on Relaxed Memory
    2018/02/16 by Dodds, Mike, Batty, Mark, Gotsman, Alexey · 2 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)
  2. Proving Linearizability Using Partial Orders (Extended Version)
    2017/01/19 by Khyzha, Artem, Dodds, Mike, Gotsman, Alexey +1 · 1 citation
    #Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)