Cited By
View all- Liew DCogumbreiro TLange J(2024)Sound and Partially-Complete Static Analysis of Data-Races in GPU ProgramsProceedings of the ACM on Programming Languages10.1145/36897978:OOPSLA2(2434-2461)Online publication date: 8-Oct-2024
- Holter KHennoste JLam PSaan SVojdani VEdwards JTaeumel M(2024)Abstract Debuggers: Exploring Program Behaviors using Static Analysis ResultsProceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3689492.3690053(130-146)Online publication date: 17-Oct-2024
- Giacobazzi RMastroeni IPerantoni E(2024)Adversities in Abstract Interpretation - Accommodating Robustness by Abstract InterpretationACM Transactions on Programming Languages and Systems10.1145/364930946:2(1-31)Online publication date: 24-Feb-2024
- Show More Cited By