//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Jason Hickey

41 results


Publication Formal Compiler Implementation in a Logical Framework | cite »
by Jason Hickey, Aleksey Nogin
2003

Publication MetaPRL -- A Modular Logical Environment | cite »
by Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian Aydemir, Eli Barzilay, Lori Lorigo
2003

Publication The MetaPRL Logical Programming Environment | cite »
by Jason Hickey
2001

Seminar Caltech Computer Science
by Jason Hickey
November 06, 2000

Publication Fast Tactic-Based Theorem Proving | cite »
by Jason Hickey, Aleksey Nogin
2000

Publication Nuprl's Class Theory and Its Applications | cite »
by Robert L. Constable, Jason Hickey
2000

Publication The Horus and Ensemble Projects: Accomplishments and Limitations | cite »
by Kenneth Birman, Robert L. Constable, Mark Hayden, Jason Hickey, Christoph Kreitz, Robbert van Renesse, Ohad Rodeh, Werner Vogels
2000

Publication An Object-Oriented Approach to Verifying Group Communication Systems | cite »
by Mark Bickford, Jason Hickey
1999

Publication Building Reliable, High-Performance Communication Systems from Components | cite »
by Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth Birman, Robert L. Constable
1999

Publication Fault-Tolerant Distributed Theorem Proving | cite »
by Jason Hickey
1999

Publication Specifications and Proofs for Ensemble Layers | cite »
by Jason Hickey, Nancy Lynch, Robbert van Renesse
1999

Seminar The Current Projects of the MetaPRL Group
by Aleksey Nogin, Jason Hickey
April 26, 1999

Seminar A Programming Environment for Building Reliable High Performance Systems
by Jason Hickey
February 15, 1999

Seminar On Modeling Ensemble
by Robert L. Constable, Jason Hickey
October 27, 1998

Publication A Proof Environment for the Development of Group Communication Systems | cite »
by Christoph Kreitz, Mark Hayden, Jason Hickey
1998

Seminar Logical Programming Environments
by Jason Hickey
March 03, 1998

Publication Nuprl-Light: An Implementation Framework for Higher-Order Logics | cite »
by Jason Hickey
1997

Publication A Semantics of Objects in Type Theory | cite »
by Jason Hickey
1997

Seminar Discussion of Issues in Logic Library Design
by Robert L. Constable, Jason Hickey, Stuart F. Allen, Richard Eaton
March 03, 1997

Seminar Modules and Libraries
by Jason Hickey
February 18, 1997

Seminar Nuprl Tutorial
by Jason Hickey
February 02, 1997

Seminar Formal Objects in Type Theory
by Jason Hickey
1996-1997

Seminar Nuprl-Light
by Jason Hickey, Jason Hickey
1996-1997

Seminar Nuprl-Light
by Jason Hickey, Jason Hickey
1996-1997

Seminar Nuprl-Light
by Jason Hickey, Jason Hickey
1996-1997

Seminar Nuprl-Light
by Jason Hickey, Jason Hickey
1996-1997

Seminar Sharing Formal Mathematics and Programming
by Jason Hickey
1996-1997

Publication Formal Objects in Type Theory Using Very Dependent Types | cite »
by Jason Hickey
1996

Seminar Formal Module Systems and Nuprl-Light: A Programmer's Perspective
by Jason Hickey
February 13, 1996

Seminar Verifying HORUS in Nuprl
by Jason Hickey
November 28, 1995

Seminar Formal Abstract Data Types and Inheritance
by Jason Hickey
October 31, 1995

Seminar Formal Modules (Abstract Data Types) and Object Oriented Programming
by Jason Hickey
1995-1996

Seminar HORUS Verification Effort
by Jason Hickey
1995-1996

Seminar Square-Root Verification
by Jason Hickey
May 10, 1995

Seminar The Ultimate Programming Machine II: Very Dependent Types
by Jason Hickey
November 08, 1994

Seminar The Ultimate Programming Machine
by Jason Hickey
October 25, 1994

Seminar Very Dependent Function Space
by Jason Hickey
1994-1995

Publication Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization | cite »
by John O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard
1994

Seminar Formalizing the Theory Concept in Nuprl
by Jason Hickey
March 15, 1994

Seminar Formalizing the Theory Mechanism in NuPRL
by Jason Hickey
March 15, 1994

Seminar Abstract Programming in Nuprl
by Jason Hickey
November 23, 1993