Jason Hickey

	2009
26		Cristian Tapus, Jason Hickey: Distributed speculative execution for reliability and fault tolerance: an operational semantics. Distributed Computing 21(6): 433-455 (2009)
	2007
25		Cristian Tapus, Jason Hickey: A Theory of Nested Speculative Execution. COORDINATION 2007: 151-170
24		Justin D. Smith, Cristian Tapus, Jason Hickey: The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications. IPDPS 2007: 1-8
23		Cristian Tapus, Jason Hickey: Speculations: providing fault-tolerance and improving performance of parallel applications. PPOPP 2007: 152-153
22		Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov: Practical Reflection for Sequent Logics. Electr. Notes Theor. Comput. Sci. 174(5): 79-94 (2007)
	2006
21		Jason Hickey, Aleksey Nogin: : Designing a Scalable Build Process. FASE 2006: 63-78
20		Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov: Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ICFP 2006: 172-183
19		Cristian Tapus, David A. Noblet, Jason Hickey: MojaveComm: A Robust Group Communication Library for Grid Environments. ICNS 2006: 77
18		Cristian Tapus, David A. Noblet, Vlad Grama, Jason Hickey: MojaveFS: Providing Sequential Consistency in a Distributed Objects System. ISPDC 2006: 66-73
17		Jason Hickey, Aleksey Nogin: Formal compiler construction in a logical framework. Higher-Order and Symbolic Computation 19(2-3): 197-230 (2006)
	2005
16		Cristian Tapus, Jason Hickey: Distributed synchronization with shared semaphore sets. CCGRID 2005: 921-928
15		Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey: A computational approach to reflective meta-reasoning about languages with bindings. MERLIN 2005: 2-12
	2004
14		Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White: A Mechanism for Sequential Consistency in a Distributed Objects System. ISCA PDCS 2004: 284-289
13		Jason Hickey, Aleksey Nogin: Extensible Hierarchical Tactic Construction in a Logical Framework. TPHOLs 2004: 136-151
	2003
12		Adam Granicz, Jason Hickey: Phobos: A Front-End Approach to Extensible Compilers. HICSS 2003: 324
11		Jason Hickey, Aleksey Nogin, Adam Granicz: Compiler implementation in a formal logical framework. MERLIN 2003
10		Adam Granicz, Daniel M. Zimmerman, Jason Hickey: Rewriting UNITY. RTA 2003: 138-147
9		Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu: MetaPRL - A Modular Logical Environment. TPHOLs 2003: 287-303
	2002
8		Aleksey Nogin, Jason Hickey: Sequent Schema for Derived Rules. TPHOLs 2002: 281-297
	2000
7		Jason Hickey, Aleksey Nogin: Fast Tactic-Based Theorem Proving. TPHOLs 2000: 252-267
	1999
6		Jason Hickey: Fault-Tolerant Distributed Theorem Proving. CADE 1999: 227-231
5		Mark Bickford, Jason Hickey: Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. IWFM 1999
4		Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable: Building reliable, high-performance communication systems from components. SOSP 1999: 80-92
3		Jason Hickey, Nancy A. Lynch, Robbert van Renesse: Specifications and Proofs for Ensemble Layers. TACAS 1999: 119-133
	1998
2		Christoph Kreitz, Mark Hayden, Jason Hickey: A Proof Environment for the Development of Group Communication Systems. CADE 1998: 317-332
	1994
1		John W. O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard: Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. TPCD 1994: 52-71

Coauthor Index

1	Mark Aagaard	[1]
2	Brian E. Aydemir	[9]
3	Eli Barzilay	[9]
4	Mark Bickford	[5]
5	Kenneth P. Birman (Ken Birman)	[4]
6	Yegor Bryukhov	[9]
7	Robert L. Constable	[4] [9]
8	Richard Eaton	[9]
9	Vlad Grama	[18]
10	Adam Granicz	[9] [10] [11] [12]
11	Mark Hayden	[2] [4]
12	Alexei Kopylov	[9] [15] [20] [22]
13	Christoph Kreitz	[2] [4] [9]
14	Vladimir Krupski	[9]
15	Miriam Leeser	[1]
16	Xiaoming Liu	[4]
17	Lori Lorigo	[9]
18	Nancy A. Lynch	[3]
19	David A. Noblet	[18] [19]
20	Aleksey Nogin	[7] [8] [9] [11] [13] [14] [15] [17] [20] [21] [22]
21	John W. O'Leary	[1]
22	Robbert van Renesse	[3] [4]
23	Stephan Schmitt	[9]
24	Justin D. Smith	[24]
25	Cristian Tapus	[14] [16] [18] [19] [23] [24] [25] [26]
26	Jerome White	[14]
27	Carl Witty	[9]
28	Xin Yu	[9] [15] [20] [22]
29	Daniel M. Zimmerman	[10]

Colors in the list of coauthors