VLDB 2026 Research / reviewers in the wild / expert
Zyad Hassan
dblp:97/3313
· DBLP profile ↗
7ranked-venue papers
4as 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 · 4 · 2 first-authorSoftware engineering, systems software and programming languages · 3 · 2 first-authorTheory of computation · 3 · 2 first-authorApplied, interdisciplinary, general and emerging computing · 1
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
1 paper |
Electronic design automation · 50% Energy-efficient computing · 50% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking › model checking › temporal logic model checking
CTL model checking |
0.1 | 1 | 2012 | Incremental, Inductive CTL Model Checking · CAV 2012 |
Electronic design automation
thermal analysis |
0.1 | 1 | 2009 | Multiscale Thermal Analysis for Nanometer-Scale Integrated Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2009 |
Energy-efficient computing › thermal management
thermal-aware design |
0.1 | 1 | 2009 | Multiscale Thermal Analysis for Nanometer-Scale Integrated Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2009 |
Methods — techniques the papers use, named apart from their topics
inductive reasoning · 0.1incremental verification · 0.1fourier modeling · 0.1boltzmann transport equation · 0.1adaptive multiresolution modeling · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Better generalization in IC3
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi |
FMCAD | 1 |
| 2012 | Incremental, Inductive CTL Model Checking
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi |
CAV | 1 |
| 2011 | An incremental approach to model checking progress properties
Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang 0027 |
FMCAD | 3 |
| 2011 | Full-Spectrum Spatial-Temporal Dynamic Thermal Analysis for Nanometer-Scale Integrated CircuitsabstractThis paper presents NanoHeat, a multi-resolution full-chip dynamic integrated circuit (IC) thermal analysis solution, that is accurate down to the scale of individual gates and transistors. NanoHeat unifies nanoscale and macroscale dynamic thermal physics models, for accurate characterization of heat transport from the gate and transistor level up to the chip-package level. A non-homogeneous Arnoldi-based analysis method is proposed for accurate and fast dynamic thermal analysis through a unified adaptive spatial-temporal refinement process. NanoHeat is capable of covering the complete spatial and temporal modeling spectrum of IC thermal analysis. The accuracy and efficiency of NanoHeat are evaluated, and NanoHeat has been applied to a large industry design. The importance of considering fine-grain temperature information is illustrated by using NanoHeat to estimate temperature-dependent negative-bias-temperature-instability (NBTI) effects. NanoHeat has been implemented and publicly released for free academic and personal use. Zyad Hassan, Nicholas Allec, Fan Yang 0001, Robert P. Dick, Xuan Zeng 0001 |
IEEE Trans. Very Large Scale Integr. Syst. | 1 |
| 2010 | Large-scale battery system modeling and analysis for emerging electric-drive vehiclesabstractEmerging electric-drive vehicles demonstrate the potential for significant reduction of petroleum consumption and greenhouse gas emissions. Existing electric-drive vehicles typi- cally include a battery system consisting of thousands of Lithium-ion battery cells. Therefore, large-scale battery-system modeling and analysis is essential for battery system performance analysis, next-generation battery system design, and transportation electrification. Yifei Jiang, Zyad Hassan, Qin Lv, Dragan Maksimovic |
ISLPED | 4 |
| 2009 | Multiscale Thermal Analysis for Nanometer-Scale Integrated CircuitsabstractThermal analysis has long been essential for designing reliable high-performance cost-effective integrated circuits (ICs). Increasing power densities are making this problem more important. Characterizing the thermal profile of an IC quickly enough to allow feedback on the thermal effects of tentative design changes is a daunting problem, and its complexity is increasing. The move to nanometer-scale fabrication processes is increasing the importance of thermal phenomena such as ballistic phonon transport. The accurate thermal analysis of nanometer-scale ICs containing hundreds of millions of devices requires characterization of heat transport across multiple length scales. These scales range from the nanometer scale (device-level impact) to the centimeter scale (cooling package impact). Existing chip-package thermal analysis methods based on classical Fourier heat transfer cannot capture nanometer-scale thermal effects. However, accurate device-level modeling techniques, such as molecular dynamics methods, are far too slow for use in full-chip IC thermal analysis. In this paper, we propose and develop ThermalScope, a multiscale thermal analysis method for nanometer-scale IC design. It unifies microscopic and macroscopic thermal modeling methods, i.e., the Boltzmann transport equation and Fourier modeling methods. Moreover, it supports adaptive multiresolution modeling. Together, these ideas enable the efficient and accurate characterization of nanometer-scale heat transport as well as the chip-package-level heat flow. ThermalScope is designed for full-chip thermal analysis of billion-transistor nanometer-scale IC designs, with accuracy at the scale of individual devices. ThermalScope enables the accurate characterization of various temperature-related effects, such as temperature-dependent leakage power and temperature-timing dependences. ThermalScope has been implemented in software and used for the full-chip thermal analysis and temperature-dependent leakage analysis of an IC design with more than 150 million transistors. ThermalScope will be publicly released for free academic and personal use. Zyad Hassan, Nicholas Allec, Robert P. Dick, V. Venkatraman, Ronggui Yang |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |
| 2008 | ThermalScope: multi-scale thermal analysis for nanometer-scale integrated circuitsabstractThermal analysis has long been essential for designing reliable, high-performance, cost-effective integrated circuits (ICs). Increasing power densities are making this problem more important. Characterizing the thermal profile of an IC quickly enough to allow feedback on the thermal effects of tentative design changes is a daunting problem, and its complexity is increasing. The move to nanoscale fabrication processes is increasing the importance of quantum thermal phenomena such as ballistic phonon transport. Accurate thermal analysis of nanoscale ICs containing hundreds of millions of devices requires characterization of thermal effects on length scales that vary by several orders of magnitude, from nanoscale quantum thermal effects to centimeter-scale cooling package impact. Existing chip.package thermal analysis methods based on classical Fourier heat transfer cannot capture nanoscale quantum thermal effects. However, accurate device-level modeling techniques, such as molecular dynamics methods, are far too slow for use in full-chip IC thermal analysis. In this work, we propose and develop ThermalScope, a multi-scale thermal analysis method for nanoscale IC design. It unifies microscopic and macroscopic thermal physics modeling methods, i.e., the Fourier and Boltzmann transport modeling methods. Moreover, it supports adaptive multi-resolution modeling. Together, these ideas enable efficient and accurate characterization of nanoscale quantum heat transport as well as chip.package level heat flow. ThermalScope is designed for full-chip thermal analysis of billion-transistor nanoscale IC designs, with accuracy at the scale of individual devices. ThermalScope enables accurate characterization of temperature-related effects, such as variation in leakage power and delay. ThermalScope has been implemented in software and used for full-chip thermal analysis and temperature-dependent leakage analysis of an IC design with more than 150 million transistors. It will be publicly released for free academic and personal use. Nicholas Allec, Zyad Hassan, Robert P. Dick, Ronggui Yang |
ICCAD | 2 |