Harold Carr

According to our database, Harold Carr authored at least 17 papers between 1986 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Proof Engineering with Predicate Transformer Semantics.

Christa Jenkins, Mark Moir, Harold Carr

CoRR, 2022

An approach to translating Haskell programs to Agda and reasoning about them.

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

CoRR, 2022

Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version.

Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

CoRR, 2022

Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda.

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version.

Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.

CoRR, 2021

Formal verification of authenticated, append-only skip lists in Agda.

Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2018

Authenticated modular maps in Haskell.

Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2006

IIOP Failover in Dynamic Clusters.

Harold Carr, Ken Cavanaugh

Proceedings of the 2006 International Conference on Communications in Computing, 2006

2005

IIOP and SOAP Failover in Static Clusters.

Ken Cavanaugh, Harold Carr

Proceedings of the 2005 International Conference on Communications in Computing, 2005

2004

Server-side encoding, protocol and transport extensibility for remoting systems.

Harold Carr

Proceedings of the Service-Oriented Computing, 2004

Client-side Encoding, Protocol and Transport Extensibility for Remote Systems.

Harold Carr

Proceedings of the International Conference on Communications in Computing, 2004

2003

PEPt - A Minimal RPC Architecture.

Harold Carr

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

1993

Compiling Distributed C++.

Harold Carr, Robert R. Kessler, Mark R. Swanson

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

1992

Implementing Concurrent Scheme for the Mayfly Distributed Parallel Processing System.

Robert R. Kessler, Harold Carr, Leigh Stoller, Mark R. Swanson

LISP Symb. Comput., 1992

Distributed C++.

Harold Carr, Robert R. Kessler, Mark R. Swanson

Proceedings of the 2nd SIGPLAN Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30, 1992

1990

Moped (A Portable Debugger).

Mohammad Pourheidari, Robert R. Kessler, Harold Carr

LISP Symb. Comput., 1990

1986

EPIC - a retargetable, highly optimizing Lisp compiler.

Robert R. Kessler, John C. Peterson, Harold Carr, Gerald P. Duggan, J. Knell, Jed J. Krohnfeldt

Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986