Riptide: Fast End-to-End Binarized Neural Networks

J. Fromm, M. Cowan, M. Philipose, L. Ceze, S. Patel, Proceedings of the 3rd MLSys Conference, 2020.

Automatic generation of high-performance quantized machine learning kernels

M. Cowan, T. Moreau, T. Chen, J. Bornholt, L. Ceze, Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020.

Probing the physical limits of reliable DNA data retrieval

L. Organick, Y.J. Chen, S.Dumas Ang, R. Lopez, X. Liu, K. Strauss, L. Ceze, Nature communications, Nature Publishing Group 11:1, 2020.

Stabilizing synthetic DNA for long-term data storage with earth alkaline salts

X. Kohll, P.L. Antkowiak, W. Chen, B. Nguyen, W.Jan Stark, L. Ceze, K. Strauss, R.N. Grass, Chemical Communications, Royal Society of Chemistry, 2020.

PLink: Efficient Cloud-based Training with Topology-aware Dynamic Hierarchical Aggregation

L. Luo, P. West, J. Nelson, A. Krishnamurthy, L. Ceze, Proceedings of the 3rd MLSys Conference, 2020.

Genotype extraction and false relative attacks: Security risks to third-party genetic genealogy services beyond identity inference.

P. Ney, L. Ceze, T. Kohno, Network and Distributed System Security Symposium (NDSS) 10:29, 2020.

Molecular digital data storage using DNA

L. Ceze, J. Nivala, K. Strauss, Nature Reviews Genetics, Nature Publishing Group, 2019.

Perceptual Compression for Video Storage and Processing Systems

A. Mazumdar, B. Haynes, M. Balazinska, L. Ceze, A. Cheung, M. Oskin, Proceedings of the ACM Symposium on Cloud Computing, ACM, 2019.

Scaling Microfluidics to Complex, Dynamic Protocols

M. Willsey, A. Stephenson, C. Takahashi, B. Nguyen, K. Strauss, L. Ceze, 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), IEEE, 2019.

High density DNA data storage library via dehydration with digital microfluidic retrieval

S. Newman, A.P. Stephenson, M. Willsey, B.H. Nguyen, C.N. Takahashi, K. Strauss, L. Ceze, Nature communications, Nature Publishing Group 10:1, 2019.

Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform

M. Willsey, A.P. Stephenson, C. Takahashi, P. Vaid, B.H. Nguyen, M. Piszczek, C. Betts, S. Newman, S. Joshi, K. Strauss, L. Ceze, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2019.

DNA Data Storage and Hybrid Molecular–Electronic Computing

D. Carmean, L. Ceze, G. Seelig, K. Stewart, K. Strauss, M. Willsey, Proceedings of the IEEE, 2019.

A Hardware–Software Blueprint for Flexible Deep Learning Specialization

T. Moreau, T. Chen, L. Vega, J. Roesch, E. Yan, L. Zheng, J. Fromm, Z. Jiang, L. Ceze, C. Guestrin,  others, IEEE Micro, IEEE 39:5, 2019.

Combining Data Longevity with High Storage Capacity—Layer-by-Layer DNA Encapsulated in Magnetic Nanoparticles

W.D. Chen, X. Kohll, B.H. Nguyen, J. Koch, R. Heckel, W.J. Stark, L. Ceze, K. Strauss, R.N. Grass, Advanced Functional Materials, Wiley Online Library, 2019.

Demonstration of end-to-end automation of DNA data storage

C.N. Takahashi, B.H. Nguyen, K. Strauss, L. Ceze, Scientific reports, Nature Publishing Group 9:1, 2019.

DNA assembly for nanopore data storage readout

R. Lopez, Y.J. Chen, S.Dumas Ang, S. Yekhanin, K. Makarychev, M.Z. Racz, G. Seelig, K. Strauss, L. Ceze, Nature communications, Nature Publishing Group 10:1, 2019.

LightDB: A DBMS for Virtual Reality Video

B. Haynes, A. Mazumdar, A. Alaghi, M. Balazinska, L. Ceze, A. Cheung, Proceedings of VLDB, 2018.

Application Codesign of Near-Data Processing for Similarity Search

V.T. Lee, A. Mazumdar, C.C. del Mundo, A. Alaghi, L. Ceze, M. Oskin, IPDPS, 2018.

MATIC: Learning Around Erros for Efficient Low-Voltage Neural Network Accelerators

S. Kim, P. Howe, T. Moreau, A. Alaghi, L. Ceze, V. Sathe, Design, Automation and Test in Europe, 2018.  Best paper award.

Correlation Manipulating Circuits for Stochastic Computing

V. Lee, A. Alaghi, L. Ceze, Design, Automation and Test in Europe, 2018.

Troubleshooting Transiently-Recurring Errors in Production Systems with Blame-Proportional Logging

L. Luo, S. Nath, L.Ravindrana Sivalingam, M. Musuvathi, L. Ceze, USENIX Annual Technical Conference (USENIX ATC), 2018.

TVM: An Automated End-to-End Optimizing Compiler for Deep Learning

T. Chen, T. Moreau, Z. Jiang, L. Zheng, E. Yan, H. Shen, M. Cowan, L. Wang, Y. Hu, L. Ceze, Symposium on Operating Systems Design and Implementation (OSDI), 2018.

Parameter Hub: a Rack-Scale Parameter Server for Distributed Deep Neural Network Training

L. Luo, J. Nelson, L. Ceze, A. Phanishayee, A. Krishnamurthy, Proceedings of the ACM Symposium on Cloud Computing, ACM, 2018.

Random access in large-scale DNA data storage

L. Organick, S.Dumas Ang, Y.J. Chen, R. Lopez, S. Yekhanin, K. Makarychev, M.Z. Racz, G. Kamath, P. Gopalan, B. Nguyen, C.N. Takahashi, S. Newman, H.Y. Parker, C. Rashtchian, K. Stewart, G. Gupta, R. Carlson, J. Mulligan, D. Carmean, G. Seelig, L. Ceze, K. Strauss, Nature Biotechnology, 2018.  ISBN: 1364298980840

A content-addressable DNA database with learned sequence encodings

K. Stewart, Y.J. Chen, D. Ward, X. Liu, G. Seelig, K. Strauss, L. Ceze, International Conference on DNA Computing and Molecular Programming, Springer, 2018.

DNA data storage and hybrid molecular–electronic computing

D. Carmean, L. Ceze, G. Seelig, K. Stewart, K. Strauss, M. Willsey, Proceedings of the IEEE, IEEE 107:1, 2018.

Architecture Considerations for Stochastic Computing Accelerators

V.T. Lee, A. Alaghi, R. Pamula, V.S. Sathe, L. Ceze, M. Oskin, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37:11, 2018.

Learning to optimize tensor programs

T. Chen, L. Zheng, E. Yan, Z. Jiang, T. Moreau, L. Ceze, C. Guestrin, A. Krishnamurthy, Advances in Neural Information Processing Systems (NeurIPS), 2018.

Iterative Search for Reconfigurable Accelerator Blocks with a Compiler in the Loop

M. Willsey, V.T. Lee, A. Cheung, R. Bodík, L. Ceze, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018.

Clustering Billions of Reads for DNA Data Storage

C. Rashtchian, K. Makarychev, M. Racz, S. Ang, D. Jevdjic, S. Yekhanin, L. Ceze, K. Strauss, NIPS, 2017.

A Taxonomy of General Purpose Approximate Computing Techniques

T. Moreau, J.S. Miguel, M. Wyse, J. Bornholt, A. Alaghi, L. Ceze, N.E. Jerger, A. Sampson, IEEE Embedded Systems Letters, 2017.

The Evolution of Bitcoin Hardware

M. Taylor, Computer, IEEE, 2017.

Celerity: An Open Source RISC-V Tiered Accelerator Fabric

T. Ajayi, K. Al-Hawaj, A. Amarnath, S. Dai, S. Davidson, P. Gao, G. Liu, A. Lotfi, J. Puscar, A. Rao, A. Rovinski, L. Salem, N. Sun, C. Torng, L. Vega, B. Veluri, X. Wang, S. Xie, C. Zhao, R. Zhao, C. Batten, R.G. Dreslinski, I. Galton, R.K. Gupta, P.P. Mercier, M. Srivastava, M.Bedford Taylor, Z. Zhang, HOTCHIPS, 2017.

Specializing a Planet's Computation: ASIC Clouds

M. Khazraee, L. Vega, I. Magaki, M. Taylor, IEEE Micro, 2017.

Exploring Computation-Communication Tradeoffs in Camera Systems

A. Mazumdar, T. Moreau, S. Kim, M. Cowan, A. Alaghi, L. Ceze, M. Oskin, V. Sathe, IISWC, 2017.

IncBricks: Towards In-network Computation with an In-Network Cache

M. Liu, L. Luo, J. Nelson, A. Krishnamurthy, L. Ceze, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2017.  Selected as Honorable Mention for IEEE Micro Top Picks.

Energy-Efficient Hybrid Stochastic-Binary Neural Networks for Near-Sensor Computing

V. Lee, A. Alaghi, J. Hayes, V. Sathe, L. Ceze, Design, Automation and Test in Europe, 2017.

Approximate Storage for Encoded and Encrypted Videos

D. Jevdjic, K. Strauss, L. Ceze, H. Malvar, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2017.

Similarity Search on Automata Processors

V.T. Lee, J. Kotalik, C.C. del Mundo, A. Alaghi, L. Ceze, M. Oskin, International Parallel and Distributed Processing Symposium (IPDPS), 2017.

A Hardware-Friendly Bilateral Solver for Real-Time Virtual Reality Video

A. Mazumdar, A. Alaghi, J.T. Barron, D. Gallup, L. Ceze, M. Oskin, S.M. Seitz, High Performance Graphics (HPG), 2017.

Computer Security, Privacy, and DNA Sequencing: Compromising Computers with Synthesized DNA, Privacy Leaks, and More

P. Ney, K. Koscher, L. Organick, L. Ceze, T. Kohno, USENIX Security, 2017.

Customizing Progressive JPEG for Efficient Image Storage

E. Yan, K. Zhang, X. Wang, K. Strauss, L. Ceze, USENIX HotStorage, 2017.

Moonwalk: NRE Optimization in ASIC Clouds or, accelerators will use old silicon

M. Khazraee, L. Zhang, L. Vega, M. Taylor, Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2017.

VisualCloud Demonstration: A DBMS for Virtual Reality

B. Haynes, A. Minyaylov, M. Balazinska, L. Ceze, A. Cheung, SIGMOD, 2017.

Disciplined Inconsistency with Consistency Types

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

A DNA-Based Archival Storage System

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

High-Density Image Storage Using Approximate Memory Cells

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

Disciplined Inconsistency with Consistency Types

B. Holt, J. Bornholt, I. Zhang, D.R.K. Ports, M. Oskin, L. Ceze, ACM Symposium on Cloud Computing (SOCC), 2016.

ASIC Clouds: Specializing the Datacenter

I. Magaki, M. Khazraee, L. Vega, M. Taylor, International Symposium on Computer Architecture (ISCA), 2016.

Optimizing Synthesis with Metasketches

J. Bornholt, E. Torlak, D. Grossman, L. Ceze, POPL, 2016.

Approximate Semantics for Wirelessly Networked Applications

B. Ransford, A. Sampson, L. Ceze, arxiv, 2015.  Earlier version appeared in Workshop on Approximate Computing Across the Stack (WACAS w/ ASPLOS) 2014

Latency-Tolerant Software Distributed Shared Memory

J. Nelson, B. Holt, B. Myers, P. Briggs, L. Ceze, S. Kahan, M. Oskin, USENIX Annual Technical Conference (ATC), 2015.  Best Paper Award

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. Oskin, Workshop on Approximate Computing Across the Stack (WAX w/ PLDI), 2015.

Approximate Program Synthesis

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

Claret: Using Data Types for Highly Concurrent Distributed Transactions

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

Approximate Computing: Making Mobile Systems More Efficient

T. Moreau, A. Sampson, L. Ceze, Pervasive Computing, IEEE, 2015.

Debugging Approximate Programs via Dynamic Analysis

M. Ringenburg, A.Sampson Is Ackerman, L. Ceze, D. Grossman, International 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. Oskin, International Symposium on High-Performance Computer Architecture (HPCA), 2015.

SNNAP: Approximate Computing on Programmable SoCs via Neural Acceleration

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

Data Provenance Tracking for Concurrent Programs

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

NCAM: Near-Data Processing for Nearest Neighbor Search

C. del Mundo, V. Lee, L. Ceze, M. Oskin, MEMSYS, 2015.

Probability Type Inference for Flexible Approximate Programming

B. Boston, A. Sampson, D. Grossman, L. Ceze, OOPSLA, 2015.

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

J.Bornholt A. Sampson, L. Ceze, SNAPL, 2015.

Robust chemical preservation of digital information on DNA in silica with error-correcting codes

R.N. Grass, R. Heckel, M. Puddu, D. Paunescu, W.J. Stark, Angewandte Chemie International Edition, Wiley Online Library 54:8, 2015.

CortexSuite: A Synthetic Brain Benchmark Suite

S. Thomas, C. Gohkale, E. Tanuwidjaja, T. Chong, D. Lau, S. Garcia, M.Bedford Taylor, International Symposium on Workload Characterization (IISWC), 2014.

Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts

T. Bergan, D. Grossman, L. Ceze, SPLASH-OOPSLA, 2014.

Alembic: Automatic Locality Extraction via Migration

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

Exploring Energy Scalability in Coprocessor-Dominated Architectures for Dark Silicon

Q. Zheng, N. Goulding-Hotta, S. Ricketts, S. Swanson, M.Bedford Taylor, J. Sampson, Transactions on Embedded Computing Systems (TECS), 2014.

Expressing and Verifying Probabilistic Assertions

A. Sampson, P. Panchekha, T. Mytkowicz, K. McKinley, D. Grossman, L. Ceze, Conference on Programming Language Design and Implementation (PLDI), 2014.
http://www.cs.washington.edu/homes/djg/papers/passert-pldi14.pdf PDF

How to Answer “Haven’t We Done This Already?”, and Challenges/Opportunities in Approximate Computing

L. Ceze, APPROX Workshops w/ PLDI 2015, 2014.
http://homes.cs.washington.edu/~luisceze/publications/ceze-approx-2014.pdf 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. Mudge, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014.
https://homes.cs.washington.edu/~luisceze/publications/3D-asplos_2014.pdf PDF

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

B.P. Wood, L. Ceze, D. Grossman, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014.
https://homes.cs.washington.edu/~luisceze/publications/lard-asplos14.pdf PDF

QualityTime: A Simple Online Technique for Quantifying Multicore Execution Efficiency

A. Gupta, J. Sampson, M.Bedford Taylor, International Symposium on Performance Analysis of Systems and Software (ISPASS), 2014.

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. Burger, International Symposium on Computer Architecture (ISCA), 2014.  Selected for IEEE Micro Top Picks Honorable Mention 2015.
http://homes.cs.washington.edu/~luisceze/publications/anpu-isca14.pdf PDF

Approximate Storage in Solid-State Memories

A. Sampson, J. Nelson, K. Strauss, L. Ceze, International Symposium on Microarchitecture (MICRO), 2013.
https://homes.cs.washington.edu/~luisceze/publications/approxstorage-mic... PDF

Input-Covering Schedules for Multithreaded Programs

T. Bergan, L. Ceze, D. Grossman, SPLASH-OOPSLA, 2013.
http://homes.cs.washington.edu/~luisceze/publications/oopsla13-ics.pdf PDF

EnerJ, the Language of Good-Enough Computing

A. Sampson, L. Ceze, D. Grossman, IEEE Spectrum Feature Article, 2013.
http://spectrum.ieee.org/computing/software/enerj-the-language-of-gooden... web

A Landscape of the New Dark Silicon Design Regime

M. Taylor, Micro, IEEE, 2013.

DNA-based Molecular Architecture with Spatially Localized Components

R. Muscat, K. Strauss, L. Ceze, G. Seelig, International Symposium on Computer Architecture (ISCA), 2013.
http://homes.cs.washington.edu/~luisceze/publications/isca13-dna.pdf 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.
http://www.cs.umass.edu/~emery/wodet3/wodet3-paper6.pdf 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.
http://homes.cs.washington.edu/~luisceze/publications/aviso_ASPLOS2013.pdf 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.
http://homes.cs.washington.edu/~luisceze/publications/asplos021-hunt.pdf PDF

Flat Combining Synchronized Global Data Structures

B. Holt, J. Nelson, B. Myers, P. Briggs, L. Ceze, S. Kahan, M. Oskin, International Conference on PGAS Programming Models, 2013.
https://homes.cs.washington.edu/~luisceze/publications/holt-pgas13.pdf PDF

DR-SNUCA: An Energy-Scalable Dynamically Partitioned Cache

A. Gupta, J. Sampson, M.Bedford Taylor, International Conference on Computer Design (ICCD), 2013.

Exploring Storage Class Memory with Key Value Stores

K.A. Bailey, P. Hornyack, L. Ceze, S.D. Gribble, H.M. Levy, Workshop on Interactions of NVM/FLASH with Operating Systems and Workloads, 2013.
https://homes.cs.washington.edu/~luisceze/publications/bailey-inflow13.pdf PDF

Skadu: Efficient Vector Shadow Memories for Poly-scopic Program Analysis

D. Jeon, S. Garcia, M.Bedford Taylor, Conference on Code Generation and Optimization (CGO), 2013.

Bitcoin and the Age of Bespoke Silicon

M.B. Taylor, International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 2013.

A Study of Virtual Memory Usage and Implications for Large Memory

P. Hornyack, L. Ceze, S. Gribble, D. Ports, H. Levy, Workshop on Interactions of NVM/FLASH with Operating Systems and Workloads, 2013.
https://homes.cs.washington.edu/~luisceze/publications/vmstudy-uwtr2013.pdf PDF

Time Cube: A Manycore Embedded Processor with Interference-Agnostic Progress Tracking

A. Gupta, J. Sampson, M.Bedford Taylor, International Conference On Embedded Computer Systems: Architectures, Modeling And Simulation (SAMOS), 2013.

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.
http://homes.cs.washington.edu/~luisceze/publications/micro12-web.pdf PDF

The Kremlin Oracle for Sequential Code Parallelization

S. Garcia, D. Jeon, C. Louie, M.B. Taylor, Micro, IEEE 32:4, 2012.

Do We Need a Crystal Ball for Task Migration?

B. Myers, B. Holt, USENIX Workshop on Hot Topics in Parallelism (HotPar), 2012.

https://www.usenix.org/system/files/conference/hotpar12/hotpar12-final46... 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.
http://www.cs.washington.edu/homes/luisceze/publications/2012-weed-npu.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/devietti.radish... 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.
http://www.cs.washington.edu/homes/luisceze/publications/2012-dasi-npu.pdf 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.
http://www.cs.umass.edu/~emery/wodet3/wodet3-paper6.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/truffle-web.pdf 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.
http://www.cs.umass.edu/~emery/wodet3/wodet3-paper3.pdf PDF

GreenDroid: An Architecture for the Dark Silicon Age

N. Goulding-Hotta, J. Sampson, Q. Zheng, V. Bhatt, S. Swanson, M. Taylor, Asia and South Pacific Design Automation Conference (ASPDAC), 2012.

Is Dark Silicon Useful? Harnessing the Four Horsemen of the Coming Dark Silicon Apocalypse

M.B. Taylor, Design Automation Conference (DAC), 2012.

GreenDroid: Exploring the next evolution for smartphone application processors

S. Swanson, M. Taylor, IEEE Communications Magazine, 2011.

The GreenDroid Mobile Application Processor: An Architecture for Silicon's Dark Future

N. Goulding-Hotta, J. Sampson, G. Venkatesh, S. Garcia, J. Auricchio, P. Huang, M. Arora, S. Nath, V. Bhatt, J. Babb, S. Swanson, M. Taylor, Micro, IEEE, 2011.

Accelerating Data Race Detection with Minimal Hardware Support

R. Gonzalez-Alberquilla, K. Strauss, L. Pinuel, L. Ceze, EuroPar, 2011.
http://dl.acm.org/citation.cfm?id=2033350 ACM DL

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.
http://www.cs.washington.edu/homes/djg/papers/Enerj-pldi2011.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/recon-pldi2011.pdf 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.
http://dl.acm.org/citation.cfm?id=1993819 ACM DL

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.
http://www.cs.washington.edu/homes/djg/papers/mspc2011.pdf 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.
http://static.usenix.org/event/hotpar11/tech/final_files/Nelson.pdf 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.

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.
http://asplos11.cs.ucr.edu/selected_submissions/phase-change-memory.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/devietti.rcdc.a... 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.
http://www.cs.washington.edu/homes/tbergan/papers/wodet11-hammer.pdf 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.
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5936698 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.
http://www.cs.washington.edu/homes/luisceze/publications/anderson-hpca20... 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.
https://engineering.purdue.edu/~milind/pldi11fit/hunt.pdf PDF

Efficient Complex Operators for Irregular Codes

J. Sampson, G. Venkatesh, N. Goulding-Hotta, S. Garcia, S. Swanson, M.Bedford Taylor, High Performance Computing Architecture (HPCA), 2011.

Reducing the Energy Cost of Irregular Code Bases in Soft Processor Systems

M. Arora, J. Sampson, N. Goulding-Hotta, J. Babb, G. Venkatesh, M.Bedford Taylor, S. Swanson, IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), 2011.

Kismet: Parallel Speedup Estimates for Serial Programs

D. Jeon, S. Garcia, C. Louie, M.Bedford Taylor, Conference on Object-Oriented Programming, Systems, Language and Applications (OOPSLA), 2011.

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.
https://engineering.purdue.edu/~milind/pldi11fit/hunt.pdf PDF

Parkour: Parallel Speedup Estimates from Serial Code

D. Jeon, S. Garcia, C. Louie, M.Bedford Taylor, USENIX Workshop on Hot Topics in Parallelism (HOTPAR), 2011.

An Evaluation of Selective Depipelining for FPGA-based Energy-Reducing Irregular Code Coprocessors

J. Sampson, M. Arora, N. Goulding-Hotta, G. Venkatesh, J. Babb, V. Bhatt, M.Bedford Taylor, S. Swanson, Conference on Field Programmable Logic and Applications (FPL), 2011.

Kremlin: Rethinking and Rebooting gprof for the Multicore Age

S. Garcia, D. Jeon, C. Louie, M.Bedford Taylor, Proceedings of the Conference on Programming Language Design and Implementation (PLDI), 2011.

QsCores: Configurable Co-processors to Trade Dark Silicon for Energy Efficiency in a Scalable Manner

G. Venkatesh, J. Sampson, N. Goulding, S.Kota Venkata, M.Bedford Taylor, S. Swanson, International Symposium on Microarchitecture (MICRO), 2011.

Kremlin: Like gprof, but for Parallelization

D. Jeon, S. Garcia, C. Louie, S.Kota Venkata, M.Bedford Taylor, Principles and Practice of Parallel Programming (PPoPP), 2011.

A Limit Study of JavaScript Parallelism

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

Composable Specifications for Structured Shared-Memory Communication

B. Wood, A. Sampson, L. Ceze, D. Grossman, SPLASH-OOPSLA, 2010.
http://dl.acm.org/citation.cfm?id=1869473 ACM DL

Deterministic Process Groups in dOS

T. Bergan, N. Hunt, L. Ceze, S. Gribble, Symposium on Operating Systems Design and Implementation (OSDI), 2010.
http://static.usenix.org/event/osdi10/tech/full_papers/Bergan.pdf PDF

Lock Prediction

B. Lucia, J. Devietti, T. Bergan, L. Ceze, D. Grossman, USENIX Hot Topics on Parallelism (HotPar), 2010.
http://www.cs.washington.edu/homes/luisceze/publications/hotpar10-lockpr... 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.
http://www.cs.washington.edu/homes/luisceze/publications/asplos103-berga... PDF

DMP: Deterministic Shared Memory Multiprocessing

J. Devietti, B. Lucia, L. Ceze, M. Oskin, IEEE Micro Top Picks in Computer Architecture, 2010.
http://www.cs.washington.edu/homes/luisceze/publications/dmp-tp.pdf PDf

Encyclopedia of Parallel Computing, Editor: David Padua

L. Ceze, Springer, 2010.

Bridging the Parallelization Gap: Automating Parallelism Discovery and Planning

S. Garcia, D. Jeon, C. Louie, S.Kota Venkata, M.Bedford Taylor, USENIX Workshop on Hot Topics in Parallelism (HOTPAR), 2010.

GreenDroid: A Mobile Application Processor for a Future of Dark Silicon

N. Goulding, J. Sampson, G. Venkatesh, S. Garcia, J. Auricchio, J. Babb, M. Taylor, S. Swanson, HOTCHIPS, 2010.

Conservation cores: reducing the energy of mature computations

G. Venkatesh, J. Sampson, N. Goulding, S. Garcia, V. Bryksin, J. Lugo-Martinez, S. Swanson, M.Bedford Taylor, Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2010.

Finding Concurrency Bugs with Context-Aware Communication Graphs

B. Lucia, L. Ceze, International Symposium on Microarchitecture (MICRO), 2009.
http://www.cs.washington.edu/homes/luisceze/publications/lucia-micro09.pdf PDF

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.
http://www.cs.washington.edu/homes/luisceze/publications/bulkmulticore.pdf PDF

The Case for System Support for Concurrency Exceptions

L. Ceze, J. Devietti, B. Lucia, S. Qadeer, USENIX Hot Topics on Parallelism (HotPar), 2009.
http://static.usenix.org/event/hotpar09/tech/full_papers/ceze/ceze.pdf 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.
http://dl.acm.org/citation.cfm?id=1516068 ACM DL

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.
http://www.cs.washington.edu/homes/nelson/Nelson-ConcurrencyDiscovery-PE... PDF

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.
http://www.cs.washington.edu/homes/luisceze/publications/asplos004-devie... 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.
http://www.cs.washington.edu/homes/luisceze/publications/waci09.pdf PDF

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.
http://dl.acm.org/citation.cfm?id=1512282 ACM DL

Atom-Aid: Detecting and Surviving Atomicity Violations

B. Lucia, J. Devietti, K. Strauss, L. Ceze, IEEE Micro Top Picks in Computer Architecture, 2009.
http://dl.acm.org/citation.cfm?id=1512145.1512281 ACM DL

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.
http://www.cs.washington.edu/homes/luisceze/publications/cava_taco.pdf PDF

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.
http://www.cs.washington.edu/homes/luisceze/publications/cpc09.pdf PDF

SD-VBS: The San Diego Vision Benchmark Suite

S.Kota Venkata, I.J. Ahn, D. Jeon, A. Gupta, M. Taylor, IEEE International Symposium on Workload Characterization (IISWC), 2009.

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.
http://www.cs.washington.edu/homes/luisceze/publications/shcmp_08_dmp.pdf PDF

DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Efficiently

P. Montesinos, L. Ceze, J. Torrellas, International Symposium on Computer Architecture (ISCA), 2008.
http://dl.acm.org/citation.cfm?id=1394608.1382146 ACM DL

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.
http://www.cs.washington.edu/homes/luisceze/publications/lucia-atomaid.pdf 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.
http://dl.acm.org/citation.cfm?id=1353522.1353525 ACM DL

BulkSC: Bulk Enforcement of Sequential Consistency

L. Ceze, J. Tuck, P. Montesinos, J. Torrellas, International Symposium on Computer Architecture (ISCA), 2007.
http://www.cs.washington.edu/homes/luisceze/publications/isca07_bulksc.pdf PDF

Implicit Parallelism with Ordered Transactions

C. Praun, L. Ceze, C. Cascaval, Principles and Practice of Parallel Programming (PPoPP), 2007.
http://www.cs.washington.edu/homes/luisceze/publications/ipot_ppopp07.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/hpca07_colorama... PDF

Tiled Microprocessors

M. Taylor, Massachusetts Institute of Technology, 2007.

Runtime Checking for Program Verification

K. Zee, V. Kuncak, M. Taylor, M.C. Rinard, RV, 2007.

Scalable Cache Miss Handling for High Memory Level Parallelism

J. Tuck, L. Ceze, J. Torrellas, International Symposium on Microarchitecture (MICRO), 2006.
http://www.cs.washington.edu/homes/luisceze/publications/micro06_mshr.pdf PDF

Bulk Disambiguation of Speculative Threads in Multiprocessors

L. Ceze, J. Tuck, C. Cascaval, J. Torrellas, International Symposium on Computer Architecture (ISCA), 2006.
http://www.cs.washington.edu/homes/luisceze/publications/isca06_bulk.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/ppopp06.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/wmpi06.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/toppicks05.pdf PDF

Scalar Operand Networks

M.B. Taylor, W. Lee, S. Amarasinghe, A. Agarwal, IEEE Transactions on Parallel and Distributed Systems, 2005.

Scalar Operand Networks

M.B. Taylor, W. Lee, S. Amarasinghe, A. Agarwal, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2005.

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.
http://www.cs.washington.edu/homes/luisceze/publications/ics05_power.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/ics05_ooo.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/cava_cal.pdf PDF

Evaluation of the Raw Microprocessor: An Exposed-Wire-Delay Architecture for ILP and Streams

M.B. Taylor, W. Lee, J. Miller, D. Wentzlaff, I. Bratt, B. Greenwald, H. Hoffmann, P. Johnson, J. Kim, J. Psota, A. Saraf, N. Shnidman, V. Strumpen, M. Frank, S. Amarasinghe, A. Agarwal, International Symposium on Computer Architecture (ISCA), 2004.

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.
https://www.cs.washington.edu/homes/luisceze/publications/europar2003.pdf PDF

Energy Characterization of a Tiled Architecture Processor with On-Chip Networks

J. Kim, M.B. Taylor, J. Miller, D. Wentzlaff, International Symposium on Low Power Electronics and Design (ISLPED), 2003.

Scalar Operand Networks: On-Chip Interconnect for ILP in Partitioned Architectures

M.B. Taylor, W. Lee, S. Amarasinghe, A. Agarwal, International Symposium on High Performance Computer Architecture (HPCA), 2003.

A 16-issue Multiple-Program-Counter Microprocessor with Point-to-Point Scalar Operand Network

M.B. Taylor, J. Kim, J. Miller, D. Wentzlaff, F. Ghodrat, B. Greenwald, H. Hoffmann, P. Johnson, W. Lee, A. Saraf, N. Shnidman, V. Strumpen, S. Amarasinghe, A. Agarwal, IEEE International Solid-State Circuits Conference (ISSCC), 2003.

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.
http://www.cs.washington.edu/homes/luisceze/publications/lci2003.pdf PDF

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

G. Almasi,  others, IEEE International Conference on Cluster Computing (CC), 2002.
http://www.cs.washington.edu/homes/luisceze/publications/clustercomputin... PDF

An Overview of the Blue Gene/L Supercomputer

N.R. Adiga,  others, IEEE Supercomputing (SC), 2002.
http://www.cs.washington.edu/homes/luisceze/publications/sc2002.pdf PDF

The Raw Microprocessor: A Computational Fabric for Software Circuits and General Purpose Programs

M.B. Taylor, J. Kim, J. Miller, D. Wentzlaff, F. Ghodrat, B. Greenwald, H. Hoffmann, P. Johnson, J.W. Lee, W. Lee, A. Ma, A. Saraf, M. Seneski, N. Shnidman, V. Strumpen, M. Frank, S. Amarasinghe, A. Agarwal, IEEE Micro, 2002.

Cellular Supercomputing with System-on-a-Chip

G. Almasi,  others, International Solid State Circuits Conference (ISSCC), 2002.
http://www.cs.washington.edu/homes/luisceze/publications/isscc2002.pdf 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.
http://www.cs.washington.edu/homes/luisceze/publications/fie2000.pdf PDF

Baring it all to Software: Raw Machines

E. Waingold, M. Taylor, D. Srikrishna, V. Sarkar, W. Lee, V. Lee, J. Kim, M. Frank, P. Finch, R. Barua, J. Babb, S. Amarasinghe, A. Agarwal, IEEE Computer, 1997.

The Raw Benchmark Suite: Computation Structures for General Purpose Computing

J. Babb, M. Frank, V. Lee, E. Waingold, R. Barua, M. Taylor, J. Kim, S. Devabhaktuni, A. Agarwal, IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), 1997.

The RAW compiler project

A. Agarwal, S. Amarasinghe, R. Barua, M. Frank, W. Lee, V. Sarkar, D. Srikrishna, M. Taylor, Proceedings of the Second SUIF Compiler Workshop, 1997.