Max Planck Institute for Software Systems (MPI-SWS);
Max Planck Institute for Software Systems (MPI-SWS);
Max Planck Institute for Software Systems (MPI-SWS);
concurrency bugs; latent bugs; linearizability; semantic bugs;
机译:多线程不规则应用的高级合成自动化错误检测
机译:使用随机隔离查找与并发相关的错误
机译:芯片多处理器上运行的多线程应用程序并行重用距离分布的解析推导
机译:在大型多线程应用程序中找到复杂的并发错误
机译:查找和容忍并发错误
机译:寻找最优驾驶员节点以控制复杂网络的新算法及其在药物靶标识别中的应用
机译:在大型多线程应用程序中查找复杂的并发错误