Journal Article Concurrency Debugging with Differential Schedule Projections 2016 • ACM Transactions on Software Engineering and Methodology • 25(2): Machado N, Quinta D, Lucia B, Rodrigues L
Journal Article Production-guided concurrency debugging 2016 • ACM Sigplan Notices • 51(8):1-12 Machado N, Lucia B, Rodrigues L
Conference Production-guided Concurrency Debugging 2016 • ACM Sigplan Notices • 51(8):351-362 Machado N, Lucia B, Rodrigues L
Conference A Simpler, Safer Programming and Execution Model for Intermittent Systems 2015 • ACM Sigplan Notices • 50(6):575-585 Lucia B, Ransford B
Conference Concurrency Debugging with Differential Schedule Projections 2015 • ACM Sigplan Notices • 50(6):586-595 Machado N, Lucia B, Rodrigues L
Conference Data Provenance Tracking for Concurrent Programs 2015 • 2015 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO) • 146-156 Lucia B, Ceze L
Conference Energy-interference-free System and Toolchain Support for Energy-harvesting Devices 2015 • 2015 INTERNATIONAL CONFERENCE ON COMPILERS, ARCHITECTURE AND SYNTHESIS FOR EMBEDDED SYSTEMS (CASES) • 35-36 Colin A, Sample AP, Lucia B
Conference Valor: Efficient, Software-Only Region Conflict Exceptions 2015 • ACM Sigplan Notices • 50(10):241-259 Biswas S, Zhang M, Bond MD, Lucia B
Conference Nonvolatile memory is a broken time machine 2014 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 1-3 Ransford B, Lucia B
Conference Cooperative empirical failure avoidance for multithreaded programs 2013 • ACM Sigplan Notices • 48(4):39-50 Lucia B, Ceze L
Journal Article Cooperative empirical failure avoidance for multithreaded programs 2013 • Computer architecture news • 41(1):39-50 Lucia B, Ceze L
Conference Cooperative empirical failure avoidance for multithreaded programs 2013 • International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS • 39-50 Lucia B, Ceze L
Conference IFRit 2012 • ACM Sigplan Notices • 47(10):467-484 Effinger-Dean L, Lucia B, Ceze L, Grossman D, Boehm H-J
Conference IFRit 2012 • Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA • 467-484 Effinger-Dean L, Lucia B, Ceze L, Grossman D, Boehm H-J
Journal Article Isolating and understanding concurrency errors using reconstructed execution fragments 2012 • ACM Sigplan Notices • 47(6):378 Lucia B, Wood BP, Ceze L
Journal Article Isolating and understanding concurrency errors using reconstructed execution fragments 2011 • ACM Sigplan Notices • 46(6):378-388 Lucia B, Wood BP, Ceze L
Conference Isolating and understanding concurrency errors using reconstructed execution fragments 2011 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 378-388 Lucia B, Wood BP, Ceze L
Journal Article ColorSafe 2010 • Computer architecture news • 38(3):222-233 Lucia B, Ceze L, Strauss K
Conference ColorSafe 2010 • Proceedings / Annual International Symposium on Computer Architecture. International Symposium on Computer Architecture • 222-233 Lucia B, Ceze L, Strauss K
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
