Jason Hickey
Affiliations:
According to our database1,
Jason Hickey
authored at least 38 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
CoRR, 2023
2022
2021
CoRR, 2021
2020
CoRR, 2020
2019
2018
2013
O'Reilly, ISBN: 978-1-4493-2391-2, 2013
2012
Proceedings of the Runtime Verification, Third International Conference, 2012
2009
Distributed speculative execution for reliability and fault tolerance: an operational semantics.
Distributed Comput., 2009
2007
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
2006
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006
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
2005
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
2004
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
2003
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
2002
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2000
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
1999
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
1998
Proceedings of the Automated Deduction, 1998
1994
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization.
Proceedings of the Theorem Provers in Circuit Design, 1994