EDBT 2026 Demo / reviewers in the wild / expert
Sanjeevini Devi Ganni
dblp:267/1392
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2020
0000-0002-0421-3359ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 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.
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 100% |
Topics — the 4 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › static analysis
abstract interpretation |
0.4 | 1 | 2020 | Extending Abstract Interpretation to Dependency Analysis of Database Applications · IEEE Trans. Software Eng. 2020 |
Program analysis › static analysis › domain-specific static analysis
database application analysis |
0.4 | 1 | 2020 | Extending Abstract Interpretation to Dependency Analysis of Database Applications · IEEE Trans. Software Eng. 2020 |
Program analysis › static analysis
dependency analysis |
0.4 | 1 | 2020 | Extending Abstract Interpretation to Dependency Analysis of Database Applications · IEEE Trans. Software Eng. 2020 |
Program analysis
static analysis |
0.4 | 1 | 2020 | Extending Abstract Interpretation to Dependency Analysis of Database Applications · IEEE Trans. Software Eng. 2020 |
Methods — techniques the papers use, named apart from their topics
relational abstract domains · 0.4abstract interpretation · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Extending Abstract Interpretation to Dependency Analysis of Database ApplicationsabstractDependency information (data- and/or control-dependencies) among program variables and program statements is playing crucial roles in a wide range of software-engineering activities, e.g., program slicing, information flow security analysis, debugging, code-optimization, code-reuse, code-understanding. Most existing dependency analyzers focus on mainstream languages and they do not support database applications embedding queries and data-manipulation commands. The first extension to the languages for relational database management systems, proposed by Willmor et al. in 2004, suffers from the lack of precision in the analysis primarily due to its syntax-based computation and flow insensitivity. Since then no significant contribution is found in this research direction. This paper extends the Abstract Interpretation framework for static dependency analysis of database applications, providing a semantics-based computation tunable with respect to precision. More specifically, we instantiate dependency computation by using various relational and non-relational abstract domains, yielding to a detailed comparative analysis with respect to precision and efficiency. Finally, we present a prototype$\sf{ semDDA}$, asemantics-basedDatabaseDependencyAnalyzer integrated with various abstract domains, and we present experimental evaluation results to establish the effectiveness of our approach. We show an improvement of the precision on an average of 6 percent in the interval, 11 percent in the octagon, 21 percent in the polyhedra and 7 percent in the powerset of intervals abstract domains, as compared to their syntax-based counterpart, for the chosen set of Java Server Page (JSP)-based open-source database-driven web applications as part of the GotoCode project. Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni, Agostino Cortesi |
IEEE Trans. Software Eng. | 4 |