Cited By
View all- Kokologiannakis MMarmanis IVafeiadis V(2024)SPORE: Combining Symmetry and Partial Order ReductionProceedings of the ACM on Programming Languages10.1145/36564498:PLDI(1781-1803)Online publication date: 20-Jun-2024
- Faqrizal INivon QSalaün GFuria CLopes APlat NGnesi S(2024)Automated Repair of Violated Eventually Properties in Concurrent ProgramsProceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1145/3644033.3644383(66-76)Online publication date: 14-Apr-2024
- Farzan AKlumpp DPodelski A(2024)Commutativity Simplifies Proofs of Parameterized ProgramsProceedings of the ACM on Programming Languages10.1145/36329258:POPL(2485-2513)Online publication date: 5-Jan-2024
- Show More Cited By