3

On Using Separation Logic to Detect Snapshot Isolation Anomalies in Software Transactional Memory
N/A
Ricardo J. Dias, João M. Lourenço
Posted May 1, 2011
Cite
Detecting Snapshot Isolation Anomalies in Transactional Memory
N/A
Ricardo J. Dias, João M. Lourenço
Posted Nov 1, 2010
Cite
NGenVM: New Generation Execution Environments
N/A
João M. Lourenço, Nuno Preguiça, Ricardo J. Dias, João Nuno Silva, João Garcia, Luís Veiga
Posted Jan 1, 2009
Cite