wasp mascot


Washington Advanced Systems for Programming


Relaxed memory-consistency models are a fact of life that affect the meaning of multithreaded high-level programming languages in ways language designers, language implementors, and programmers cannot ignore. Both computer architectures and compilers can reorder memory operations in unintuitive ways and it is not feasible to prohibit all such reorderings. We are interested in making this nebulous world more sane without requiring overly strict requirements nor inventing more arcane memory models.

Current contacts: Laura Effinger-Dean, Dan Grossman