Jason Hickey

Jirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey: Scalable Dynamic Partial Order Reduction. RV 2012: 19-34

Cristian Tapus, Jason Hickey: Distributed speculative execution for reliability and fault tolerance: an operational semantics. Distributed Computing 21(6): 433-455 (2009)

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov: Practical Reflection for Sequent Logics. Electr. Notes Theor. Comput. Sci. 174(5): 79-94 (2007)

Cristian Tapus, Jason Hickey: A Theory of Nested Speculative Execution. COORDINATION 2007: 151-170

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

Cristian Tapus, Jason Hickey: Speculations: providing fault-tolerance and improving performance of parallel applications. PPOPP 2007: 152-153

Jason Hickey, Aleksey Nogin: Formal compiler construction in a logical framework. Higher-Order and Symbolic Computation 19(2-3): 197-230 (2006)

Jason Hickey, Aleksey Nogin: : Designing a Scalable Build Process. FASE 2006: 63-78

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov: Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ICFP 2006: 172-183

Cristian Tapus, David A. Noblet, Jason Hickey: MojaveComm: A Robust Group Communication Library for Grid Environments. ICNS 2006: 77

Cristian Tapus, David A. Noblet, Vlad Grama, Jason Hickey: MojaveFS: Providing Sequential Consistency in a Distributed Objects System. ISPDC 2006: 66-73

Cristian Tapus, Jason Hickey: Distributed synchronization with shared semaphore sets. CCGRID 2005: 921-928

Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey: A computational approach to reflective meta-reasoning about languages with bindings. MERLIN 2005: 2-12

Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White: A Mechanism for Sequential Consistency in a Distributed Objects System. ISCA PDCS 2004: 284-289

Jason Hickey, Aleksey Nogin: Extensible Hierarchical Tactic Construction in a Logical Framework. TPHOLs 2004: 136-151

Adam Granicz, Jason Hickey: Phobos: A Front-End Approach to Extensible Compilers. HICSS 2003: 324

Jason Hickey, Aleksey Nogin, Adam Granicz: Compiler implementation in a formal logical framework. MERLIN 2003

Adam Granicz, Daniel M. Zimmerman, Jason Hickey: Rewriting UNITY. RTA 2003: 138-147

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

Aleksey Nogin, Jason Hickey: Sequent Schema for Derived Rules. TPHOLs 2002: 281-297

Jason Hickey, Aleksey Nogin: Fast Tactic-Based Theorem Proving. TPHOLs 2000: 252-267

Jason Hickey: Fault-Tolerant Distributed Theorem Proving. CADE 1999: 227-231

Mark Bickford, Jason Hickey: Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. IWFM 1999

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

Jason Hickey, Nancy A. Lynch, Robbert van Renesse: Specifications and Proofs for Ensemble Layers. TACAS 1999: 119-133

Christoph Kreitz, Mark Hayden, Jason Hickey: A Proof Environment for the Development of Group Communication Systems. CADE 1998: 317-332

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