Jason Hickey

O'Reilly, ISBN: 978-1-4493-2391-2, 2013

2012

Scalable Dynamic Partial Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

2009

Distributed speculative execution for reliability and fault tolerance: an operational semantics.

[BibT_eX]

[DOI]

Distributed Comput., 2009

2007

Speculations: providing fault-tolerance and improving performance of parallel applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Justin D. Smith

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

A Theory of Nested Speculative Execution.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006

Formal compiler construction in a logical framework.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2006

Practical Reflection for Sequent Logics.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

MojaveFS: Providing Sequential Consistency in a Distributed Objects System.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006

MojaveComm: A Robust Group Communication Library for Grid Environments.

[BibT_eX]

[DOI]

David A. Noblet

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.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006

: Designing a Scalable Build Process.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

A computational approach to reflective meta-reasoning about languages with bindings.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

Distributed synchronization with shared semaphore sets.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2004

Extensible Hierarchical Tactic Construction in a Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

A Mechanism for Sequential Consistency in a Distributed Objects System.

[BibT_eX]

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003

MetaPRL - A Modular Logical Environment.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Rewriting UNITY.

[BibT_eX]

[DOI]

Adam Granicz

Daniel M. Zimmerman

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Compiler implementation in a formal logical framework.

[BibT_eX]

[DOI]

Adam Granicz

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Phobos: A Front-End Approach to Extensible Compilers.

[BibT_eX]

[DOI]

Adam Granicz

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002

Sequent Schema for Derived Rules.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

The Caltech Multi-Vehicle Wireless Testbed.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2000

Fast Tactic-Based Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999

Specifications and Proofs for Ensemble Layers.

[BibT_eX]

[DOI]

Nancy A. Lynch

Robbert van Renesse

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Building reliable, high-performance communication systems from components.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

Predicate Transformers for Infinite-State Automata in NuPRL Type Theory.

[BibT_eX]

[DOI]

Mark Bickford

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Fault-Tolerant Distributed Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1999

1998

A Proof Environment for the Development of Group Communication Systems.

[BibT_eX]

[DOI]

Christoph Kreitz

Mark Hayden