Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:M.Elder J.Lim T.W.Reps T.Sharma A.V.Thakur A.Lal A.Burton E.Driscoll
Talks about:abstract (1) generat (1) machin (1) domain (1) direct (1) relat (1) proof (1) affin (1) code (1)
Person: Tycho Andersen
DBLP: Andersen:Tycho
Contributed to:
2011
2010Wrote 2 papers:
- SAS-2011-ElderLSAR #abstract domain
- Abstract Domains of Affine Relations (ME, JL, TS, TA, TWR), pp. 198–215.
- CAV-2010-ThakurLLBDEAR #generative #proving
- Directed Proof Generation for Machine Code (AVT, JL, AL, AB, ED, ME, TA, TWR), pp. 288–305.