Travelled to:3 × USA
Collaborated with:D.I.August L.W.Mackey J.Ligatti D.Walker J.Chang N.Vachharajani R.Rangan F.Perry
Talks about:toler (2) fault (2) type (2) implement (1) calculus (1) softwar (1) languag (1) assembl (1) static (1) faulti (1)
Person: George A. Reis
DBLP: Reis:George_A=
Contributed to:
2007
2006
2005Wrote 3 papers:
- PLDI-2007-PerryMRLAW #assembly #fault tolerance
- Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.
- ICFP-2006-WalkerMLRA #static typing #type system #λ-calculus
- Static typing for a faulty λ calculus (DW, LWM, JL, GAR, DIA), pp. 38–49.
- CGO-2005-ReisCVRA #fault tolerance #named
- SWIFT: Software Implemented Fault Tolerance (GAR, JC, NV, RR, DIA), pp. 243–254.