Luis Ceze

According to our database1, Luis Ceze
  • authored at least 106 papers between 2002 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Toward a DNA-Based Archival Storage System.
IEEE Micro, 2017

Making data center computations fast, but not so furious.
CoRR, 2017

Exploring Computation-Communication Tradeoffs in Camera Systems.
CoRR, 2017

Energy-Efficient Hybrid Stochastic-Binary Neural Networks for Near-Sensor Computing.
CoRR, 2017

Democratizing Design for Future Computing Platforms.
CoRR, 2017

Computer Security, Privacy, and DNA Sequencing: Compromising Computers with Synthesized DNA, Privacy Leaks, and More.
Proceedings of the 26th USENIX Security Symposium, 2017

VisualCloud Demonstration: A DBMS for Virtual Reality.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Clustering Billions of Reads for DNA Data Storage.
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

Similarity Search on Automata Processors.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

Exploring computation-communication tradeoffs in camera systems.
Proceedings of the 2017 IEEE International Symposium on Workload Characterization, 2017

Customizing Progressive JPEG for Efficient Image Storage.
Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

A hardware-friendly bilateral solver for real-time virtual reality video.
Proceedings of High Performance Graphics, 2017

Energy-efficient hybrid stochastic-binary neural networks for near-sensor computing.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Exploiting quality-energy tradeoffs with arbitrary quantization: special session paper.
Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion, 2017

A Visual Cloud for Virtual Reality Applications.
Proceedings of the CIDR 2017, 2017

Augmenting Interpersonal Communication through Connected Lighting.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

IncBricks: Toward In-Network Computation with an In-Network Cache.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

Approximate Storage of Compressed and Encrypted Videos.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

POSTER: Application-Driven Near-Data Processing for Similarity Search.
Proceedings of the 26th International Conference on Parallel Architectures and Compilation Techniques, 2017

2016
Approximate Computing: Unlocking Efficiency with Hardware-Software Co-Design.
GetMobile, 2016

NCAM: Near-Data Processing for Nearest Neighbor Search.
CoRR, 2016

Near Memory Similarity Search on Automata Processors.
CoRR, 2016

21st Century Computer Architecture.
CoRR, 2016

Arch2030: A Vision of Computer Architecture Research over the Next 15 Years.
CoRR, 2016

Optimizing synthesis with metasketches.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Disciplined Inconsistency with Consistency Types.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

High-Density Image Storage Using Approximate Memory Cells.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

A DNA-Based Archival Storage System.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015
Approximate Computing: Making Mobile Systems More Efficient.
IEEE Pervasive Computing, 2015

Alternative Computing Designs and Technologies.
IEEE Micro, 2015

The 2014 Top Picks in Computer Architecture.
IEEE Micro, 2015

SAP: an Architecture for Selectively Approximate Wireless Communication.
CoRR, 2015

Neural acceleration for general-purpose approximate programs.
Commun. ACM, 2015

Latency-Tolerant Software Distributed Shared Memory.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Hardware-Software Co-Design: Not Just a Cliché.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Probability type inference for flexible approximate programming.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

NCAM: Near-Data Processing for Nearest Neighbor Search.
Proceedings of the 2015 International Symposium on Memory Systems, 2015

SNNAP: Approximate computing on programmable SoCs via neural acceleration.
Proceedings of the 21st IEEE International Symposium on High Performance Computer Architecture, 2015

Claret: using data types for highly concurrent distributed transactions.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Data provenance tracking for concurrent programs.
Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015

Monitoring and Debugging the Quality of Results in Approximate Programs.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
Approximate Storage in Solid-State Memories.
ACM Trans. Comput. Syst., 2014

Data Race Detection with Minimal Hardware Support.
Comput. J., 2014

Expressing and verifying probabilistic assertions.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Alembic: automatic locality extraction via migration.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Symbolic execution of multithreaded programs from arbitrary program contexts.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

General-purpose code acceleration with limited-precision analog computation.
Proceedings of the ACM/IEEE 41st International Symposium on Computer Architecture, 2014

Low-level detection of language-level data races with LARD.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

Integrated 3D-stacked server designs for increasing physical density of key-value stores.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013
Neural Acceleration for General-Purpose Approximate Programs.
IEEE Micro, 2013

Exploring storage class memory with key value stores.
Proceedings of the 1st Workshop on Interactions of NVM/FLASH with Operating Systems and Workloads, 2013

Input-covering schedules for multithreaded programs.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Approximate storage in solid-state memories.
Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture, 2013

DNA-based molecular architecture with spatially localized components.
Proceedings of the 40th Annual International Symposium on Computer Architecture, 2013

Cooperative empirical failure avoidance for multithreaded programs.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

DDOS: taming nondeterminism in distributed systems.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012
IFRit: interference-free regions for dynamic data-race detection.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Neural Acceleration for General-Purpose Approximate Programs.
Proceedings of the 45th Annual IEEE/ACM International Symposium on Microarchitecture, 2012

RADISH: Always-on sound and complete race detection in software and hardware.
Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012

Automatic discovery of performance and energy pitfalls in HTML and CSS.
Proceedings of the 2012 IEEE International Symposium on Workload Characterization, 2012

Architecture support for disciplined approximate programming.
Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011
Shared-Memory Multiprocessors.
Proceedings of the Encyclopedia of Parallel Computing, 2011

The Impact of Memory Models on Software Reliability in Multiprocessors
CoRR, 2011

The impact of memory models on software reliability in multiprocessors.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Data-race exceptions have benefits beyond the memory model.
Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, 2011

EnerJ: approximate data types for safe and general low-power computation.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Isolating and understanding concurrency errors using reconstructed execution fragments.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Checked Load: Architectural support for JavaScript type-checking on mobile processors.
Proceedings of the 17th International Conference on High-Performance Computer Architecture (HPCA-17 2011), 2011

Crunching Large Graphs with Commodity Processors.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011

Operating System Implications of Fast, Cheap, Non-Volatile Memory.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Accelerating Data Race Detection with Minimal Hardware Support.
Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

RCDC: a relaxed consistency deterministic computer.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

Characterizing the Performance and Energy Efficiency of Lock-Free Data Structures.
Proceedings of the 15th Workshop on Interaction between Compilers and Computer Architectures, 2011

2010
DMP: Deterministic Shared-Memory Multiprocessing.
IEEE Micro, 2010

Deterministic Process Groups in dOS.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Composable specifications for structured shared-memory communication.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races.
Proceedings of the 37th International Symposium on Computer Architecture (ISCA 2010), 2010

ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations.
Proceedings of the 37th International Symposium on Computer Architecture (ISCA 2010), 2010

A limit study of JavaScript parallelism.
Proceedings of the 2010 IEEE International Symposium on Workload Characterization, 2010

CoreDet: a compiler and runtime system for deterministic multithreaded execution.
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009
SoftSig: Software-Exposed Hardware Signatures for Code Analysis and Optimization.
IEEE Micro, 2009

Atom-Aid: Detecting and Surviving Atomicity Violations.
IEEE Micro, 2009

The Bulk Multicore architecture for improved programmability.
Commun. ACM, 2009

Two hardware-based approaches for deterministic multiprocessor replay.
Commun. ACM, 2009

Finding concurrency bugs with context-aware communication graphs.
Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

DMP: deterministic shared memory multiprocessing.
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2008
DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Effciently.
Proceedings of the 35th International Symposium on Computer Architecture (ISCA 2008), 2008

Atom-Aid: Detecting and Surviving Atomicity Violations.
Proceedings of the 35th International Symposium on Computer Architecture (ISCA 2008), 2008

SoftSig: software-exposed hardware signatures for code analysis and optimization.
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

Concurrency control with data coloring.
Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), 2008

2007
Implicit parallelism with ordered transactions.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

BulkSC: bulk enforcement of sequential consistency.
Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

Colorama: Architectural Support for Data-Centric Synchronization.
Proceedings of the 13st International Conference on High-Performance Computer Architecture (HPCA-13 2007), 2007

2006
CAVA: Using checkpoint-assisted value prediction to hide L2 misses.
TACO, 2006

Energy-Efficient Thread-Level Speculation.
IEEE Micro, 2006

POSH: a TLS compiler that exploits program structure.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Scalable Cache Miss Handling for High Memory-Level Parallelism.
Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 2006

Bulk Disambiguation of Speculative Threads in Multiprocessors.
Proceedings of the 33rd International Symposium on Computer Architecture (ISCA 2006), 2006

2005
Tasking with out-of-order spawn in TLS chip multiprocessors: microarchitecture and compilation.
Proceedings of the 19th Annual International Conference on Supercomputing, 2005

Thread-Level Speculation on a CMP can be energy efficient.
Proceedings of the 19th Annual International Conference on Supercomputing, 2005

2004
CAVA: Hiding L2 Misses with Checkpoint-Assisted Value Prediction.
Computer Architecture Letters, 2004

2003
An Overview Of The Bluegene/L System Software Organization.
Parallel Processing Letters, 2003

An Overview of the Blue Gene/L System Software Organization.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002
An overview of the BlueGene/L Supercomputer.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Proceedings of the 2002 ACM/IEEE conference on Supercomputing, 2002

Evaluation of a Multithreaded Architecture for Cellular Computing.
Proceedings of the Eighth International Symposium on High-Performance Computer Architecture (HPCA'02), 2002



  Loading...