123 citations · 135 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 1 cited
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
Wasuwee Sodsong, Bernhard Scholz, Sanjay Chawla
Program analysis is a technique to reason about programs without executing them, and it has various applications in compilers, integrated development environments, and security. In…
cs.DB2017★ 1 cited
Optimal On The Fly Index Selection in Polynomial Time
Herbert Jordan, Bernhard Scholz, Pavle Subotić
The index selection problem (ISP) is an important problem for accelerating the execution of relational queries, and it has received a lot of attention as a combinatorial knapsack p…