Demo Data from VLDB 2026 / reviewers in the wild / expert
Gregory S. Spirakis
dblp:00/2048
· DBLP profile ↗
6ranked-venue papers
3as first author
0since 2021 · last 2007
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 6 · 3 first-authorSoftware engineering, systems software and programming languages · 1 · 1 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
4 papers |
Electronic design automation · 80% Energy-efficient computing · 20% |
Topics — the 7 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
design methodology |
0.0 | 1 | 2003 | Leading-edge and future design challenges - is the classical EDA ready? · DAC 2003 |
Energy-efficient computing
microprocessor power management |
0.0 | 1 | 2000 | EDA challenges facing future microprocessor design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2000 |
Electronic design automation › hardware verification and test
performance verification |
0.0 | 1 | 2000 | EDA challenges facing future microprocessor design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2000 |
Energy-efficient computing
power management |
0.0 | 1 | 2000 | EDA challenges facing future microprocessor design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2000 |
Electronic design automation › hardware verification and test
processor verification |
0.0 | 1 | 2000 | EDA challenges facing future microprocessor design · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2000 |
Electronic design automation › hardware verification and test
formal verification |
0.0 | 1 | 2003 | Leading-edge and future design challenges - is the classical EDA ready? · DAC 2003 |
Electronic design automation
hardware verification and test |
0.0 | 1 | 2003 | Leading-edge and future design challenges - is the classical EDA ready? · DAC 2003 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2007 | Megatrends and EDA 2017
Francine Bacchini, Gregory S. Spirakis, Juan Antonio Carballo, Kurt Keutzer, Aart J. de Geus, Fu-Chieh Hsu, Kazu Yamada |
DAC | 2 |
| 2004 | Opportunities and Challenges in Building Silicon Products in 65nm and BeyondabstractThe demand for cheaper, faster and more integrated semiconductor products is expected to drive the scaling of silicon technology, enabling continuance of Moore's law at least for another decade. However, technology scaling presents several manufacturing and design technology challenges that must be overcome to build semiconductor products in a cost effective manner. While some of the existing challenges that we face today such as power, process variations are expected to become worse at smaller geometries requiring innovations, new problems may arise in integrating heterogeneous technologies such as RF, MEMS on the same die/package. A myriad of design technology challenges starting from functional validation to timing validation and design for test to manufacturability must be addressed to successfully build products. The paper will highlight challenges and identify some of the opportunities in driving design technologies forward. Gregory S. Spirakis |
DATE | 1 |
| 2003 | Leading-edge and future design challenges - is the classical EDA ready?abstractCurrent design tools are lagging behind and, in some cases, slowing the growth of the VLSI market. Disruptive design methods are necessary to bridge the gap. Abstraction and re-use are believed to be the most promising approaches. However, difficult open questions still exist in this new flow. In particular, how a high-level design can be transformed into an implementation while ensuring full (formal) verification of the correspondence between the models. Gregory S. Spirakis |
DAC | 1 |
| 2002 | Homegrown Tools and Equipment versus EDA and ATE Vendors: The Future of Design to Test Product Lines
Gregory S. Spirakis |
ITC | 1 |
| 2001 | Panel: What Drives EDA Innovation?abstractIf EDA technology innovation drives return on investment, what drives innovation? Is it tied to the semiconductor retooling cycle? To productivity requirements? To Moores Law? Or is there something more fundamental that we are missing? What driving forces could result in a $30 billion EDA industry, and what role will innovation play? Will the industry provide the needed breakthroughs for their customers, or seek instead the lowest common denominator user? Will designers “roll their own” tools or seek common solutions? How does EDA innovation track with the semiconductor business cycle? Does a slowdown accelerate or depress creation of new tools and new designs? Panelists will discuss the forces at work in the EDA industry of tomorrow. Steven E. Schulz, Georgia Marszalek, Greg Hinckley, Gregory S. Spirakis, Karen Vahtra, John A. Darringer, J. George Janac, Handel H. Jones |
DAC | 4 |
| 2000 | EDA challenges facing future microprocessor designabstractAs microprocessor design progresses from tens of millions of transistors on a chip using 0.18-/spl mu/m process technology to approximately a billion transistors on a chip using 0.10-/spl mu/m and finer process technologies, the microprocessor designer faces unprecedented Electronic Design Automation (EDA) challenges over the future generations of microprocessors. This paper describes the changes in the design environment that will be necessary to develop increasingly complex microprocessors. In particular, the paper describes the current status and the future challenges along three important areas in a design flow: design correctness, performance verification and power management. T. Karn, Shishpal Rawat, Desmond Kirkpatrick, Rabindra K. Roy, Gregory S. Spirakis, Naveed A. Sherwani, Craig Peterson |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 5 |