I am currently working on my PhD dissertation which will be about
sequential consistency as a shared memory model and the verification
thereof. The outline of the dissertation is (very crudely) as
- The transformation of sequential consistency checking of
individual concurrent executions to a satisfiability problem.
- A novel framework based on language theory for the formalization
of sequential consistency checking and some approximate results.
- An elaboration on the definition of sequential consistency that
has been used so far; a discussion on the "undecidability" result and a
proposition for a new definition.
Physical work address
130 S. 900 E. Apt #307
Salt Lake City, 84102
School of Computing,
University of Utah
Direct: (+1) (801) 581 4162
Fax: (+1) (801) ---
Email: _sezgin "funny a"