BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
1 × Italy
1 × Spain
1 × The Netherlands
3 × USA
Collaborated with:
A.Nogin C.Tapus C.Kreitz R.v.Renesse M.Hayden A.Granicz D.M.Zimmerman N.A.Lynch X.Yu A.Kopylov X.Liu K.P.Birman R.L.Constable
Talks about:
communic (2) perform (2) system (2) toler (2) proof (2) fault (2) build (2) represent (1) distribut (1) parallel (1)

Person: Jason Hickey

DBLP DBLP: Hickey:Jason

Contributed to:

PPoPP 20072007
FASE 20062006
ICFP 20062006
RTA 20032003
CADE 19991999
SOSP 19991999
TACAS 19991999
CADE 19981998

Wrote 8 papers:

PPoPP-2007-TapusH #fault tolerance #named #parallel #performance
Speculations: providing fault-tolerance and improving performance of parallel applications (CT, JH), pp. 152–153.
FASE-2006-HickeyN #design #process #scalability
: Designing a Scalable Build Process (JH, AN), pp. 63–78.
ICFP-2006-HickeyNYK #hybrid #representation #using
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.
Rewriting UNITY (AG, DMZ, JH), pp. 138–147.
CADE-1999-Hickey #distributed #fault tolerance #proving #theorem proving
Fault-Tolerant Distributed Theorem Proving (JH), pp. 227–231.
SOSP-1999-LiuKRHHBC #communication #component #reliability
Building reliable, high-performance communication systems from components (XL, CK, RvR, JH, MH, KPB, RLC), pp. 80–92.
TACAS-1999-HickeyLR #proving #specification
Specifications and Proofs for Ensemble Layers (JH, NAL, RvR), pp. 119–133.
CADE-1998-KreitzHH #communication #development #proving
A Proof Environment for the Development of Group Communication Systems (CK, MH, JH), pp. 317–332.

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.