Mira Mezini

TL;DR: Distributed REScala is proposed, a reactive language with a change propagation algorithm that works without centralized knowledge about the topology of the dependency structure among reactive values and avoids unnecessary propagation of changes, while retaining safety guarantees (glitch freedom).

TL;DR: This paper presents an approach for querying source code with natural language and shows how this approach can be used to implement new features and to solve bugs.

TL;DR: This work presents FlowTwist, a novel taint-analysis approach that works inside-out, i.e., tracks data flows from potentially vulnerable calls to the outer level of the API which the attacker might control, and exposes thousands of methods potentially controllable by an attacker.

TL;DR: Judge, a toolchain that helps with understanding sources of unsoundness and improving the soundness of call graphs, is proposed and it is shown that soundness-relevant features/APIs are frequently used and that support for them differs vastly, up to the point where comparing call graphs computed by the same base algorithms but different frameworks is bogus.

TL;DR: MuDetect as discussed by the authors uses a new graph representation of API usages that captures different types of API misuses and a systematically designed ranking strategy that effectively improves precision, achieving twice the recall of previous detectors and 2.5x higher precision.