关注
Chujun Geng
Chujun Geng
The Ohio State University
在 buckeyemail.osu.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
C Geng, S Blanas, MD Bond, Y Wang
Proceedings of the ACM on Programming Languages 8 (PLDI), 343-367, 2024
2024
系统目前无法执行此操作，请稍后再试。