Login / Signup
Chujun Geng
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Visualization Tool
End Users
Correlation Analysis
Statistical Analysis
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Chujun Geng
,
Spyros Blanas
,
Michael D. Bond
,
Yang Wang
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications.
Proc. ACM Program. Lang.
8 (PLDI) (2024)
Chujun Geng
,
Spyros Blanas
,
Michael D. Bond
,
Yang Wang
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications.
CoRR
(2024)