Jose Renau

Orcid: 0000-0001-5128-0506

Affiliations:
  • University of California, Santa Cruz, CA, USA


According to our database1, Jose Renau authored at least 61 papers between 2000 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Multi-threaded Fast Hardware Compiler for HDLs.
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

2021
Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation.
Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021


2020
LiveHD: A Productive Live Hardware Development Flow.
IEEE Micro, 2020

Load Driven Branch Predictor (LDBP).
CoRR, 2020

LiveSim: A Fast Hot Reload Simulator for HDLs.
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2020

2019
EMI Architectural Model and Core Hopping.
Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

SMatch: Structural Matching for Fast Resynthesis in FPGAs.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
GPU NTC Process Variation Compensation With Voltage Stacking.
IEEE Trans. Very Large Scale Integr. Syst., 2018

Automated Pipeline Transformations with Fluid Pipelines.
Proceedings of the Advanced Logic Synthesis, 2018

2017
Architectural opportunities for novel dynamic EMI shifting (DEMIS).
Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, 2017

Liam: an actor based programming model for HDLs.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Level shifter design for voltage stacking.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Timing speculative SRAM.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

2016
Managing Mismatches in Voltage Stacking with CoreUnfolding.
ACM Trans. Archit. Code Optim., 2016

Analysis of PARSEC workload scalability.
Proceedings of the 2016 IEEE International Symposium on Performance Analysis of Systems and Software, 2016

SRAM voltage stacking.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Overhead of deoptimization checks in the V8 javascript engine.
Proceedings of the 2016 IEEE International Symposium on Workload Characterization, 2016

Fluid Pipelines: Elastic circuitry meets Out-of-Order execution.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016

LiveSim: Going live with microarchitecture simulation.
Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016

LiveSynth: Towards an interactive synthesis flow.
Proceedings of the 2016 IEEE Hot Chips 28 Symposium (HCS), 2016

2015
Section-Based Program Analysis to Reduce Overhead of Detecting Unsynchronized Thread Communication.
ACM Trans. Archit. Code Optim., 2015

Message from the program chair.
Proceedings of the 2015 IEEE International Symposium on Performance Analysis of Systems and Software, 2015

2014
Power Blurring: Fast Static and Transient Thermal Analysis Method for Packaged Integrated Circuits and Power Devices.
IEEE Trans. Very Large Scale Integr. Syst., 2014

2013
Sampling in Thermal Simulation of Processors: Measurement, Characterization, and Evaluation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

An energy efficient GPGPU memory hierarchy with tiny incoherent caches.
Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED), 2013

ESESC: A fast multicore simulator using Time-Based Sampling.
Proceedings of the 19th IEEE International Symposium on High Performance Computer Architecture, 2013

ESESC: A fast performance, power, and temperature multicore simulator.
Proceedings of the 2013 IEEE Hot Chips 25 Symposium (HCS), 2013

2012
Thermal-aware sampling in architectural simulation.
Proceedings of the International Symposium on Low Power Electronics and Design, 2012

2011
ReRack: power simulation for data centers with renewable energy generation.
SIGMETRICS Perform. Evaluation Rev., 2011

Hot Chips 22.
IEEE Micro, 2011

A design time simulator for computer architects.
Proceedings of the 12th International Symposium on Quality Electronic Design, 2011

Releasing efficient beta cores to market early.
Proceedings of the 38th International Symposium on Computer Architecture (ISCA 2011), 2011

2010
Characterizing processor thermal behavior.
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009
SOI, interconnect, package, and mainboard thermal characterization.
Proceedings of the 2009 International Symposium on Low Power Electronics and Design, 2009

Measuring and modeling variabilityusing low-cost FPGAs.
Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, 2009

2008
Understanding bug fix patterns in verilog.
Proceedings of the 2008 International Working Conference on Mining Software Repositories, 2008

Processor Verification with hwBugHunt.
Proceedings of the 9th International Symposium on Quality of Electronic Design (ISQED 2008), 2008

Measuring power and temperature from real processors.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007
System and Procesor Design Effort Estimation.
Proceedings of the VLSI-SoC: Advanced Topics on Systems on a Chip, 2007

Estimating design time for system circuits.
Proceedings of the IFIP VLSI-SoC 2007, 2007

Effective Optimistic-Checker Tandem Core Design through Architectural Pruning.
Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-40 2007), 2007

Power model validation through thermal measurements.
Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

Measuring performance, power, and temperature from real processors.
Proceedings of the Workshop on Experimental Computer Science, 2007

2006
CAVA: Using checkpoint-assisted value prediction to hide L2 misses.
ACM Trans. Archit. Code Optim., 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

SEED: scalable, efficient enforcement of dependences.
Proceedings of the 15th International Conference on Parallel Architectures and Compilation Techniques (PACT 2006), 2006

2005
uComplexity: Estimating Processor Design Effort.
Proceedings of the 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-38 2005), 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
Chip Multiprocessors With Speculative Multithreading: Design for Performance and Energy Efficiency
PhD thesis, 2004

CAVA: Hiding L2 Misses with Checkpoint-Assisted Value Prediction.
IEEE Comput. Archit. Lett., 2004

2003
Programming the FlexRAM parallel intelligent memory system.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

Positional Adaptation of Processors: Application to Energy Reduction.
Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

2002
Cherry: checkpointed early resource recycling in out-of-order microprocessors.
Proceedings of the 35th Annual International Symposium on Microarchitecture, 2002

Energy-efficient hybrid wakeup logic.
Proceedings of the 2002 International Symposium on Low Power Electronics and Design, 2002

2001
The Design of DEETM: a Framework for Dynamic Energy Efficiency and Temperature Management.
J. Instr. Level Parallelism, 2001

L1 data cache decomposition for energy efficiency.
Proceedings of the 2001 International Symposium on Low Power Electronics and Design, 2001

2000
A framework for dynamic energy efficiency and temperature management.
Proceedings of the 33rd Annual IEEE/ACM International Symposium on Microarchitecture, 2000

Energy/Performance Design of Memory Hierarchies for Processor-in-Memory Chips.
Proceedings of the Intelligent Memory Systems, Second International Workshop, 2000


  Loading...