Tycho Andersen

Publication Activity (10 Years)

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

Top Topics

Relevant Concepts

Continuous Domains

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)
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
Abstract Domains of Affine Relations. SAS (2011)
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)