Author:
Nguyen Truc L.,Schrammel Peter,Fischer Bernd,Torre Salvatore La,Parlato Gennaro
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel program analysis on path ranges;Science of Computer Programming;2024-12
2. Static Data Race Detection via Lazy Sequentialization;Lecture Notes in Computer Science;2024
3. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16
4. Parallel Program Analysis via Range Splitting;Fundamental Approaches to Software Engineering;2023
5. Ranged Program Analysis via Instrumentation;Software Engineering and Formal Methods;2023