Tuan Phong Ngo

11 papers B 1C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2019 — conf
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial).
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
2019 J jnl
Optimal stateless model checking for reads-from equivalence under sequential consistency.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas
2018 J jnl
A Load-Buffer Semantics for Total Store Ordering.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2018 J jnl
Optimal Stateless Model Checking under the Release-Acquire Semantics.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
2018 J jnl
Optimal stateless model checking under the release-acquire semantics.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
2018 C conf
Replacing Store Buffers by Load Buffers in TSO.
VECoS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2017 — conf
Context-Bounded Analysis for POWER.
TACAS (2)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2017 J jnl
Context-Bounded Analysis for POWER.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2017 J jnl
The Benefits of Duality in Verifying Concurrent Programs under TSO.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2016 B conf
The Benefits of Duality in Verifying Concurrent Programs under TSO.
CONCUR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2015 — conf
Precise and Sound Automatic Fence Insertion Procedure under PSO.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång, Tuan Phong Ngo