Joseph Ranieri

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 3

Top Topics

Production Rules

Symbolic Execution

Static Analysis

Top Venues

Publications

Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot
API analytics for curating static analysis rules. TAPAS@SPLASH (2020)
Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments. CoRR (2020)
Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments. SCAM (2020)