David A. Naumann

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 35

Top Topics

Symbolic Execution

Information Flow

Data Abstraction

Linearly Ordered

Top Venues

ACM Trans. Program. Lang. Syst.

Publications