Author:
Abdulla Parosh Aziz,Atig Mohamed Faouzi,Jonsson Bengt,Leonardsson Carl
Publisher
Springer International Publishing
Reference49 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2015
2. Abdulla, P.A., Aronis, S., Jonsson, B., Sagonas, K.F.: Optimal dynamic partial order reduction. In: POPL, pp. 373–384. ACM (2014)
3. Lecture Notes in Computer Science;PA Abdulla,2012
4. Abdulla, P.A., Atig, M.F., Jonsson, B., Leonardsson, C.: Stateless model checking for POWER (to appear)
5. Lecture Notes in Computer Science;J Alglave,2013
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16
2. Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels;Proceedings of the ACM on Programming Languages;2023-06-06
3. Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models;ACM Transactions on Programming Languages and Systems;2023-03-03
4. AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27
5. Unblocking Dynamic Partial Order Reduction;Computer Aided Verification;2023