VLDB 2026 Research / reviewers in the wild / expert
Michael J. Foster
dblp:88/2796
· DBLP profile ↗
5ranked-venue papers
1as first author
0since 2021 · last 2009
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 2 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 2
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
3 papers |
Electronic design automation · 49% Embedded and real-time systems · 22% Hardware accelerators and domain-specific architectures · 16% | |
| Software engineering, system software, and programming languages
1 paper |
Concurrent programming · 100% | |
| Theoretical computer science
1 paper |
Algorithms and data structures · 100% |
Topics — the 6 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
high-level synthesis |
0.0 | 1 | 1985 | Compiling Path Expressions into VLSI Circuits · POPL 1985 |
Embedded and real-time systems
cyber-physical system platforms |
0.0 | 1 | 1982 | MISE: Machine for In-System Evaluation of Custom VLSI Chips for Real-Time Systems · RTSS 1982 |
Electronic design automation › design methodology
VLSI design methodology |
0.0 | 1 | 1980 | Design of Special-Purpose VLSI Chips: Example and Opinions · ISCA 1980 |
Concurrent programming › synchronization
process synchronization |
0.0 | 1 | 1985 | Compiling Path Expressions into VLSI Circuits · POPL 1985 |
Integrated circuit design › VLSI design
custom VLSI design |
0.0 | 1 | 1982 | MISE: Machine for In-System Evaluation of Custom VLSI Chips for Real-Time Systems · RTSS 1982 |
Integrated circuit design
digital circuit design |
0.0 | 1 | 1982 | MISE: Machine for In-System Evaluation of Custom VLSI Chips for Real-Time Systems · RTSS 1982 |
Methods — techniques the papers use, named apart from their topics
pipelining · 0.0VLSI design · 0.0in-system evaluation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | Stochastic Radiative Transfer on Modeled Cloud FieldsabstractSeveral efforts are currently underway to improve cloud-radiation parameterizations in Global Climate Models (GCMs) by incorporating statistical properties of the cloud field. Although some radiation parameterizations, which are already computationally costly, now incorporate subgrid scale variability in cloud properties, they are not yet capable of using this information in their calculations of the 3-D radiation fields. Before drastic changes are made to such algorithms to incorporate cloud-cloud radiation interactions, the impact of including realistic high-resolution cloud distributions on the shortwave fluxes should be assessed. This letter provides a framework for carrying out such assessments, including a new methodology that blends a stochastic radiative transfer model, high-resolution cloud fields from a mesoscale meteorological model, and a threshold and object identification technique applied to cloud water content fields. This process provides a link between the radiative fluxes calculated in GCMs, where clouds occur at a subgrid scale, and the highly resolved cloud fields in a regional climate model, which can provide cloud field statistics. Two case studies are described herein. Dana E. Veron, Christopher P. Weaver, Fabrice Veron, Michael J. Foster |
IEEE Geosci. Remote. Sens. Lett. | 4 |
| 1986 | Compiling Path Expressions Into VLSI Circuits
Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra |
Distributed Comput. | 3 |
| 1985 | Compiling Path Expressions into VLSI CircuitsabstractPath expressions were originally proposed by Campbell and Habermann [1] as a mechanism for process synchronization at the monitor level in software. Not unexpectedly, they also provide a useful notation for specifying the behavior of asynchronous circuits. Motivated by this potential application we investigate how to directly translate path expressions into hardware. Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra |
POPL | 3 |
| 1982 | MISE: Machine for In-System Evaluation of Custom VLSI Chips for Real-Time Systems
Roberto Bisiani, Michael J. Foster, H. T. Kung 0001, Kemal Oflazer |
RTSS | 2 |
| 1980 | Design of Special-Purpose VLSI Chips: Example and OpinionsabstractThis paper identifies important steps in the design of a special purpose VLSI chip, and argues that the most crucial step is the design of the underlying algorithm. Because the algorithm determines the degree of parallelism and pipelining that is possible, it largely determines the performance of the chip. Furthermore, if the underlying algorithm has the right properties such as modularity and regularity, then the rest of the design should be routine and thus take little effort. These claims are supported by a concrete example—the design of an efficient pattern matching chip, which has been fabricated for testing. Michael J. Foster, H. T. Kung 0001 |
ISCA | 1 |