Travelled to:1 × Cyprus
1 × Hungary
Collaborated with:W.Kelly C.Cifuentes N.Keynes L.Li N.Hawes M.Valdiviezo A.Browne J.Zimmermann D.Teoh C.Hoermann
Talks about:use (2) ownership (1) parallel (1) program (1) parfait (1) system (1) static (1) reason (1) orient (1) object (1)
Person: Andrew Craik
DBLP: Craik:Andrew
Contributed to:
2011
2010Wrote 2 papers:
- ESEC-FSE-2011-CifuentesKLHVBZCTH #fault #scalability #using
- Static deep error checking in large system applications using parfait (CC, NK, LL, NH, MV, AB, JZ, AC, DT, CH), pp. 432–435.
- CC-2010-CraikK #object-oriented #parallel #source code #using
- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs (AC, WK), pp. 145–164.