Luis Ceze
DNA-based Molecular Architecture with Spatially Localized Components
R. Muscat, K. Strauss, L. Ceze, G. Seelig, International Symposium on Computer Architecture (ISCA), 2013.
Downloads: PDF
Cooperative Empirical Failure Avoidance for Multithreaded Programs
B. Lucia, L. Ceze, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2013.
Downloads: PDF
DDOS: Taming Nondeterminism in Distributed Systems
N. Hunt, T. Bergan, L. Ceze, S. Gribble, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2013.
Downloads: PDF
Input-Covering Schedules for Multithreaded Programs
T. Bergan, D. Grossman, L. Ceze, Workshop on Determinism and Correctness in Parallel Programming w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WoDet w/ ASPLOS), 2013.
Downloads: PDF
Neural Acceleration for General-Purpose Approximate Programs
H. Esmaeilzadeh, A. Sampson, L. Ceze, D. Burger, International Symposium on Microarchitecture (MICRO), 2012.
Selected for IEEE Micro Top Picks 2012.
Downloads: PDF
Automatic Discovery of Performance and Energy Pitfalls in HTML and CSS
A. Sampson, C. Cascaval, L. Ceze, P. Montesinos, D.S. Gracia, International Symposium on Workload Characterization (IISWC), 2012.
Downloads: PDF
Addressing Dark Silicon Challenges with Disciplined Approximate Computing
H. Esmaeilzadeh, A. Sampson, M. Ringenburg, L. Ceze, D. Grossman, D. Burger, Dark Silicon Workshop w/ International Symposium on Computer Architecture (DaSi w/ ASPLOS), 2012.
Downloads: PDF
RADISH: Always-On Sound and Complete RAce Detection In Software and Hardware
J. Devietti, B. Wood, K. Strauss, L. Ceze, S. Qadeer, D. Grossman, International Symposium on Computer Architecture (ISCA), 2012.
Downloads: PDF
Towards Neural Acceleration for General-Purpose Approximate Computing
H. Esmaeilzadeh, A. Sampson, L. Ceze, D. Burger, Workshop on Energy Efficient Design w/ International Symposium on Computer Architecture (WEED w/ ISCA), 2012.
Downloads: PDF
Architecture Support for Disciplined Approximate Programming
H. Esmaeilzadeh, A. Sampson, L. Ceze, D. Burger, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2012.
Downloads: PDF
Automatic Empirical Failure Avoidance for Concurrent Software
B. Lucia, L. 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.
Downloads: PDF
The Case For Merging Execution- and Language-level Determinism with MELD
J. Devietti, L. Ceze, D. Grossman, Workshop on Determinism and Correctness in Parallel Programming w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WoDet w/ ASPLOS), 2012.
Downloads: PDF
Crunching Large Graphs with Commodity Processors
J. Nelson, B. Myers, A.H. Hunter, P. Briggs, D. Grossman, M. Oskin, C. Ebeling, S. Kahan, L. Ceze, USENIX Hot Topics on Parallelism (HotPar), 2011.
Downloads: PDF
EnerJ: Approximate Data Types for Safe and General Low-Power Computation
A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, D. Grossman, Conference on Programming Language Design and Implementation (PLDI), 2011.
Downloads: PDF
Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments
B. Lucia, B. Wood, L. Ceze, Conference on Programming Language Design and Implementation (PLDI), 2011.
Downloads: PDF
On the Impact of Memory Models on Software Reliability in Multiprocessors
L. Effinger-Dean, A. Jaffe, T. Moscibroda, K. Strauss, L. Ceze, Symposium on Principles of Distributed Computing (PODC)., 2011.
Downloads: ACM DL
Dense Approximate Storage in Phase-Change Memory
J. Nelson, A. Sampson, L. Ceze, Wild and Crazy Ideas w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WACI w/ ASPLOS), 2011.
Downloads: PDF
RCDC: A Relaxed Consistency Deterministic Computer
J. Devietti, J. Nelson, T. Bergan, L. Ceze, D. Grossman, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2011.
Downloads: PDF
The Deterministic Execution Hammer: How Well Does it Actually Pound Nails?
T. Bergan, J. Devietti, N. Hunt, L. Ceze, Workshop on Determinism and Correctness in Parallel Programming w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WoDet w/ ASPLOS), 2011.
Downloads: PDF
Characterizing the Performance and Energy Efficiency of Lock-Free Data Structures
N. Hunt, P.S. Sandhu, L. Ceze, Workshop on Interaction between Compilers and Computer Architectures w/ International Symposium on High-Performance Computer Architecture (INTERACT w/ HPCA), 2011.
Downloads: IEEExplore
Checked Load: Architectural Support for JavaScript Type-Checking on Mobile Processors
O. Anderson, E. Fortuna, L. Ceze, S. Eggers, International Symposium on High-Performance Computer Architecture (HPCA), 2011.
Downloads: PDF
System Introspection with Hardware Watchmachines
N. Hunt, B. Lucia, L. Ceze, Fun Ideas and Thoughts w/ Conference on Programming Language Design and Implementation (PLDI FIT), 2011.
Downloads: PDF
System Introspection with Hardware Watchmachines
N. Hunt, B. Lucia, L. Ceze, Fun Ideas and Thoughts w/ Conference on Programming Language Design and Implementation (PLDI FIT), 2011.
Downloads: PDF
Checked Load: Architectural Support for JavaScript Type-Checking on Mobile Processors
O. Anderson, E. Fortuna, L. Ceze, S. Eggers, Proc. of the International Symposium on High-Performance Computer Architecture (HPCA), 2011.
Data-Race Exceptions Have Benefits Beyond the Memory Model
B. Wood, L. Ceze, D. Grossman, Workshop on Memory System Performance and Correctness w/ Conference on Programming Language Design and Implementation (MSPC w/ PLDI), 2011.
Downloads: PDF
Operating System Implications of Fast, Cheap, Non-Volatile Memory
K. Bailey, L. Ceze, S.D. Gribble, H.M. Levy, USENIX Hot Topics on Operating Systems (HotOS), 2011.
Downloads: PDF
A Limit Study of JavaScript Parallelism
E. Fortuna, O. Anderson, L. Ceze, S. Eggers, International Symposium on Workload Characterization (IISWC), 2010.
Deterministic Process Groups in dOS
T. Bergan, N. Hunt, L. Ceze, S. Gribble, Symposium on Operating Systems Design and Implementation (OSDI), 2010.
Downloads: PDF
ColorSafe: Architectural Support for Debugging and Dynamically Avoiding Multi-variable Atomicity Violations
B. Lucia, L. Ceze, K. Strauss, International Symposium on Computer Architecture (ISCA), 2010.
Downloads: PDF
Conflict Exceptions: Providing Simple Concurrent Language Semantics with Precise Hardware Exceptions for Data Races
B. Lucia, L. Ceze, K. Strauss, S. Qadeer, H.J. Boehm, International Symposium on Computer Architecture (ISCA), 2010.
Downloads: PDF
Lock Prediction
B. Lucia, J. Devietti, T. Bergan, L. Ceze, D. Grossman, USENIX Hot Topics on Parallelism (HotPar), 2010.
Downloads: PDF
CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution
T. Bergan, O. Anderson, J. Devietti, L. Ceze, D. Grossman, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2010.
Downloads: PDF
DMP: Deterministic Shared Memory Multiprocessing
J. Devietti, B. Lucia, L. Ceze, M. Oskin, IEEE Micro Top Picks in Computer Architecture, 2010.
Downloads: PDf
Encyclopedia of Parallel Computing, Editor: David Padua
L. Ceze, Springer, 2010.
Deterministic process groups in dOS
T. Bergen, N. Hunt, L. Ceze, S.D. Gribble, Proc. of the USENIX Conf. on Operating Systems Design and Implementation, 2010.
The Bulk Multicore Architecture for Improved Programmability
J. Torrellas, L. Ceze, J. Tuck, C. Cascaval, P. Montesinos, W. Ahn, M. Prvulovic, Communication of the ACM, 2009.
Downloads: PDF
Concurrency Discovery for Very Large Windows of Execution
J. Nelson, L. Ceze, Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures w/ International Symposium on Computer Architecture (PESPMA w/ ISCA), 2009.
Downloads: PDF
The Case for System Support for Concurrency Exceptions
L. Ceze, J. Devietti, B. Lucia, S. Qadeer, USENIX Hot Topics on Parallelism (HotPar), 2009.
Downloads: PDF
Two Hardware-based Approaches for Deterministic Multiprocessor Replay
D.R. Hower, P. Montesinos, L. Ceze, M.D. Hill, J. Torrellas, Research Highlights, Communication of the ACM, 2009.
Downloads: ACM DL
DMP: Deterministic Shared Memory Multiprocessing
J. Devietti, B. Lucia, L. Ceze, M. Oskin, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2009.
Selected for IEEE Micro Top Picks 2009.
Downloads: PDF
Self-Powered Processors
A. Putnam, L. Ceze, B. Hazelton, Wild and Crazy Ideas w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WACI w/ ASPLOS), 2009.
Downloads: PDF
Atom-Aid: Detecting and Surviving Atomicity Violations
B. Lucia, J. Devietti, K. Strauss, L. Ceze, IEEE Micro Top Picks in Computer Architecture, 2009.
Downloads: ACM DL
SoftSig: Software-Exposed Hardware Signatures for Memory Disambiguation
J. Tuck, W. Ahn, L. Ceze, J. Torrellas, L. Ceze, IEEE Micro Top Picks in Computer Architecture, 2009.
Downloads: ACM DL
Programming and Debugging Shared Memory Programs with Data Coloring
L. Ceze, C. Praun, C. Cascaval, P. Montesinos, J. Torrellas, Workshop on Compilers for Parallel Computing (CPC), 2009.
Downloads: PDF
Using Checkpoint-Assisted Value Prediction to Hide L2 Misses
L. Ceze, K. Strauss, J. Tuck, J. Renau, J. Torrellas, ACM Transactions on Architecture and Code Optimization (TACO), 2009.
Downloads: PDF
Atom-Aid: Detecting and Surviving Atomicity Violations
B. Lucia, J. Devietti, K. Strauss, L. Ceze, International Symposium on Computer Architecture (ISCA), 2008.
Selected for IEEE Micro Top Picks 2008.
Downloads: PDF
DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Efficiently
P. Montesinos, L. Ceze, J. Torrellas, International Symposium on Computer Architecture (ISCA), 2008.
Downloads: ACM DL
Explicitly Parallel Programming with Shared-Memory is Insane: At Least Make it Deterministic!
J. Devietti, B. Lucia, M. Oskin, L. Ceze, Workshop on Software and Hardware Challenges of Manycore Platforms w/ International Symposium on Computer Architecture (SHCMP w/ ISCA), 2008.
Downloads: PDF
Concurrency Control with Data Coloring
L. Ceze, C. Praun, C. Cascaval, P. Montesinos, J. Torrellas, Workshop on Memory Systems Performance and Correctness w/ International Conference on Architectural Support for Programming Languages and Operating Systems (MSPC w/ ASPLOS), 2008.
Downloads: ACM DL
BulkSC: Bulk Enforcement of Sequential Consistency
L. Ceze, J. Tuck, P. Montesinos, J. Torrellas, International Symposium on Computer Architecture (ISCA), 2007.
Downloads: PDF
Colorama: Architectural Support for Data-Centric Synchronization
L. Ceze, P. Montesinos, C. Praun, J. Torrellas, International Symposium on High-Performance Computer Architecture (HPCA), 2007.
Downloads: PDF
Implicit Parallelism with Ordered Transactions
C. Praun, L. Ceze, C. Cascaval, Principles and Practice of Parallel Programming (PPoPP), 2007.
Downloads: PDF
Scalable Cache Miss Handling for High Memory Level Parallelism
J. Tuck, L. Ceze, J. Torrellas, International Symposium on Microarchitecture (MICRO), 2006.
Downloads: PDF
Bulk Disambiguation of Speculative Threads in Multiprocessors
L. Ceze, J. Tuck, C. Cascaval, J. Torrellas, International Symposium on Computer Architecture (ISCA), 2006.
Downloads: PDF
Are We Ready for High Memory-Level Parallelism?
L. Ceze, J. Tuck, J. Torrellas, Workshop on Memory Performance Issues w/ International Symposium on High-Performance Computer Architecture (WMPI w/HPCA), 2006.
Also appears in SIGMICRO Newsletter selection from WMPI-2006.
Downloads: PDF
POSH: A TLS Compiler that Exploits Program Structure
W. Liu, J. Tuck, L. Ceze, W. Ahn, K. Strauss, J. Renau, J. Torrellas, Principles and Practice of Parallel Programming (PPoPP), 2006.
Downloads: PDF
Energy-Efficient Thread-Level Speculation on a CMP
J. Renau, K. Strauss, L. Ceze, S. Sarangi, J. Tuck, W. Liu, J. Torrellas, IEEE Micro Top Picks in Computer Architecture, 2006.
Downloads: PDF
Tasking with Out-of-Order Spawn in TLS Chip Multiprocessors: Microarchitecture and Compilation
J. Renau, J. Tuck, W. Liu, L. Ceze, K. Strauss, J. Torrellas, International Conference on Supercomputing (ICS), 2005.
Selected for IEEE Micro Top Picks 2005.
Downloads: PDF
Thread-Level Speculation on a CMP Can Be Energy Efficient
J. Renau, K. Strauss, L. Ceze, W. Liu, S. Sarangi, J. Tuck, J. Torrellas, International Conference on Supercomputing (ICS), 2005.
Selected for IEEE Micro Top Picks 2005.
Downloads: PDF
CAVA: Hiding L2 Misses with Checkpoint-Assisted Value Prediction
L. Ceze, K. Strauss, J. Tuck, J. Renau, J. Torrellas, IEEE Computer Architecture Letters (CAL), 2004.
Downloads: PDF
An Overview Of The Blue Gene/L System Software Organization
G. Almasi, R. Bellofatto, J. Brunheroto, C. Cascaval, J.G. Castanos, P. Crumley, C.C. Erway, D. Lieber, X. Martorell, J.E. Moreira, R.K. Sahoo, A. Sanomiya, L. Ceze, K. Strauss, Parallel Processing Letters, 2003.
An Overview Of The Blue Gene/L System Software Organization
G. Almasi, R. Bellofatto, J. Brunheroto, C. Cascaval, J.G. Castanos, L. Ceze, others, International Conference on Parallel and Distributed Computing (Euro-Par), 2003.
Downloads: PDF
Full Circle: Simulating Linux Clusters on Linux Clusters
L. Ceze, K. Strauss, others, LCI International Conference on Linux Clusters (CWCE), 2003.
Selected as one of the top 3 papers in the conference.
Downloads: PDF
Evaluation of a Multithreaded Architecture for Cellular Computing
C. Cascaval, J.G. Castanos, L. Ceze, M. Denneau, M. Gupta, D. Lieber, J.E. Moreira, K. Strauss, H.W.S. Jr, International Symposium on High-Performance Computer Architecture (HPCA), 2002.
Downloads: 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, W.V. Ruggiero, Frontiers in Education, 2000.
Downloads: PDF

Contact
Office: CSE576
Email:
luisceze
cs
Phone: (206) 543-1896
Fax: (206) 616-3804
Mail:
University of Washington
Computer Science & Engineering
Box 352350
Seattle, WA 98195-2350
