According to our database1, Jason Hickey authored at least 33 papers between 1994 and 2020.
Legend:Book In proceedings Article PhD thesis Other
O'Reilly, ISBN: 978-1-4493-2391-2, 2013
Proceedings of the Runtime Verification, Third International Conference, 2012
Distributed speculative execution for reliability and fault tolerance: an operational semantics.
Distributed Comput., 2009
Speculations: providing fault-tolerance and improving performance of parallel applications.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007
The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007
Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006
Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006
Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments.
Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006
Proceedings of the Fundamental Approaches to Software Engineering, 2006
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004
A Mechanism for Sequential Consistency in a Distributed Objects System.
Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999
Proceedings of the Automated Deduction, 1999
Proceedings of the Automated Deduction, 1998
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization.
Proceedings of the Theorem Provers in Circuit Design, 1994