Publications

Download BibTeX.

2016
April
PDF Specifying and Checking File System Crash-Consistency Models.
James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, and Xi Wang.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
April PDF A DNA-Based Archival Storage System.
James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, and Karin Strauss.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
April High-Density Image Storage Using Approximate Memory Cells.
Qing Guo, Karin Strauss, Luis Ceze, and Henrique Malvar.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
January PDF Optimizing Synthesis with Metasketches.
James Bornholt, Emina Torlak, Dan Grossman, and Luis Ceze.
Symposium on Principles of Programming Languages (POPL).
2015
October
PDF Probability Type Inference for Flexible Approximate Programming.
Brett Boston, Adrian Sampson, Dan Grossman, and Luis Ceze.
OOPSLA.
July PDF Latency-Tolerant Software Distributed Shared Memory.
Jacob Nelson, Brandon Holt, Brandon Myers, Preston Brigg, Luis Ceze, Simon Kahan, and Mark Oskin.
2015 USENIX Annual Technical Conference (USENIX ATC 15).
June PDF Approximate Program Synthesis.
James Bornholt, Emina Torlak, Luis Ceze, and Dan Grossman.
Workshop on Approximate Computing Across the Stack (WAX w/ PLDI).
May PDF Hardware-Software Co-Design: Not Just a Cliche.
Adrian Sampson, James Bornholt, and Luis Ceze.
Summit on Advances in Programming Languages (SNAPL).
April Approximate Computing: Making Mobile Systems More Efficient.
T. Moreau, A. Sampson, and L. Ceze.
Pervasive Computing, IEEE.
April Claret: Using Data Types for Highly Concurrent Distributed Transactions.
Brandon Holt, Irene Zhang, Dan Ports, Mark Oskin, and Luis Ceze.
Workshop on Principles and Practice of Consistency (PaPoC'15 w/ EuroSys).
March PDF Monitoring and Debugging the Quality of Results in Approximate Programs.
Michael Ringenburg, Adrian Sampson, Isaac Ackerman, Luis Ceze, and Dan Grossman.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
February PDF Data Provenance Tracking for Concurrent Programs.
Brandon Lucia and Luis Ceze.
International Symposium on Code Generation and Optimization (CGO).
February PDF SNNAP: Approximate Computing on Programmable SoCs via Neural Acceleration.
Thierry Moreau, Mark Wyse, Jacob Nelson, Adrian Sampson, Hadi Esmaeilzadeh, Luis Ceze, and Mark Oskin.
IEEE Symp. on High Performance Computer Architecture (HPCA).
2014
October
PDF Compiling Efficient Query Plans for Distributed Shared Memory.
Brandon Myers, Daniel Halperin, Jacob Nelson, Mark Oskin, Luis Ceze, and Bill Howe.
Technical Report UW-CSE-14-10-01, University of Washington.
October PDF Alembic: Automatic Locality Extraction via Migration.
Brandon Holt, Preston Briggs, Luis Ceze, and Mark Oskin.
SPLASH-OOPSLA.
June PDF Expressing and Verifying Probabilistic Assertions.
Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn McKinley, Dan Grossman, and Luis Ceze.
Conference on Programming Language Design and Implementation (PLDI).
June PDF Nonvolatile Memory is a Broken Time Machine.
Benjamin Ransford and Brandon Lucia.
ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC w/ PLDI).
March PDF Low-Level Detection of Language-Level Data Races with LARD.
Benjamin P. Wood, Luis Ceze, and Dan Grossman.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
March PDF Mercury: An Integrated, 3D-Stacked Server Design for Increasing Physical Density of Key-Value Stores.
Anthony Gutierrez, Michael Cieslak, Ronald G. Dreslinski, Luis Ceze, and Trevor Mudge.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
February PDF Grappa: A Latency-Tolerant Runtime for Large-Scale Irregular Applications.
Jacob Nelson, Brandon, Holt, Brandon Myers, Preston Briggs, Luis Ceze, Simon Kahan, and Mark Oskin.
Technical Report UW-CSE-14-02-01, University of Washington.
2013
December
PDF Approximate Storage in Solid-State Memories.
Adrian Sampson, Jacob Nelson, Karin Strauss, and Luis Ceze.
International Symposium on Microarchitecture (MICRO).
October EnerJ, the Language of Good-Enough Computing.
Adrian Sampson, Luis Ceze, and Dan Grossman.
IEEE Spectrum Feature Article.
October PDF Input-Covering Schedules for Multithreaded Programs.
Tom Bergan, Luis Ceze, and Dan Grossman.
SPLASH-OOPSLA.
October PDF Flat Combining Synchronized Global Data Structures.
Brandon Holt, Jacob Nelson, Brandon Myers, Preston Briggs, Luis Ceze, Simon Kahan, and Mark Oskin.
International Conference on PGAS Programming Models (PGAS).
August PDF Compiled Plans for In-Memory Path-Counting Queries.
Brandon Myers, Jeremy Hyrkas, Daniel Halperin, and Bill Howe.
International Workshop on In-Memory Data Management and Analytics (IMDM w/ VLDB).
June PDF DNA-based Molecular Architecture with Spatially Localized Components.
Richard Muscat, Karin Strauss, Luis Ceze, and Georg Seelig.
International Symposium on Computer Architecture (ISCA).
March Pomace: A Grappa for Non-Volatile Memory.
Jacob Nelson, Brandon Holt, Brandon Myers, Preston Briggs, Luis Ceze, Simon Kahan, and Mark Oskin.
Non-Volatile Memories Workshop (NVMW).
March PDF DDOS: Taming Nondeterminism in Distributed Systems.
Nicholas Hunt, Tom Bergan, Luis Ceze, and Steven Gribble.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
March PDF Cooperative Empirical Failure Avoidance for Multithreaded Programs.
Brandon Lucia and Luis Ceze.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
March PDF Input-Covering Schedules for Multithreaded Programs.
Tom Bergan, Dan Grossman, and Luis Ceze.
Workshop on Determinism and Correctness in Parallel Programming w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WoDet w/ ASPLOS).
2012
December
PDF Neural Acceleration for General-Purpose Approximate Programs.
Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, and Doug Burger.
International Symposium on Microarchitecture (MICRO). Selected for IEEE Micro Top Picks 2012..
November PDF Automatic Discovery of Performance and Energy Pitfalls in HTML and CSS.
Adrian Sampson, Calin Cascaval, Luis Ceze, Pablo Montesinos, and Dario Suarez Gracia.
International Symposium on Workload Characterization (IISWC).
October PDF IFRit: Interference-Free Regions for Dynamic Data-Race Detection.
Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, and Hans-J. Boehm.
SPLASH-OOPSLA.
June PDF Do we need a crystal ball for task migration?.
Brandon Myers and Brandon Holt.
USENIX Hot Topics in Parallelism (HotPar).
June Addressing Dark Silicon Challenges with Disciplined Approximate Computing.
Hadi Esmaeilzadeh, Adrian Sampson, Michael Ringenburg, Luis Ceze, Dan Grossman, and Doug Burger.
Dark Silicon Workshop w/ International Symposium on Computer Architecture (DaSi w/ ASPLOS).
June PDF Towards Neural Acceleration for General-Purpose Approximate Computing.
Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, and Doug Burger.
Workshop on Energy Efficient Design w/ International Symposium on Computer Architecture (WEED w/ ISCA).
June PDF RADISH: Always-On Sound and Complete RAce Detection In Software and Hardware.
Joseph Devietti, Benjamin Wood, Karin Strauss, Luis Ceze, Shaz Qadeer, and Dan Grossman.
International Symposium on Computer Architecture (ISCA).
March PDF Automatic Empirical Failure Avoidance for Concurrent Software.
Brandon Lucia and Luis Ceze.
Workshop on Determinism and Correctness in Parallel Programming w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WoDet w/ ASPLOS).
March PDF The Case For Merging Execution- and Language-level Determinism with MELD.
Joseph Devietti, Luis Ceze, and Dan Grossman.
Workshop on Determinism and Correctness in Parallel Programming w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WoDet w/ ASPLOS).
March PDF Architecture Support for Disciplined Approximate Programming.
Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, and Doug Burger.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
2011
August
Accelerating Data Race Detection with Minimal Hardware Support.
Rodrigo Gonzalez-Alberquilla, Karin Strauss, Luis Pinuel, and Luis Ceze.
EuroPar.
June PDF Data-Race Exceptions Have Benefits Beyond the Memory Model.
Benjamin Wood, Luis Ceze, and Dan Grossman.
Workshop on Memory System Performance and Correctness w/ Conference on Programming Language Design and Implementation (MSPC w/ PLDI).
June On the Impact of Memory Models on Software Reliability in Multiprocessors.
Laura Effinger-Dean, Alexander Jaffe, Thomas Moscibroda, Karin Strauss, and Luis Ceze.
Symposium on Principles of Distributed Computing (PODC)..
June PDF Crunching Large Graphs with Commodity Processors.
Jacob Nelson, Brandon Myers, A.H. Hunter, Preston Briggs, Dan Grossman, Mark Oskin, Carl Ebeling, Simon Kahan, and Luis Ceze.
USENIX Hot Topics on Parallelism (HotPar).
June PDF EnerJ: Approximate Data Types for Safe and General Low-Power Computation.
Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, and Dan Grossman.
Conference on Programming Language Design and Implementation (PLDI).
June PDF Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments.
Brandon Lucia, Benjamin Wood, and Luis Ceze.
Conference on Programming Language Design and Implementation (PLDI).
May PDF Operating System Implications of Fast, Cheap, Non-Volatile Memory.
Katelin Bailey, Luis Ceze, Steven D. Gribble, and Henry M. Levy.
USENIX Hot Topics on Operating Systems (HotOS).
March PDF Dense Approximate Storage in Phase-Change Memory.
Jacob Nelson, Adrian Sampson, and Luis Ceze.
Wild and Crazy Ideas w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WACI w/ ASPLOS).
March PDF The Deterministic Execution Hammer: How Well Does it Actually Pound Nails?.
Tom Bergan, Joseph Devietti, Nicholas Hunt, and Luis Ceze.
Workshop on Determinism and Correctness in Parallel Programming w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WoDet w/ ASPLOS).
March PDF RCDC: A Relaxed Consistency Deterministic Computer.
Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, and Dan Grossman.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
February Characterizing the Performance and Energy Efficiency of Lock-Free Data Structures.
Nicholas Hunt, Paramjit Singh Sandhu, and Luis Ceze.
Workshop on Interaction between Compilers and Computer Architectures w/ International Symposium on High-Performance Computer Architecture (INTERACT w/ HPCA).
February PDF Checked Load: Architectural Support for JavaScript Type-Checking on Mobile Processors.
Owen Anderson, Emily Fortuna, Luis Ceze, and Susan Eggers.
International Symposium on High-Performance Computer Architecture (HPCA).
PDF System Introspection with Hardware Watchmachines.
Nicholas Hunt, Brandon Lucia, and Luis Ceze.
Fun Ideas and Thoughts w/ Conference on Programming Language Design and Implementation (PLDI FIT).
2010
December
PDF A Limit Study of JavaScript Parallelism.
Emily Fortuna, Owen Anderson, Luis Ceze, and Susan Eggers.
International Symposium on Workload Characterization (IISWC).
October PDF Deterministic Process Groups in dOS.
Tom Bergan, Nicholas Hunt, Luis Ceze, and Steve Gribble.
Symposium on Operating Systems Design and Implementation (OSDI).
October Composable Specifications for Structured Shared-Memory Communication.
Benjamin Wood, Adrian Sampson, Luis Ceze, and Dan Grossman.
SPLASH-OOPSLA.
June PDF Conflict Exceptions: Providing Simple Concurrent Language Semantics with Precise Hardware Exceptions for Data Races.
Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, and Hans-J. Boehm.
International Symposium on Computer Architecture (ISCA).
June PDF ColorSafe: Architectural Support for Debugging and Dynamically Avoiding Multi-variable Atomicity Violations.
Brandon Lucia, Luis Ceze, and Karin Strauss.
International Symposium on Computer Architecture (ISCA).
June PDF Lock Prediction.
Brandon Lucia, Joseph Devietti, Tom Bergan, Luis Ceze, and Dan Grossman.
USENIX Hot Topics on Parallelism (HotPar).
March PDF CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution.
Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, and Dan Grossman.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
February PDF DMP: Deterministic Shared Memory Multiprocessing.
Joseph Devietti, Brandon Lucia, Luis Ceze, and Mark Oskin.
IEEE Micro Top Picks in Computer Architecture.
January Shared-Memory Multiprocessors.
Luis Ceze.
Chapter in {Encyclopedia of Parallel Computing, Editor: David Padua}.
2009
December
PDF Finding Concurrency Bugs with Context-Aware Communication Graphs.
Brandon Lucia and Luis Ceze.
International Symposium on Microarchitecture (MICRO).
December PDF The Bulk Multicore Architecture for Improved Programmability.
Josep Torrellas, Luis Ceze, James Tuck, Calin Cascaval, Pablo Montesinos, Wonsun Ahn, and Milos Prvulovic.
Communication of the ACM.
June PDF Concurrency Discovery for Very Large Windows of Execution.
Jacob Nelson and Luis Ceze.
Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures w/ International Symposium on Computer Architecture (PESPMA w/ ISCA).
June Two Hardware-based Approaches for Deterministic Multiprocessor Replay.
Derek R. Hower, Pablo Montesinos, Luis Ceze, Mark D. Hill, and Josep Torrellas.
Research Highlights, Communication of the ACM.
June PDF The Case for System Support for Concurrency Exceptions.
Luis Ceze, Joseph Devietti, Brandon Lucia, and Shaz Qadeer.
USENIX Hot Topics on Parallelism (HotPar).
March PDF DMP: Deterministic Shared Memory Multiprocessing.
Joseph Devietti, Brandon Lucia, Luis Ceze, and Mark Oskin.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Selected for IEEE Micro Top Picks 2009..
March PDF Self-Powered Processors.
Andrew Putnam, Luis Ceze, and Bryna Hazelton.
Wild and Crazy Ideas w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WACI w/ ASPLOS).
February Atom-Aid: Detecting and Surviving Atomicity Violations.
Brandon Lucia, Joseph Devietti, Karin Strauss, and Luis Ceze.
IEEE Micro Top Picks in Computer Architecture.
February SoftSig: Software-Exposed Hardware Signatures for Memory Disambiguation.
James Tuck, Wonsun Ahn, Luis Ceze, Josep Torrellas, and Luis Ceze.
IEEE Micro Top Picks in Computer Architecture.
January PDF Programming and Debugging Shared Memory Programs with Data Coloring.
Luis Ceze, Christoph Praun, Calin Cascaval, Pablo Montesinos, and Josep Torrellas.
Workshop on Compilers for Parallel Computing (CPC).
January PDF Using Checkpoint-Assisted Value Prediction to Hide L2 Misses.
Luis Ceze, Karin Strauss, James Tuck, Jose Renau, and Josep Torrellas.
ACM Transactions on Architecture and Code Optimization (TACO).
2008
June
PDF Atom-Aid: Detecting and Surviving Atomicity Violations.
Brandon Lucia, Joseph Devietti, Karin Strauss, and Luis Ceze.
International Symposium on Computer Architecture (ISCA). Selected for IEEE Micro Top Picks 2008..
June DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Efficiently.
Pablo Montesinos, Luis Ceze, and Josep Torrellas.
International Symposium on Computer Architecture (ISCA).
June PDF Explicitly Parallel Programming with Shared-Memory is Insane: At Least Make it Deterministic!.
Joseph Devietti, Brandon Lucia, Mark Oskin, and Luis Ceze.
Workshop on Software and Hardware Challenges of Manycore Platforms w/ International Symposium on Computer Architecture (SHCMP w/ ISCA).
March SoftSig: Software-Exposed Hardware Signatures for Memory Disambiguation.
James Tuck, Wonsun Ahn, Luis Ceze, and Josep Torrellas.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Selected for IEEE Micro Top Picks 2008..
March Concurrency Control with Data Coloring.
Luis Ceze, Christoph Praun, Calin Cascaval, Pablo Montesinos, and Josep Torrellas.
Workshop on Memory Systems Performance and Correctness w/ International Conference on Architectural Support for Programming Languages and Operating Systems (MSPC w/ ASPLOS).
2007
June
PDF BulkSC: Bulk Enforcement of Sequential Consistency.
Luis Ceze, James Tuck, Pablo Montesinos, and Josep Torrellas.
International Symposium on Computer Architecture (ISCA).
February PDF Implicit Parallelism with Ordered Transactions.
Christoph Praun, Luis Ceze, and Calin Cascaval.
Principles and Practice of Parallel Programming (PPoPP).
February PDF Colorama: Architectural Support for Data-Centric Synchronization.
Luis Ceze, Pablo Montesinos, Christoph Praun, and Josep Torrellas.
International Symposium on High-Performance Computer Architecture (HPCA).
2006
December
PDF Scalable Cache Miss Handling for High Memory Level Parallelism.
James Tuck, Luis Ceze, and Josep Torrellas.
International Symposium on Microarchitecture (MICRO).
June PDF Bulk Disambiguation of Speculative Threads in Multiprocessors.
Luis Ceze, James Tuck, Calin Cascaval, and Josep Torrellas.
International Symposium on Computer Architecture (ISCA).
February PDF POSH: A TLS Compiler that Exploits Program Structure.
Wei Liu, James Tuck, Luis Ceze, Wonsun Ahn, Karin Strauss, Jose Renau, and Josep Torrellas.
Principles and Practice of Parallel Programming (PPoPP).
February PDF Are We Ready for High Memory-Level Parallelism?.
Luis Ceze, James Tuck, and Josep Torrellas.
Workshop on Memory Performance Issues w/ International Symposium on High-Performance Computer Architecture (WMPI w/HPCA). Also appears in SIGMICRO Newsletter selection from WMPI-2006..
January PDF Energy-Efficient Thread-Level Speculation on a CMP.
Jose Renau, Karin Strauss, Luis Ceze, Smruti Sarangi, James Tuck, Wei Liu, and Josep Torrellas.
IEEE Micro Top Picks in Computer Architecture.
2005
June
PDF Thread-Level Speculation on a CMP Can Be Energy Efficient.
Jose Renau, Karin Strauss, Luis Ceze, Wei Liu, Smruti Sarangi, James Tuck, and Josep Torrellas.
International Conference on Supercomputing (ICS). Selected for IEEE Micro Top Picks 2005..
June PDF Tasking with Out-of-Order Spawn in TLS Chip Multiprocessors: Microarchitecture and Compilation.
Jose Renau, James Tuck, Wei Liu, Luis Ceze, Karin Strauss, and Josep Torrellas.
International Conference on Supercomputing (ICS). Selected for IEEE Micro Top Picks 2005..
2004
December
PDF CAVA: Hiding L2 Misses with Checkpoint-Assisted Value Prediction.
Luis Ceze, Karin Strauss, James Tuck, Jose Renau, and Josep Torrellas.
IEEE Computer Architecture Letters (CAL).
2003
December
An Overview Of The Blue Gene/L System Software Organization.
George Almasi, Ralph Bellofatto, Jose Brunheroto, Calin Cascaval, Jose G. Castanos, Paul Crumley, C. Christopher Erway, Derek Lieber, Xavier Martorell, Jose E. Moreira, Ramendra K. Sahoo, Alda Sanomiya, Luis Ceze, and Karin Strauss.
Parallel Processing Letters.
October PDF An Overview Of The Blue Gene/L System Software Organization.
George Almasi, Ralph Bellofatto, Jose Brunheroto, Calin Cascaval, Jose G. Castanos, Luis Ceze, and others.
International Conference on Parallel and Distributed Computing (Euro-Par).
March PDF Full Circle: Simulating Linux Clusters on Linux Clusters.
Luis Ceze, Karin Strauss, and others.
LCI International Conference on Linux Clusters (CWCE). Selected as one of the top 3 papers in the conference..
2002
December
PDF Blue Gene/L, a system-on-a-chip.
G. Almasi and others.
IEEE International Conference on Cluster Computing (CC).
November PDF An Overview of the Blue Gene/L Supercomputer.
N. R. Adiga and others.
IEEE Supercomputing (SC).
February PDF Evaluation of a Multithreaded Architecture for Cellular Computing.
Calin Cascaval, Jose G. Castanos, Luis Ceze, Monty Denneau, Manish Gupta, Derek Lieber, Jose E. Moreira, Karin Strauss, and Henry S. Warren Jr.
International Symposium on High-Performance Computer Architecture (HPCA).
February PDF Cellular Supercomputing with System-on-a-Chip.
G. Almasi and others.
International Solid State Circuits Conference (ISSCC).
2000
October
PDF An environment for easy cross synchronization of multimedia Web based material.
I. Stiubiener, L.H. Ceze, K. Strauss, C.B. Margi, R.M. Silveira, and W.V. Ruggiero.
Frontiers in Education.