Follow
Ahmed Bouajjani
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
Verification under Intel-x86 with Persistency
P Abdulla, MF Atig, A Bouajjani, KN Kumar, P Saivasan
Proceedings of the ACM on Programming Languages 8 (PLDI), 1189-1212, 2024
2024
On Verifying Concurrent Programs Under Weak Consistency Models: Decidability and Complexity
A Bouajjani
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024
2024
IRIF, Université Paris Cité, Paris, France abou@ irif. fr
A Bouajjani
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024
2024
On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk).
A Bouajjani
CONCUR, 2:1-2:1, 2023
2023
Dynamic partial order reduction for checking correctness against transaction isolation levels
A Bouajjani, C Enea, E Román-Calvo
Proceedings of the ACM on Programming Languages 7 (PLDI), 565-590, 2023
52023
Comparing Causal Convergence Consistency Models
SM Beillahi, A Bouajjani, C Enea
International Conference on Networked Systems, 62-77, 2023
2023
Consistency and Persistency in Program Verification: Challenges and Opportunities
PA Abdulla, MF Atig, A Bouajjani, B Jonsson, KN Kumar, P Saivasan
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
2022
Automated Synthesis of Asynchronizations
SM Beillahi, A Bouajjani, C Enea, S Lahiri
International Static Analysis Symposium, 135-159, 2022
2022
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
A Bouajjani, L Holík, Z Wu
Springer Nature, 2022
2022
Data-driven numerical invariant synthesis with automatic generation of attributes
A Bouajjani, WA Boutglay, P Habermehl
International Conference on Computer Aided Verification, 282-303, 2022
22022
Verifying reachability for TSO programs with dynamic thread creation
PA Abdulla, MF Atig, A Bouajjani, K Narayan Kumar, P Saivasan
International Conference on Networked Systems, 283-300, 2022
32022
Varda: A framework for compositional distributed programming
L Prosperi, A Bouajjani, M Shapiro
International Conference on Networked Systems, 16-30, 2022
12022
Checking Robustness Between Weak Transactional Consistency Models
S Beillahi, A Bouajjani, C Enea
Programming Languages and Systems30th European Symposium on Programming …, 2021
102021
Robustness against transactional causal consistency
SM Beillahi, A Bouajjani, C Enea
Logical Methods in Computer Science 17, 2021
352021
Deciding reachability under persistent x86-TSO
PA Abdulla, MF Atig, A Bouajjani, KN Kumar, P Saivasan
Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021
192021
On the state reachability problem for concurrent programs under power
PA Abdulla, MF Atig, A Bouajjani, E Derevenetc, C Leonardsson, R Meyer
Networked Systems: 8th International Conference, NETYS 2020, Marrakech …, 2021
102021
Boosting sequential consistency checking using saturation
R Zennou, MF Atig, R Biswas, A Bouajjani, C Enea, M Erradi
Automated Technology for Verification and Analysis: 18th International …, 2020
32020
Formalizing and checking multilevel consistency
A Bouajjani, C Enea, M Mukund, G Shenoy R, SP Suresh
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
72020
Special Issues:" NETYS 2015" &" NETYS 2017"
A Bouajjani, H Fauconnier
COMPUTING 101 (9), 1225-1226, 2019
2019
Editorial, special issue of NETYS 2015
A Bouajjani, H Fauconnier
Computing 101, 1225-1226, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20