BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Reis:George_A=

Contributed to:

PLDI 20072007
ICFP 20062006
CGO 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.