Demo Data from EDBT 2026 / reviewers in the wild / expert
Francisco J. Mesa-Martinez
dblp:29/5943
· DBLP profile ↗
9ranked-venue papers
5as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 9 · 5 first-authorSoftware engineering, systems software and programming languages · 2 · 2 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
6 papers |
Energy-efficient computing · 48% Performance modeling and evaluation · 30% Processor architecture and microarchitecture · 14% |
Topics — the 16 heaviest of 18, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Performance modeling and evaluation › simulation
architectural simulation |
0.2 | 1 | 2013 | Sampling in Thermal Simulation of Processors: Measurement, Characterization, and Evaluation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2013 |
Performance modeling and evaluation
simulation |
0.2 | 1 | 2013 | Sampling in Thermal Simulation of Processors: Measurement, Characterization, and Evaluation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2013 |
Energy-efficient computing › thermal modeling
thermal estimation |
0.2 | 1 | 2013 | Sampling in Thermal Simulation of Processors: Measurement, Characterization, and Evaluation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2013 |
Energy-efficient computing
thermal modeling |
0.2 | 1 | 2013 | Sampling in Thermal Simulation of Processors: Measurement, Characterization, and Evaluation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2013 |
Energy-efficient computing › thermal modeling
thermal characterization |
0.1 | 1 | 2010 | Characterizing processor thermal behavior · ASPLOS 2010 |
Energy-efficient computing
thermal management |
0.1 | 2 | 2010 | Power model validation through thermal measurements · ISCA 2007 Characterizing processor thermal behavior · ASPLOS 2010 |
Processor architecture and microarchitecture › out-of-order execution
out-of-order processor |
0.1 | 1 | 2007 | Effective Optimistic-Checker Tandem Core Design through Architectural Pruning · MICRO 2007 |
Energy-efficient computing
power modeling |
0.1 | 1 | 2007 | Power model validation through thermal measurements · ISCA 2007 |
Energy-efficient computing › power-performance modeling
power model validation |
0.1 | 1 | 2007 | Power model validation through thermal measurements · ISCA 2007 |
Hardware accelerators and domain-specific architectures
bioinformatics accelerator |
0.1 | 1 | 2005 | The UCSC Kestrel Parallel Processor · IEEE Trans. Parallel Distributed Syst. 2005 |
Processor architecture and microarchitecture › SIMD
SIMD processor |
0.1 | 1 | 2005 | The UCSC Kestrel Parallel Processor · IEEE Trans. Parallel Distributed Syst. 2005 |
Electronic design automation
design space exploration |
0.0 | 1 | 2013 | Sampling in Thermal Simulation of Processors: Measurement, Characterization, and Evaluation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2013 |
Energy-efficient computing › power management
dynamic voltage and frequency scaling |
0.0 | 1 | 2013 | Sampling in Thermal Simulation of Processors: Measurement, Characterization, and Evaluation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2013 |
Performance modeling and evaluation › statistical analysis
statistical sampling |
0.0 | 1 | 2013 | Sampling in Thermal Simulation of Processors: Measurement, Characterization, and Evaluation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2013 |
Processor architecture and microarchitecture
SIMD |
0.0 | 1 | 2005 | The UCSC Kestrel Parallel Processor · IEEE Trans. Parallel Distributed Syst. 2005 |
Parallel and multicore computing › data parallelism
SIMD vectorization |
0.0 | 1 | 2005 | The UCSC Kestrel Parallel Processor · IEEE Trans. Parallel Distributed Syst. 2005 |
Methods — techniques the papers use, named apart from their topics
statistical sampling · 0.2runtime temperature measurement · 0.2workload measurement · 0.1utilization metric · 0.1replay · 0.1infrared thermography · 0.1genetic algorithm · 0.1performance analysis · 0.1nonlinear mixed-effects regression · 0.1architectural design · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Sampling in Thermal Simulation of Processors: Measurement, Characterization, and EvaluationabstractPower densities in modern processors induce thermal issues that limit performance. Power and thermal models add complexity to architectural simulators, limiting the depth of analysis. Prohibitive execution time overheads may be circumvented using sampling techniques. While these approaches work well when characterizing processor performance, they introduce new challenges when applied to the thermal domain. This paper aims to improve the accuracy and performance of sampled thermal simulation at the architectural level. To the best of our knowledge, this paper is the first to evaluate the impact of statistical sampling on thermal metrics through direct temperature measurements performed at runtime. Experiments confirm that sampling can accurately estimate certain thermal metrics. However, extra consideration needs to be taken into account to preserve the accuracy of temperature estimation in a sampled simulation. Mainly because, on average, thermal phases are much longer than performance phases. Based on these insights, we introduce a framework that extends statistical sampling techniques, used at the performance and power stages, to the thermal domain. The resulting technique yields an integrated performance, power, and temperature simulator that maintains accuracy, while reducing simulation time by orders of magnitude. In particular, this paper shows how dynamic frequency and voltage adaptations can be evaluated in a statistically sampled simulation. We conclude by showing how the increased simulation speed benefits architects in the exploration of the design space. Ehsan K. Ardestani, Francisco J. Mesa-Martinez, Gabriel Southern, Elnaz Ebrahimi 0001, Jose Renau |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |
| 2010 | Characterizing processor thermal behaviorabstractTemperature is a dominant factor in the performance, reliability, and leakage power consumption of modern processors. As a result, increasing numbers of researchers evaluate thermal characteristics in their proposals. In this paper, we measure a real processor focusing on its thermal characterization executing diverse workloads. Francisco J. Mesa-Martinez, Ehsan K. Ardestani, Jose Renau |
ASPLOS | 1 |
| 2008 | Measuring power and temperature from real processorsabstractThe modeling of power and thermal behavior of modern processors requires challenging validation approaches, which may be complex and in some cases unreliable. In order to address some of the difficulties associated with the validation of power and thermal models, this document describes an infrared measurement setup that simultaneously captures run-time power consumption and thermal characteristics of a processor. We use infrared cameras with high spatial resolution (10 x 10 mum) and high frame rate (125 Hz) to capture thermal maps. Power measurements are obtained with a multimeter at a sampling rate of 1 K Hz. The synchronized traces can then be used in the validation process of possible thermal and power processor activity models. Francisco J. Mesa-Martinez, Joseph Nayfach-Battilana, Jose Renau |
IPDPS | 1 |
| 2007 | Power model validation through thermal measurementsabstractSimulation environments are an indispensable tool in the design, prototyping, performance evaluation, and analysis of computer systems. Simulator must be able to faithfully reflect the behavior of the system being analyzed. To ensure the accuracy of the simulator, it must be verified and determined to closely match empirical data. Modern processors provide enough performance counters to validate the majority of the performance models; nevertheless, the information provided is not enough to validate power and thermal models. In order to address some of the difficulties associated with the validation of power and thermal models, this paper proposes an infrared measurement setup to capture run-time power consumption and thermal characteristics of modern chips. We use infrared cameras with high spatial resolution (10x10μm) and high frame rate (125fps) to capture thermal maps. To generate a detailed power breakdown (leakage and dynamic) for each processor floorplan unit, we employ genetic algorithms. The genetic algorithm finds a power equation for each floorplan block that produces the measured temperature for a given thermal package. The difference between the predicted power and the externally measured power consumption for an AMD Athlon analyzed in this paper has less than 1 % discrepancy. As an example of applicability, we compare the obtained measurements with CACTI power models, and propose extensions to existing thermal models to increase accuracy. Francisco J. Mesa-Martinez, Joseph Nayfach-Battilana, Jose Renau |
ISCA | 1 |
| 2007 | Effective Optimistic-Checker Tandem Core Design through Architectural PruningabstractDesign complexity is rapidly becoming a limiting factor in the design of modern, high-performance microprocessors. This paper introduces an optimization technique to improve the efficiency of complex processors. Using a new metric (^Utilization), the designer can identify infrequently-used functionality which contributes little to performance and then systematically "prune" it from the design. For cases in which architectural pruning may affect design correctness, previously proposed techniques can be applied to guarantee forward progress. To explore the benefits of architectural pruning, we study a candidate Optimistic-Checker Tandem architecture, which combines a complex Alpha EV6-like out-of-order Optimistic core, with some of the underutilized functionality pruned from its design, with a non-pruned EV5-like in-order Checker core. Our results show that by removing 3% of infrequently used functionality from the optimistic core an increase in frequency of 25% can be realized. Taking into account the replay overhead triggered by the removed functionality, the Tandem system is still able to achieve a 12% overall speedup. Francisco J. Mesa-Martinez, Jose Renau |
MICRO | 1 |
| 2007 | Estimating design time for system circuitsabstractSystem design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it will take to design and verify these designs, which are getting denser and increasingly more complex. To compound this problem, circuit design cost estimation still does not have a quantitative approach. Although designing a system is very resource consuming, there is little work invested in measuring, understanding, and estimating the effort required. To address part of the current shortcomings, this paper introduces μPCBComplexity, a methodology to measure and estimate PCB (printed circuit board) design effort. PCBs are the central component of many systems and require large amounts of resources to properly design and verify. μPCBComplexity consists of two main parts; a procedure to account for the contributions of the different elements in the design, and a non-linear statistical regression of experimental measures in order to determine a good design effort metric. We use μPCBComplexity to evaluate a series of design effort estimators for twelve PCB designs. By using the proposed μPCBComplexity metric, designers can estimate PCB design effort. Cyrus Bazeghi, Francisco J. Mesa-Martinez, Brian Greskamp, Josep Torrellas, Jose Renau |
VLSI-SoC | 2 |
| 2006 | SEED: scalable, efficient enforcement of dependencesabstractInstruction issue logic is a critical component in modern high-performance out-of-order processors. The ever increasing latencies found in modern processors, mostly associated with memory accesses and longer pipelines, can be attenuated using large issue queues. Conventional designs rely on atomic wakeup-select cycles to ensure compact scheduling. These designs must aggressively utilize broadcasting, compaction, and heavily-ported structures that scale poorly in terms of both power consumption and access tim.To provide high scheduling flexibility and large instruction capacity without incurring prohibitive latency and energy overhead, we propose a novel scheme that uses an out-of-order, broadcast-free instruction wakeup block feeding an in-order scheduler. Multi-banked, index-based structures are used throughout this scheme to provide a high degree of scalability while achieving efficient dependence tracking, resulting in good overall performance and energy efficiency. We call this design "Scalable, Efficient Enforcement of Dependences (SEED)". We present a detailed design and analysis of SEED through an extensive evaluation. Compared to a conventional issue queue design, which is assumed favorably to scale in size without any impact on cycle time, the performance degradation of our design is 3% for both INT and FP suites of SPEC CPU2000. For such a small performance cost, SEED enjoys a 19% reduction in total chip power consumption for a 32-entry configuration. We also synthesize SEED and a conventional issue logic with 90nm standard cell logic. Synthesis results show that SEED can cycle twice the speed of a conventional issue logic of equivalent size. Cycling at the same frequency, SEED consumes ten times less dynamic power and five times less static power while achieving substantial area savings. Francisco J. Mesa-Martinez, Michael C. Huang 0001, Jose Renau |
PACT | 1 |
| 2005 | uComplexity: Estimating Processor Design EffortabstractMicroprocessor design complexity is growing rapidly. As a result, current development costs for top of the line processors are staggering, and are doubling every 4 years. As we design ever larger and more complex processors, it is becoming increasingly difficult to estimate how much time it will take to design and verify them. To compound this problem, processor design cost estimation still does not have a quantitative approach. Although designing a processor is very resource consuming, there is little work measuring, understanding, and estimating the effort required. To address this problem, this paper introduces /spl mu/Complexity, a methodology to measure and estimate processor design effort. /spl mu/Complexity consists of three main parts, namely a procedure to account for the contributions of the different components in the design, accurate statistical regression of experimental measures using a nonlinear mixed-effects model, and a productivity adjustment to account for the productivities of different teams. We use /spl mu/Complexity to evaluate a series of design effort estimators on several processor designs. Our analysis shows that the number of lines of HDL code, the sum of the fan-ins of the logic cones in the design, and a linear combination of the two metrics are good design effort estimators. On the other hand, power, area, frequency, number of flip-flops, and number of standard cells are poor estimators of design effort. We also show that productivity adjustments are necessary to produce accurate estimations. Cyrus Bazeghi, Francisco J. Mesa-Martinez, Jose Renau |
MICRO | 2 |
| 2005 | The UCSC Kestrel Parallel ProcessorabstractThe architectural landscape of high-performance computing stretches from superscalar uniprocessor to explicitly parallel systems, to dedicated hardware implementations of algorithms. Single-purpose hardware can achieve the highest performance and uniprocessors can be the most programmable. Between these extremes, programmable and reconfigurable architectures provide a wide range of choice in flexibility, programmability, computational density, and performance. The UCSC Kestrel parallel processor strives to attain single-purpose performance while maintaining user programmability. Kestrel is a single-instruction stream, multiple-data stream (SIMD) parallel processor with a 512-element linear array of 8-bit processing elements. The system design focuses on efficient high-throughput DNA and protein sequence analysis, but its programmability enables high performance on computational chemistry, image processing, machine learning, and other applications. The Kestrel system has had unexpected longevity in its utility due to a careful design and analysis process. Experience with the system leads to the conclusion that programmable SIMD architectures can excel in both programmability and performance. This work presents the architecture, implementation, applications, and observations of the Kestrel project at the University of California at Santa Cruz. Andrea Di Blas, David M. Dahle, Mark Diekhans, Leslie Grate, Jeffrey D. Hirschberg, Kevin Karplus, Hansjörg Keller, Mark Kendrick, Francisco J. Mesa-Martinez, David Pease, Eric Rice, Angela Schultz, Don Speck, Richard Hughey |
IEEE Trans. Parallel Distributed Syst. | 9 |