Luis Ceze

Disciplined Inconsistency with Consistency Types

B. Holt, J. Bornholt, I. Zhang, D.R.K. Ports, M. Oskin, L. CezeSOCC, 2016.

A DNA-Based Archival Storage System

J. Bornholt, R. Lopez, K. Strauss, D.M. Carmean, L. Ceze, G. Seelig, K. StraussInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2016.

High-Density Image Storage Using Approximate Memory Cells

Q. Guo, K. Strauss, L. Ceze, H. MalvarInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2016.

Optimizing Synthesis with Metasketches

J. Bornholt, E. Torlak, D. Grossman, L. CezePOPL, 2016.

Claret: Using Data Types for Highly Concurrent Distributed Transactions

B. Holt, I. Zhang, D.R.K. Ports, M. Oskin, L. CezeWorkshop on Principles and Practice of Consistency for Distributed Data (PaPoC '15)ACM, 2015.
Downloads: PDF 

Latency-Tolerant Software Distributed Shared Memory

J. Nelson, B. Holt, B. Myers, P. Briggs, L. Ceze, S. Kahan, M. OskinUSENIX Annual Technical Conference (ATC), 2015.

REACT: A Framework for Rapid Exploration of Approximate Computing Techniques

M. Wyse, A. Baixo, T. Moreau, B. Zorn, J. Bornholt, A. Sampson, L. Ceze, M. OskinWorkshop on Approximate Computing Across the Stack (WAX w/ PLDI), 2015.

Approximate Program Synthesis

J. Bornholt, E. Torlak, L. Ceze, D. GrossmanWorkshop on Approximate Computing Across the Stack (WAX w/ PLDI), 2015.

Approximate Computing: Making Mobile Systems More Efficient

T. Moreau, A. Sampson, L. CezePervasive Computing, IEEE, 2015.

Claret: Using Data Types for Highly Concurrent Distributed Transactions

B. Holt, I. Zhang, D. Ports, M. Oskin, L. CezeWorkshop on Principles and Practice of Consistency (PaPoC'15 w/ EuroSys), 2015.

Debugging Approximate Programs via Dynamic Analysis

M. Ringenburg, A.Sampson Is Ackerman, L. Ceze, D. GrossmanInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2015.

SNNAP: Approximate Computing on Programmable SoCs via Neural Acceleration

T. Moreau, M. Wyse, J. Nelson, A. Sampson, H. Esmaeilzadeh, L. Ceze, M. OskinInternational Symposium on High-Performance Computer Architecture (HPCA), 2015.

Data Provenance Tracking for Concurrent Programs

B. Lucia, L. CezeInternational Symposium on Code Generation and Optimization (CGO), 2015.

SNNAP: Approximate Computing on Programmable SoCs via Neural Acceleration

T. Moreau, M. Wyse, J. Nelson, A. Sampson, H. Esmaeilzadeh, L. Ceze, M. OskinInternational Symposium on High-Performance Computer Architecture (HPCA), 2015.

NCAM: Near-Data Processing for Nearest Neighbor Search

C. del Mundo, V. Lee, L. Ceze, M. OskinMEMSYS, 2015.

Probability Type Inference for Flexible Approximate Programming

B. Boston, A. Sampson, D. Grossman, L. CezeOOPSLA, 2015.

"Hardware–Software Co-Design: Not Just a Cliche"

J.Bornholt A. Sampson, L. CezeSNAPL, 2015.

Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts

T. Bergan, D. Grossman, L. CezeSPLASH-OOPSLA, 2014.

Alembic: Automatic Locality Extraction via Migration

B. Holt, P. Briggs, L. Ceze, M. OskinSPLASH-OOPSLA, 2014.

Expressing and Verifying Probabilistic Assertions

A. Sampson, P. Panchekha, T. Mytkowicz, K. McKinley, D. Grossman, L. CezeConference on Programming Language Design and Implementation (PLDI), 2014.
Downloads: PDF 

Mercury: An Integrated, 3D-Stacked Server Design for Increasing Physical Density of Key-Value Stores

A. Gutierrez, M. Cieslak, R.G. Dreslinski, L. Ceze, T. MudgeInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014.
Downloads: PDF 

Low-Level Detection of High-Level Data Races with LARD

B.P. Wood, L. Ceze, D. GrossmanInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014.
Downloads: PDF 

General-Purpose Code Acceleration with Limited-Precision Analog Computation

R.St. Amant, A. Yazdanbakhsh, J. Park, B. Thwaites, H. Esmaeilzadeh, A. Hassibi, L. Ceze, D. BurgerInternational Symposium on Computer Architecture (ISCA), 2014.
Downloads: PDF 

Approximate Storage in Solid-State Memories

A. Sampson, J. Nelson, K. Strauss, L. CezeInternational Symposium on Microarchitecture (MICRO), 2013.
Downloads: PDF 

Input-Covering Schedules for Multithreaded Programs

T. Bergan, L. Ceze, D. GrossmanSPLASH-OOPSLA, 2013.
Downloads: PDF 

EnerJ, the Language of Good-Enough Computing

A. Sampson, L. Ceze, D. GrossmanIEEE Spectrum Feature Article, 2013.
Downloads: web 

DNA-based Molecular Architecture with Spatially Localized Components

R. Muscat, K. Strauss, L. Ceze, G. SeeligInternational Symposium on Computer Architecture (ISCA), 2013.
Downloads: PDF 

DDOS: Taming Nondeterminism in Distributed Systems

N. Hunt, T. Bergan, L. Ceze, S. GribbleInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2013.
Downloads: PDF 

Cooperative Empirical Failure Avoidance for Multithreaded Programs

B. Lucia, L. CezeInternational 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. CezeWorkshop 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 

Exploring Storage Class Memory with Key Value Stores

K.A. Bailey, P. Hornyack, L. Ceze, S.D. Gribble, H.M. LevyWorkshop on Interactions of NVM/FLASH with Operating Systems and Workloads, 2013.
Downloads: PDF 

Flat Combining Synchronized Global Data Structures

B. Holt, J. Nelson, B. Myers, P. Briggs, L. Ceze, S. Kahan, M. OskinInternational Conference on PGAS Programming Models, 2013.
Downloads: PDF 

A Study of Virtual Memory Usage and Implications for Large Memory

P. Hornyack, L. Ceze, S. Gribble, D. Ports, H. LevyWorkshop on Interactions of NVM/FLASH with Operating Systems and Workloads, 2013.
Downloads: PDF 

Neural Acceleration for General-Purpose Approximate Programs

H. Esmaeilzadeh, A. Sampson, L. Ceze, D. BurgerInternational 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. GraciaInternational Symposium on Workload Characterization (IISWC), 2012.
Downloads: PDF 

IFRit: Interference-Free Regions for Dynamic Data-Race Detection

L. Effinger-Dean, B. Lucia, L. Ceze, D. Grossman, H.J. BoehmSPLASH-OOPSLA, 2012.
Downloads: PDF 

Towards Neural Acceleration for General-Purpose Approximate Computing

H. Esmaeilzadeh, A. Sampson, L. Ceze, D. BurgerWorkshop on Energy Efficient Design w/ International Symposium on Computer Architecture (WEED w/ ISCA), 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. GrossmanInternational Symposium on Computer Architecture (ISCA), 2012.
Downloads: PDF 

Addressing Dark Silicon Challenges with Disciplined Approximate Computing

H. Esmaeilzadeh, A. Sampson, M. Ringenburg, L. Ceze, D. Grossman, D. BurgerDark Silicon Workshop w/ International Symposium on Computer Architecture (DaSi w/ ASPLOS), 2012.
Downloads: PDF 

The Case For Merging Execution- and Language-level Determinism with MELD

J. Devietti, L. Ceze, D. GrossmanWorkshop 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 

Automatic Empirical Failure Avoidance for Concurrent Software

B. Lucia, L. CezeWorkshop 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 

Architecture Support for Disciplined Approximate Programming

H. Esmaeilzadeh, A. Sampson, L. Ceze, D. BurgerInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2012.
Downloads: PDF 

Checked Load: Architectural Support for JavaScript Type-Checking on Mobile Processors

O. Anderson, E. Fortuna, L. Ceze, S. EggersProc. of the International Symposium on High-Performance Computer Architecture (HPCA), 2011.

Accelerating Data Race Detection with Minimal Hardware Support

R. Gonzalez-Alberquilla, K. Strauss, L. Pinuel, L. CezeEuroPar, 2011.
Downloads: ACM DL 

Data-Race Exceptions Have Benefits Beyond the Memory Model

B. Wood, L. Ceze, D. GrossmanWorkshop on Memory System Performance and Correctness w/ Conference on Programming Language Design and Implementation (MSPC w/ 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. CezeSymposium on Principles of Distributed Computing (PODC)., 2011.
Downloads: ACM DL 

Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments

B. Lucia, B. Wood, L. CezeConference on Programming Language Design and Implementation (PLDI), 2011.
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. CezeUSENIX 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. GrossmanConference on Programming Language Design and Implementation (PLDI), 2011.
Downloads: PDF 

Operating System Implications of Fast, Cheap, Non-Volatile Memory

K. Bailey, L. Ceze, S.D. Gribble, H.M. LevyUSENIX Hot Topics on Operating Systems (HotOS), 2011.
Downloads: PDF 

The Deterministic Execution Hammer: How Well Does it Actually Pound Nails?

T. Bergan, J. Devietti, N. Hunt, L. CezeWorkshop 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 

Dense Approximate Storage in Phase-Change Memory

J. Nelson, A. Sampson, L. CezeWild 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. GrossmanInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2011.
Downloads: PDF 

Checked Load: Architectural Support for JavaScript Type-Checking on Mobile Processors

O. Anderson, E. Fortuna, L. Ceze, S. EggersInternational Symposium on High-Performance Computer Architecture (HPCA), 2011.
Downloads: PDF 

Characterizing the Performance and Energy Efficiency of Lock-Free Data Structures

N. Hunt, P.S. Sandhu, L. CezeWorkshop on Interaction between Compilers and Computer Architectures w/ International Symposium on High-Performance Computer Architecture (INTERACT w/ HPCA), 2011.
Downloads: IEEExplore 

System Introspection with Hardware Watchmachines

N. Hunt, B. Lucia, L. CezeFun 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. CezeFun Ideas and Thoughts w/ Conference on Programming Language Design and Implementation (PLDI FIT), 2011.
Downloads: PDF 

A Limit Study of JavaScript Parallelism

E. Fortuna, O. Anderson, L. Ceze, S. EggersInternational Symposium on Workload Characterization (IISWC), 2010.

Deterministic process groups in dOS

T. Bergen, N. Hunt, L. Ceze, S.D. GribbleProc. of the USENIX Conf. on Operating Systems Design and Implementation, 2010.

Composable Specifications for Structured Shared-Memory Communication

B. Wood, A. Sampson, L. Ceze, D. GrossmanSPLASH-OOPSLA, 2010.
Downloads: ACM DL 

Deterministic Process Groups in dOS

T. Bergan, N. Hunt, L. Ceze, S. GribbleSymposium on Operating Systems Design and Implementation (OSDI), 2010.
Downloads: PDF 

Lock Prediction

B. Lucia, J. Devietti, T. Bergan, L. Ceze, D. GrossmanUSENIX Hot Topics on Parallelism (HotPar), 2010.
Downloads: PDF 

ColorSafe: Architectural Support for Debugging and Dynamically Avoiding Multi-variable Atomicity Violations

B. Lucia, L. Ceze, K. StraussInternational 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. BoehmInternational Symposium on Computer Architecture (ISCA), 2010.
Downloads: PDF 

CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution

T. Bergan, O. Anderson, J. Devietti, L. Ceze, D. GrossmanInternational 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. OskinIEEE Micro Top Picks in Computer Architecture, 2010.
Downloads: PDf 

The Bulk Multicore Architecture for Improved Programmability

J. Torrellas, L. Ceze, J. Tuck, C. Cascaval, P. Montesinos, W. Ahn, M. PrvulovicCommunication of the ACM, 2009.
Downloads: PDF 

Finding Concurrency Bugs with Context-Aware Communication Graphs

B. Lucia, L. CezeInternational Symposium on Microarchitecture (MICRO), 2009.
Downloads: PDF 

Concurrency Discovery for Very Large Windows of Execution

J. Nelson, L. CezeWorkshop on Parallel Execution of Sequential Programs on Multi-core Architectures w/ International Symposium on Computer Architecture (PESPMA w/ ISCA), 2009.
Downloads: PDF 

Two Hardware-based Approaches for Deterministic Multiprocessor Replay

D.R. Hower, P. Montesinos, L. Ceze, M.D. Hill, J. TorrellasResearch Highlights, Communication of the ACM, 2009.
Downloads: ACM DL 

The Case for System Support for Concurrency Exceptions

L. Ceze, J. Devietti, B. Lucia, S. QadeerUSENIX Hot Topics on Parallelism (HotPar), 2009.
Downloads: PDF 

Self-Powered Processors

A. Putnam, L. Ceze, B. HazeltonWild and Crazy Ideas w/ International Conference on Architectural Support for Programming Languages and Operating Systems (WACI w/ ASPLOS), 2009.
Downloads: PDF 

DMP: Deterministic Shared Memory Multiprocessing

J. Devietti, B. Lucia, L. Ceze, M. OskinInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2009.  

Selected for IEEE Micro Top Picks 2009.

Downloads: PDF 

SoftSig: Software-Exposed Hardware Signatures for Memory Disambiguation

J. Tuck, W. Ahn, L. Ceze, J. Torrellas, L. CezeIEEE Micro Top Picks in Computer Architecture, 2009.
Downloads: ACM DL 

Atom-Aid: Detecting and Surviving Atomicity Violations

B. Lucia, J. Devietti, K. Strauss, L. CezeIEEE Micro Top Picks in Computer Architecture, 2009.
Downloads: ACM DL 

Using Checkpoint-Assisted Value Prediction to Hide L2 Misses

L. Ceze, K. Strauss, J. Tuck, J. Renau, J. TorrellasACM Transactions on Architecture and Code Optimization (TACO), 2009.
Downloads: PDF 

Programming and Debugging Shared Memory Programs with Data Coloring

L. Ceze, C. Praun, C. Cascaval, P. Montesinos, J. TorrellasWorkshop on Compilers for Parallel Computing (CPC), 2009.
Downloads: PDF 

Explicitly Parallel Programming with Shared-Memory is Insane: At Least Make it Deterministic!

J. Devietti, B. Lucia, M. Oskin, L. CezeWorkshop on Software and Hardware Challenges of Manycore Platforms w/ International Symposium on Computer Architecture (SHCMP w/ ISCA), 2008.
Downloads: PDF 

Atom-Aid: Detecting and Surviving Atomicity Violations

B. Lucia, J. Devietti, K. Strauss, L. CezeInternational 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. TorrellasInternational Symposium on Computer Architecture (ISCA), 2008.
Downloads: ACM DL 

Concurrency Control with Data Coloring

L. Ceze, C. Praun, C. Cascaval, P. Montesinos, J. TorrellasWorkshop 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. TorrellasInternational Symposium on Computer Architecture (ISCA), 2007.
Downloads: PDF 

Implicit Parallelism with Ordered Transactions

C. Praun, L. Ceze, C. CascavalPrinciples and Practice of Parallel Programming (PPoPP), 2007.
Downloads: PDF 

Colorama: Architectural Support for Data-Centric Synchronization

L. Ceze, P. Montesinos, C. Praun, J. TorrellasInternational Symposium on High-Performance Computer Architecture (HPCA), 2007.
Downloads: PDF 

Scalable Cache Miss Handling for High Memory Level Parallelism

J. Tuck, L. Ceze, J. TorrellasInternational Symposium on Microarchitecture (MICRO), 2006.
Downloads: PDF 

Bulk Disambiguation of Speculative Threads in Multiprocessors

L. Ceze, J. Tuck, C. Cascaval, J. TorrellasInternational Symposium on Computer Architecture (ISCA), 2006.
Downloads: PDF 

POSH: A TLS Compiler that Exploits Program Structure

W. Liu, J. Tuck, L. Ceze, W. Ahn, K. Strauss, J. Renau, J. TorrellasPrinciples and Practice of Parallel Programming (PPoPP), 2006.
Downloads: PDF 

Are We Ready for High Memory-Level Parallelism?

L. Ceze, J. Tuck, J. TorrellasWorkshop 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 

Energy-Efficient Thread-Level Speculation on a CMP

J. Renau, K. Strauss, L. Ceze, S. Sarangi, J. Tuck, W. Liu, J. TorrellasIEEE Micro Top Picks in Computer Architecture, 2006.
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. TorrellasInternational Conference on Supercomputing (ICS), 2005.  

Selected for IEEE Micro Top Picks 2005.

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. TorrellasInternational 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. TorrellasIEEE 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. StraussParallel 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,  othersInternational Conference on Parallel and Distributed Computing (Euro-Par), 2003.
Downloads: PDF 

Full Circle: Simulating Linux Clusters on Linux Clusters

L. Ceze, K. Strauss,  othersLCI International Conference on Linux Clusters (CWCE), 2003.  

Selected as one of the top 3 papers in the conference.

Downloads: PDF 

Blue Gene/L, a system-on-a-chip

G. Almasi,  othersIEEE International Conference on Cluster Computing (CC), 2002.
Downloads: PDF 

An Overview of the Blue Gene/L Supercomputer

N.R. Adiga,  othersIEEE Supercomputing (SC), 2002.
Downloads: PDF 

Cellular Supercomputing with System-on-a-Chip

G. Almasi,  othersInternational Solid State Circuits Conference (ISSCC), 2002.
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. JrInternational 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. RuggieroFrontiers in Education, 2000.
Downloads: PDF