Browse by Author

Showing 1-5 of 5

Abstract Domains of Affine Relations

Reps, Thomas; Andersen, Tycho; Sharma, Tushar; Lim, Junghee; Elder, Matt (May 13, 2013)
Abstract Domains of Affine Relations

Elder, Matt; Lim, Junghee; Sharma, Tushar; Andersen, Tycho; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Bilateral Algorithms for Symbolic Abstraction

Reps, Thomas; Elder, Matt; Thakur, Aditya (Mar 28, 2012)
Code Sandwiches

Elder, Matt; Jackson, Steve; Jackson, Steve; Liblit, Ben (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)
Heap Typability is NP-Complete

Elder, Matt; Liblit, Ben (University of Wisconsin-Madison Department of Computer Sciences; Mar 15, 2012)

Showing 1-5 of 5