RETCON: Transactional Repair without Replay (2009)
Blundell, Colin, Raghavan, Arun, Martin, Milo
Over the past decade, there has been a surge of academic and industrial interest in optimistic concurrency, i.e., the speculative parallel execution of code regions (transactions or critical...
File System Independent Metadata Organization for TransCrypt (2009)
carried out under my supervision and that this work has not been submitted elsewhere for a degree. (Prof. Rajat Moona) (Prof. Dheeraj Sanghi)
Adding Token Counting to Directory-Based Cache Coherence (2008)
Raghavan, Arun, Blundell, Colin, Martin, Milo M.K.
The coherence protocol is a first-order design concern in multicore designs. Directory protocols are naturally scalable, as they place no restrictions on the interconnect and have minimal bandwidth...
Token tenure: PATCHing token counting using directory-based cache coherence (2008)
Arun Raghavan, Colin Blundell, Milo M. K. Martin
Traditional coherence protocols present a set of difficult tradeoffs: the reliance of snoopy protocols on broadcast and ordered interconnects limits their scalability, while directory protocols incur...
Iowa State University, Gary T. Leavens, Joint Yoonsik Cheon, Curt Clifton, Clyde Ruby, Arun Raghavan, ...
much easier to maintain than code .Rigorous semantics: can use for verification Approach .Java expressions for assertions ( la Eiffel) .Model-based specifications (Larch, VDM) Contribution .Language...