Skip to main content
Süha Orhun MutluergilFaculty of Engineering and Natural SciencesFaculty Member(216) 568 7040suhamutluergilsabanciunivedu

Faculty Member

Areas of Interest

software verification and validation, concurrency theory, linearizability, deductive verification, developing testing methods with provable guarantees, proposing reasoning mechanisms for shared-memory and distributed concurrent programs focusing on block-chain platforms

Publications Prior to SU

Berk ÇirisciConstantin EneaAzadeh FarzanSuha Orhun Mutluergil:Root Causing Linearizability Violations. CAV (1) 2020350-375

Bernhard KraglConstantin EneaThomas A. HenzingerSuha Orhun MutluergilShaz Qadeer:Inductive sequentialization of asynchronous programs. PLDI 2020227-242

Suha Orhun MutluergilSerdar Tasiran:A mechanized refinement proof of the Chase-Lev deque using a proof system. Computing 101(1)59-74 (2019)

Chao Wang, Constantin EneaSuha Orhun MutluergilGustavo Petri:Replication-aware linearizability. PLDI 2019980-993

  • Suha Orhun MutluergilSerdar Tasiran: A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System. NETYS 2016280-294