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: Hickey:Jason
Contributed to:
2007
2006
2006
2003
1999
1999
19991998Wrote 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.
- RTA-2003-GraniczZH
- 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.