Conference Chain: Tasks and Channels for Reliable Intermittent Programs 2016 • ACM Sigplan Notices • 51(10):514-530 Colin A, Lucia B
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) 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: Interference-free regions for dynamic data-race detection 2012 • Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA • 467-483 Effinger-Dean L, Lucia B, Ceze L, Grossman D, Boehm HJ
Conference IFRit: Interference-free regions for dynamic data-race detection 2012 • ACM Sigplan Notices • 47(10):467-483 Effinger-Dean L, Lucia B, Ceze L, Grossman D, Boehm HJ
Journal Article Isolating and understanding concurrency errors using reconstructed execution fragments 2012 • ACM Sigplan Notices • 47(6):378 Lucia B, Wood BP, Ceze L
Conference Playing cupid: The IDE as a matchmaker for plug-ins 2012 • 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012 - Proceedings • 1-6 Schiller TW, Lucia B
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: Architectural support for debugging and dynamically avoiding multi-variable atomicity violations 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: Simplifying concurrent language semantics with precise hardware exceptions for data-races 2010 • Proceedings / Annual International Symposium on Computer Architecture. International Symposium on Computer Architecture • 210-221 Lucia B, Ceze L, Strauss K, Qadeer S, Boehm HJ
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