안기영 (Ahn, Ki Yung): Cache Coherence Protocol Verification Using Omega

Recently we submitted a paper to CAV 2008

NWRC 2007 IT session keynote slide ¶

Reliable Cache Coherence Protocol Design using Omega: a language with and advanced type system. Ahn Ki Yung. NWRC 2007 IT session talk.

ccpKSEA2007.pdf (3.65 MB) (slide errata: In the Miss rule ts should be ms.)

[edit]

SOSP 2007 poster session ¶

Reliable Cache Coherence Protocol Design using Omega: a language with and advanced type system. Ahn Ki Yung. SOSP 2007 poster.

ccpSOSP07poster.pdf (1.52 MB) (poster errata: In the formal semantics, P should be C. In the Miss rule ts should be ms.)

[edit]

Research Proficiency Exam paper ¶

My RPE paper studying about DASH cache coherence protocol verification using a programming language called [http]

Omega.

The paper is on the PSU CS homepage at http://cs.pdx.edu/user/researchtrs

You can also find this paper at http://cs.pdx.edu/~kya/papers/ccpdashTR/ in pdf, ps and tex.

es.enst.fr/~najm/wg61/ IFIP TC6 Working Group 6.1: Architectures and Protocols for Distributed Systems. There are some related conferences but not sure about the schedule TODO search