| 2007 |
|---|
| 25 | EE | Cristian Tapus,
Jason Hickey:
A Theory of Nested Speculative Execution.
COORDINATION 2007: 151-170 |
| 24 | EE | 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 | EE | Cristian Tapus,
Jason Hickey:
Speculations: providing fault-tolerance and improving performance of parallel applications.
PPOPP 2007: 152-153 |
| 22 | EE | 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 | EE | Jason Hickey,
Aleksey Nogin:
: Designing a Scalable Build Process.
FASE 2006: 63-78 |
| 20 | EE | 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 | EE | Cristian Tapus,
David A. Noblet,
Jason Hickey:
MojaveComm: A Robust Group Communication Library for Grid Environments.
ICNS 2006: 77 |
| 18 | EE | Cristian Tapus,
David A. Noblet,
Vlad Grama,
Jason Hickey:
MojaveFS: Providing Sequential Consistency in a Distributed Objects System.
ISPDC 2006: 66-73 |
| 17 | EE | Jason Hickey,
Aleksey Nogin:
Formal compiler construction in a logical framework.
Higher-Order and Symbolic Computation 19(2-3): 197-230 (2006) |
| 2005 |
|---|
| 16 | EE | Cristian Tapus,
Jason Hickey:
Distributed synchronization with shared semaphore sets.
CCGRID 2005: 921-928 |
| 15 | EE | 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 | EE | Jason Hickey,
Aleksey Nogin:
Extensible Hierarchical Tactic Construction in a Logical Framework.
TPHOLs 2004: 136-151 |
| 2003 |
|---|
| 12 | EE | Adam Granicz,
Jason Hickey:
Phobos: A Front-End Approach to Extensible Compilers.
HICSS 2003: 324 |
| 11 | EE | Jason Hickey,
Aleksey Nogin,
Adam Granicz:
Compiler implementation in a formal logical framework.
MERLIN 2003 |
| 10 | EE | Adam Granicz,
Daniel M. Zimmerman,
Jason Hickey:
Rewriting UNITY.
RTA 2003: 138-147 |
| 9 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Jason Hickey,
Nancy A. Lynch,
Robbert van Renesse:
Specifications and Proofs for Ensemble Layers.
TACAS 1999: 119-133 |
| 1998 |
|---|
| 2 | EE | 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 |
