Demo Data from EDBT 2026 / reviewers in the wild / expert
Shay Litvak
dblp:44/5203
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 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
2 papers |
Program analysis · 61% Compilers and program optimization · 20% Software maintenance and evolution · 20% |
Topics — the 6 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Compilers and program optimization
dependence analysis |
0.1 | 1 | 2010 | Field-sensitive program dependence analysis · SIGSOFT FSE 2010 |
Program analysis › static analysis
dependency analysis |
0.1 | 1 | 2010 | Field-sensitive program dependence analysis · SIGSOFT FSE 2010 |
Program analysis
static analysis |
0.1 | 1 | 2010 | Field-sensitive program dependence analysis · SIGSOFT FSE 2010 |
Software maintenance and evolution
change impact analysis |
0.1 | 1 | 2008 | Customization change impact analysis for erp professionals via program slicing · ISSTA 2008 |
Program analysis › static analysis
program slicing |
0.1 | 1 | 2008 | Customization change impact analysis for erp professionals via program slicing · ISSTA 2008 |
Software maintenance and evolution
program comprehension |
0.0 | 1 | 2008 | Customization change impact analysis for erp professionals via program slicing · ISSTA 2008 |
Methods — techniques the papers use, named apart from their topics
transitive dependence analysis · 0.1static analysis · 0.1program slicing · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Field-sensitive program dependence analysisabstractStatement st transitively depends on statement stseed if the execution of stseed may affect the execution of st. Computing transitive program dependences is a fundamental operation in many automatic software analysis tools. Existing tools find it challenging to compute transitive dependences for programs manipulating large aggregate structure variables, and their limitations adversely affect analysis of certain important classes of software systems, e.g., large-scale enterprise resource planning (ERP) systems. Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Shmuel Sagiv |
SIGSOFT FSE | 1 |
| 2008 | Customization change impact analysis for erp professionals via program slicingabstractWe describe a new tool that automatically identifies impact of customization changes, i.e., how changes affect software behavior. As opposed to existing static analysis tools that aim at aiding programmers or improve performance, our tool is designed for end-users without prior knowledge in programming. We utilize state-of-the-art static analysis algorithms for the programs within an Enterprise Resource Planning system (ERP). Key challenges in analyzing real world ERP programs are their significant size and the interdependency between programs. In particular, we describe and compare three customization change impact analyses for real-world programs, and a balancing algorithm built upon the three independent analyses. This paper presents PanayaImpactAnalysis (PanayaIA), a web on-demand tool, providing ERP professionals a clear view of the impact of a customization change on the system. In addition we report empirical results of PanayaIA when used by end-users on an ERP system of tens of millions LOCs. Nurit Dor, Tal Lev-Ami, Shay Litvak, Shmuel Sagiv, Dror Weiss |
ISSTA | 3 |