Ahmed Bouajjani -

Registered user since Fri 24 Jun 2016

Name:Ahmed Bouajjani

Country:France

Affiliation:IRIF, Université Paris Diderot

Personal website:https://www.irif.univ-paris-diderot.fr/~abou/

Research interests:Formal verification, concurrency, automata, logic

Contributions

POPL 2024	Committee Member in Program Committee within the POPL-track
PLDI 2023	Author of Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels within the PLDI Research Papers-track
VMCAI 2023	Committee Member in Program Committee within the VMCAI 2023-track
SAS 2022	Author of Automated Synthesis of Asynchronizations within the SAS-track
VMCAI 2022	PC Member in Program Committee within the VMCAI 2022-track
POPL 2021	Committee Member in Program Committee within the POPL-track Author of Deciding Reachability under Persistent x86-TSO within the POPL-track
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track
VMCAI 2020	Author of Formalizing and Checking Multilevel Consistency within the VMCAI 2020-track
TACAS 2019	Committee Member in Program Committee within the TACAS 2019-track
VMCAI 2019	Committee Member in Program Committee within the VMCAI 2019-track
PLDI 2017	Committee Member in External Program Committee
POPL 2017	Author of On Verifying Causal Consistency within the POPL-track
VMCAI 2017	Session Chair of Model Checking and Synthesis (part of VMCAI) Co-chair in Program committee Session Chair of Invited talk 2 (part of VMCAI) Committee Member in Organizing Committee Program Co-Chair in Program Chairs within the VMCAI-track