Collaborated with:C.Enea A.Bouajjani M.Emmi S.Tasiran C.Wang G.Petri
Talks about:lineariz (2) use (2) abstract (1) program (1) forward (1) replic (1) reduct (1) reason (1) simul (1) prove (1)
Person: Suha Orhun Mutluergil
DBLP: Mutluergil:Suha_Orhun
Contributed to:
20172018
2019Wrote 3 papers:
- CAV-2017-BouajjaniEEM #proving #simulation #using
- Proving Linearizability Using Forward Simulations (AB, ME, CE, SOM), pp. 542–563.
- CAV-2018-BouajjaniEMT #abstraction #reasoning #reduction #source code #using
- Reasoning About TSO Programs Using Reduction and Abstraction (AB, CE, SOM, ST), pp. 336–353.
- PLDI-2019-WangEMP
- Replication-aware linearizability (CW, CE, SOM, GP), pp. 980–993.