3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PF2024
Scaler: Efficient and Effective Cross Flow Analysis
Steven, Tang, Mingcan Xiang +4
Performance analysis is challenging as different components (e.g.,different libraries, and applications) of a complex system can interact with each other. However, few existing too…
cs.PL2024★ 3 cited
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
Chujun Geng, Spyros Blanas, Michael D. Bond +1
This paper presents the first dynamic predictive analysis for data store applications under weak isolation levels, called Isopredict. Given an observed serializable execution of a…