Journal Article Conflict exceptions 2010 • Computer architecture news • 38(3):210-221 Lucia B, Ceze L, Strauss K, Qadeer S, Boehm H-J
Conference Conflict exceptions 2010 • Proceedings / Annual International Symposium on Computer Architecture. International Symposium on Computer Architecture • 210-221 Lucia B, Ceze L, Strauss K, Qadeer S, Boehm H-J
Journal Article DMP: Deterministic Shared-Memory Multiprocessing 2010 • IEEE Micro • 30(1):40-49 Devietti J, Lucia B, Ceze L, Oskin M
Conference A case for system support for concurrency exceptions 2009 • 1st Usenix Workshop on Hot Topics in Parallelism Hotpar 2009 Ceze L, Devietti J, Lucia B, Qadeer S
Conference Atom-Aid: Detecting and Surviving Atomicity Violations 2009 • IEEE Micro • 29(1):73-83 Lucia B, Devietti J, Ceze L, Strauss K
Journal Article DMP 2009 • Computer architecture news • 37(1):85-96 Devietti J, Lucia B, Ceze L, Oskin M
Conference DMP: Deterministic shared memory multiprocessing 2009 • ACM Sigplan Notices • 44(3):85-96 Devietti J, Lucia B, Ceze L, Oskin M
Conference Finding concurrency bugs with context-aware communication graphs 2009 • Micro -Annual Workshop then Annual International Symposium- • 553-563 Lucia B, Ceze L
Journal Article Atom-Aid 2008 • Computer architecture news • 36(3):277-288 Lucia B, Devietti J, Strauss K, Ceze L
Conference Atom-Aid: Detecting and Surviving Atomicity Violations*This work was supported in part by the National Science Foundation under grant CNS-0720593 and a gift from Microsoft Research. 2008 • Proceedings / Annual International Symposium on Computer Architecture. International Symposium on Computer Architecture • 277-288 Lucia B, Devietti J, Strauss K, Ceze L
