Cited By
View all- Gao MChakraborty SOzkan BAamodt TJerger NSwift M(2023)Probabilistic Concurrency Testing for Weak Memory ProgramsProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 210.1145/3575693.3575729(603-616)Online publication date: 27-Jan-2023
- Jeong DLee BShin IKwon Y(2023)SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179398(2104-2121)Online publication date: May-2023
- Marmanis IKokologiannakis MVafeiadis V(2023)Reconciling Preemption Bounding with DPORTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-30823-9_5(85-104)Online publication date: 22-Apr-2023
- Show More Cited By