Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Sanjeevini Devi Ganni

dblp:267/1392 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Program analysis › static analysis
abstract interpretation
0.412020
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.412020
Extending Abstract Interpretation to Dependency Analysis of Database Applications · IEEE Trans. Software Eng. 2020
Program analysis › static analysis
dependency analysis
0.412020
Extending Abstract Interpretation to Dependency Analysis of Database Applications · IEEE Trans. Software Eng. 2020
Program analysis
static analysis
0.412020
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
YearPublicationVenuePosition
2020 Extending Abstract Interpretation to Dependency Analysis of Database Applications
abstract
Dependency 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