BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Mutluergil:Suha_Orhun

Contributed to:

CAV (2) 20172017
CAV (2) 20182018
PLDI 20192019

Wrote 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.
Replication-aware linearizability (CW, CE, SOM, GP), pp. 980–993.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.