☰

Ali Sezgin, Ph.D.

Affiliations: 
2004 University of Utah, Salt Lake City, UT 
Area:
Computer Science
Google:
"Ali Sezgin"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Ganesh Gopalakrishnan grad student 2004 University of Utah
 (Formalization and verification of shared memory.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Sezgin A, Gopalakrishnan G. (2005) On the decidability of shared memory consistency verification Proceedings - Third Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'05. 2005: 199-206
Sezgin A, Gopalakrishnan G. (2005) On the definition of sequential consistency Information Processing Letters. 96: 193-196
See more...