Matt Elder

According to our database, Matt Elder authored at least 4 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Bilateral Algorithms for Symbolic Abstraction.

Aditya V. Thakur, Matt Elder, Thomas W. Reps

Proceedings of the Static Analysis - 19th International Symposium, 2012

2011

Abstract Domains of Affine Relations.

Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

View-Augmented Abstractions.

Matt Elder, Denis Gopan, Thomas W. Reps

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Directed Proof Generation for Machine Code.

Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010