Travelled to:1 × Hungary
1 × United Kingdom
Collaborated with:E.Driscoll T.W.Reps A.V.Thakur J.Lim A.Lal M.Elder T.Andersen
Talks about:generat (1) conform (1) produc (1) machin (1) direct (1) consum (1) proof (1) check (1) code (1)
Person: Amanda Burton
DBLP: Burton:Amanda
Contributed to:
2011
2010Wrote 2 papers:
- ESEC-FSE-2011-DriscollBR #consistency
- Checking conformance of a producer and a consumer (ED, AB, TWR), pp. 113–123.
- CAV-2010-ThakurLLBDEAR #generative #proving
- Directed Proof Generation for Machine Code (AVT, JL, AL, AB, ED, ME, TA, TWR), pp. 288–305.