Matthew Pigram

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Dynamic Analysis

Symbolic Execution

Intermediate Representations

Top Venues

Publications

Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo González de Aledo Marugán
Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). TACAS (2) (2017)