Cited By
View all- Thokair MZhang MMathur UViswanathan M(2023)Dynamic Race Detection with O(1) SamplesProceedings of the ACM on Programming Languages10.1145/35712387:POPL(1308-1337)Online publication date: 11-Jan-2023
- Schwarz MSaan SSeidl HApinis KErhard JVojdani V(2021)Improving Thread-Modular Abstract InterpretationStatic Analysis10.1007/978-3-030-88806-0_18(359-383)Online publication date: 17-Oct-2021
- Liu PWahl TReps T(2020)Interprocedural Context-Unbounded Program Analysis Using Observation SequencesACM Transactions on Programming Languages and Systems10.1145/341858342:4(1-34)Online publication date: 7-Dec-2020
- Show More Cited By