Technion, Haifa, Israel;
IBM T.J. Watson Research Center;
Technion, Haifa, Israel;
concurrency; synthesis; abstract interpretation; relaxed memory models; weak memory models;
机译:宽松内存模型的部分相干抽象
机译:在宽松的内存模型下进行验证的有效抽象
机译:持久内存:抽象,抽象和抽象
机译:放松内存模型的部分连贯性抽象
机译:受生物启发的任务抽象和工作记忆泛化模型
机译:关系记忆:白天的午睡促进了一般概念的抽象
机译:松弛记忆模型的部分相干抽象