Travelled to:1 × France
1 × Italy
1 × United Kingdom
Collaborated with:T.W.Reps A.V.Thakur J.Lim T.Andersen T.Sharma A.Lal A.Burton E.Driscoll
Talks about:abstract (2) algorithm (1) generat (1) bilater (1) symbol (1) machin (1) domain (1) direct (1) relat (1) proof (1)
Person: Matt Elder
DBLP: Elder:Matt
Contributed to:
20122011
2010Wrote 3 papers:
- SAS-2012-ThakurER #abstraction #algorithm
- Bilateral Algorithms for Symbolic Abstraction (AVT, ME, TWR), pp. 111–128.
- 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.