Matt Elder

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Relevant Concepts

Combinatorial Optimization

Affine Invariant

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
Abstract Domains of Affine Relations. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Aditya V. Thakur, Matt Elder, Thomas W. Reps
Bilateral Algorithms for Symbolic Abstraction. SAS (2012)
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
Abstract Domains of Affine Relations. SAS (2011)
Matt Elder, Denis Gopan, Thomas W. Reps
View-Augmented Abstractions. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps
Directed Proof Generation for Machine Code. CAV (2010)