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

Viktor Vafeiadis

  1. Bridging the gap between programming languages and hardware weak memory models
    2018/07/20 by Anton Podkopaev, Ori Lahav, Viktor Vafeiadis · 2 voices · 1 citation
    Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Parallel Computing and Optimization Techniques