EDBT 2026 Demo / reviewers in the wild / expert
Satish Thatté
dblp:74/3390
· DBLP profile ↗
3ranked-venue papers
3as first author
0since 2021 · last 1994
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 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.
| Software engineering, system software, and programming languages
1 paper |
Program synthesis and code generation · 77% Programming languages and type systems · 23% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation › component-based synthesis
adapter synthesis |
0.0 | 1 | 1994 | Automated Synthesis of Interface Adapters for Reusable Classes · POPL 1994 |
Programming languages and type systems › type systems
subtyping |
0.0 | 1 | 1994 | Automated Synthesis of Interface Adapters for Reusable Classes · POPL 1994 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1994 | Automated Synthesis of Interface Adapters for Reusable ClassesabstractThe need to fit together reusable components and system designs in spite of differences in protocol and representation choices occurs often in object-oriented software construction. It is therefore necessary to use adapters to achieve an exact fit between the available “socket” for a reusable part and the actual part. In this paper we discuss an approach to the construction of tools that largely automate the synthesis of adapter code. Such tools are important in reducing the effort involved in reuse since adapter synthesis can be challenging and error-prone in the complex type environment of an object-oriented language. Our approach is applicable to statically typed languages like C++ and Eiffel, and is based on a formal notion of adaptability which is related to but distinct from both subtyping and inheritance. Satish Thatté |
POPL | 1 |
| 1991 | A Type System for Implicit Scaling
Satish Thatté |
Sci. Comput. Program. | 1 |
| 1990 | Type Inference and Implicit Scaling
Satish Thatté |
ESOP | 1 |