2 papers
cs.DC2011
The Impact of Memory Models on Software Reliability in Multiprocessors
Alexander Jaffe, Thomas Moscibroda, Laura Effinger-Dean +2
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated i…
cs.PL2010
Programming Idioms for Transactional Events
Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz +1
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and its impl…