Demo Data from EDBT 2026 / reviewers in the wild / expert
Dorothy E. Setliff
dblp:04/5785
· DBLP profile ↗
11ranked-venue papers
6as first author
0since 2021 · last 2000
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 6 · 4 first-authorSystems, architecture and hardware · 4 · 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
6 papers |
Electronic design automation · 76% Embedded and real-time systems · 24% | |
| Software engineering, system software, and programming languages
4 papers |
Program synthesis and code generation · 100% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% |
Topics — the 12 heaviest of 15, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
physical design |
0.0 | 4 | 1995 | Deriving Efficient Area and Delay Estimates by Modeling Layout Tools · DAC 1995 On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1991 ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software · DAC 1989 |
Electronic design automation
design space exploration |
0.0 | 1 | 1997 | Towards a Design Assistant for Distributed Embedded Systems · ASE 1997 |
Embedded and real-time systems › networked embedded systems
distributed embedded systems |
0.0 | 1 | 1997 | Towards a Design Assistant for Distributed Embedded Systems · ASE 1997 |
Electronic design automation › high-level synthesis
area and delay estimation |
0.0 | 1 | 1995 | Deriving Efficient Area and Delay Estimates by Modeling Layout Tools · DAC 1995 |
Electronic design automation
high-level synthesis |
0.0 | 1 | 1995 | Deriving Efficient Area and Delay Estimates by Modeling Layout Tools · DAC 1995 |
Electronic design automation › physical design
routing |
0.0 | 2 | 1992 | On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1991 Knowledge Representation and Reasoning in a Software Synthesis Architecture · IEEE Trans. Software Eng. 1992 |
Electronic design automation › physical design › routing › wire routing
maze routing |
0.0 | 1 | 1991 | On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1991 |
Embedded and real-time systems
real-time scheduling |
0.0 | 1 | 1991 | Towards an automatic synthesis system for real-time software · RTSS 1991 |
Embedded and real-time systems › real-time software
real-time software synthesis |
0.0 | 1 | 1991 | Towards an automatic synthesis system for real-time software · RTSS 1991 |
Electronic design automation › timing analysis
timing constraint analysis |
0.0 | 1 | 1991 | Towards an automatic synthesis system for real-time software · RTSS 1991 |
Program synthesis and code generation
domain-specific code generation |
0.0 | 1 | 1989 | ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software · DAC 1989 |
Electronic design automation › physical design › routing
wire routing |
0.0 | 1 | 1989 | ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software · DAC 1989 |
Methods — techniques the papers use, named apart from their topics
stepwise refinement · 0.0program synthesis · 0.0code generation · 0.0knowledge sources · 0.0domain-specific knowledge · 0.0model-based design · 0.0design framework · 0.0worst-case timing prediction · 0.0data and control flow analysis · 0.0machine learning · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2000 | Modeling layout tools to derive forward estimates of area and delay at the RTL levelabstractForward estimates of area and delay facilitate effective decision-making when searching the solution space of digital designs. Current estimation techniques focus on modeling the layout result and fail to deliver timely or accurate estimates. This paper presents a novel approach to deriving these area and delay estimates at the RTL level by modeling the layout tool, rather than the layout result. This approach uses machine learning techniques to capture the relationships between general design features (i.e., topology, connectivity, common input, and common output) and layout concepts (i.e., relative placement). Experiments illustrate the formulation of the training set for machine learning in this domain, and also show how we can derive different tool models. Finally, they show how we can use the resultant model to derive forward estimates of area and delay in real-world designs. Donald S. Gelosh, Dorothy E. Setliff |
ACM Trans. Design Autom. Electr. Syst. | 2 |
| 1998 | A Guide to Rearing Perfect Software: A Desert Island Column
Dorothy E. Setliff |
Autom. Softw. Eng. | 1 |
| 1997 | Towards a Design Assistant for Distributed Embedded SystemsabstractThis paper presents an overview of a distributed embedded system design assistant called Systems Engineers Workbench (SEW 2.0). SEW 2.0 uses a suite of design frameworks, with supporting representations, to structure the inherent complexity. A set of design assist operatives further improves the ability of the designer to explore the domain space while evaluating performance/resource tradeoffs. Dorothy E. Setliff, Jay K. Strosnider, Jose A. Madriz |
ASE | 1 |
| 1997 | Introduction
Howard B. Reubenstein, Dorothy E. Setliff |
Autom. Softw. Eng. | 2 |
| 1995 | Deriving Efficient Area and Delay Estimates by Modeling Layout ToolsabstractAbstract| This paper presents a novel approach to deriving area and delay estimates for high level synthesis using machine learning techniques to model layout tools.This approach captures the relationships between general design features (e.g., topology, connectivity, common input, and common output) and layout concepts (e.g., relative placement).Experimentation illustrates the eectiveness of this approach for a variety of real-world designs. Donald S. Gelosh, Dorothy E. Setliff |
DAC | 2 |
| 1994 | Birds of a feather: The DODE and domain-specific software synthesis systems
Dorothy E. Setliff |
Autom. Softw. Eng. | 1 |
| 1994 | Using simulated annealing to synthesize resource-bounded software
Tobiah E. Smith, Dorothy E. Setliff |
Autom. Softw. Eng. | 2 |
| 1992 | Knowledge Representation and Reasoning in a Software Synthesis ArchitectureabstractThe knowledge representation and reasoning strategies in an automatic program synthesis architecture called ELF are described. ELF synthesizes computer-aided design (CAD) tools that automatically route wires in VLSI circuits. The design space ELF confronts, requires it to understand various physical technologies, to select an appropriate procedure-level decomposition, to choose algorithms and data structures, to manage any interdependencies, and to generate efficient code. ELF manages the design space using a variety of knowledge sources, including domain-specific knowledge. The manner in which knowledge is used determines the representation method of choice. The effectiveness of these ideas is illustrated via a tour through the synthesis steps for a specific routing tool, and a brief discussion of the performance of the resulting synthetic router as measured against an industrial tool.> Dorothy E. Setliff, Rob A. Rutenbar |
IEEE Trans. Software Eng. | 1 |
| 1991 | Towards an automatic synthesis system for real-time softwareabstractAn automatic synthesis system for real-time software is described. It is argued that the presence of strict operation requirements, such as task-level timing constraints and compiler and target platform constraints, guides synthesis. An automatic software synthesis system, RT-SYN, integrates platform characteristics to synthesize real-time software which meets hard deadline design requirements. The RT-SYN system has four key features. First, a visual graphical user interface captures application algorithms without implementation specifications. Second, RT-SYN analyzes the task-level data and control flows to produce worst-case timing and space predictions. Third, RT-SYN uses these predictions to choose abstract representations of data structure and algorithm implementations to meet required timing and space constraints. Fourth, RT-SYN synthesizes C code from the selected implementations. Experimental results are given to illustrate these four features.> Tobiah E. Smith, Dorothy E. Setliff |
RTSS | 2 |
| 1991 | On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELFabstractThe application of program synthesis techniques to the generation of technology-sensitive VLSI physical design tools is described. The architecture and implementation of a particular software generator (called ELF) targeted at the generation of maze routing software is described. ELF strives to meet the demands of the target technology by automatically generating maze router implementations to match the application requirements. ELF has three key features. First, a very high level language, lacking data structure implementation specifications, is used to describe algorithm design styles. Second, application-specific expertise about routing and application independent code synthesis techniques are used to guide search among alternative design styles for algorithms and data structures. Third, code generation is used to transform the resulting abstract descriptions of selected algorithms and data structures into final, executable code. Code generation is an incremental, stepwise refinement process. Experimental results are presented covering several correct. fully functional routers synthesized by ELF from varying high-level specifications. Results from synthetic and industrial benchmarks are examined to illustrate ELF's capabilities.> Dorothy E. Setliff, Rob A. Rutenbar |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |
| 1989 | ELF: A Tool for Automatic Synthesis of Custom Physical CAD SoftwareabstractThis paper describes how program synthesis techniques can be applied to the generation of technology-sensitive VLSI design tools. We present results from ELF, a synthesis tool for wire-routing software. The ELF synthesis architecture has three key features. First, a very high level language, lacking data structure implementation specifications is used to describe algorithm design styles. Second, routing domain knowledge and generic program synthesis knowledge are used to guide search among candidate design styles for all necessary component algorithms, and to deduce compatible data structure implementations for these components. Third, code generation is used to transform the resulting abstract descriptions of selected algorithms and data structures into final, executable code. Code generation is an incremental, stepwise refinement process. We present experimental results from several correct, fully-functional routers synthesized by ELF from varying high-level specifications. Dorothy E. Setliff, Rob A. Rutenbar |
DAC | 1 |