EPIC - a retargetable, highly optimizing Lisp compiler. - Robert R. Kessler; John C. Peterson; Harold Carr; Gerald P. Duggan; J. Knell; Jed J. Krohnfeldt (SIGPLAN Symposium on Compiler Construction, 1986)

Moped (A Portable Debugger). - Mohammad Pourheidari; Robert R. Kessler; Harold Carr (LISP Symb. Comput., 1990)

Distributed C++. - Harold Carr; Robert R. Kessler; Mark R. Swanson (SIGPLAN Workshop, 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)

Compiling Distributed C++. - Harold Carr; Robert R. Kessler; Mark R. Swanson (SPDP, 1993)

PEPt - A Minimal RPC Architecture. - Harold Carr (OTM Workshops, 2003)

Client-side Encoding, Protocol and Transport Extensibility for Remote Systems. - Harold Carr (Communications in Computing, 2004)

Server-side encoding, protocol and transport extensibility for remoting systems. - Harold Carr (ICSOC, 2004)

IIOP and SOAP Failover in Static Clusters. - Ken Cavanaugh; Harold Carr (Communications in Computing, 2005)

IIOP Failover in Dynamic Clusters. - Harold Carr; Ken Cavanaugh (Communications in Computing, 2006)

Authenticated modular maps in Haskell. - Victor Cacciari Miraldo; Harold Carr; Alex Kogan; Mark Moir; Maurice Herlihy (TyDe@ICFP, 2018)

Formal verification of authenticated, append-only skip lists in Agda. - Victor Cacciari Miraldo; Harold Carr; Mark Moir; Lisandra Silva; Guy L. Steele Jr. (CPP, 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)

Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda. - Harold Carr; Christa Jenkins; Mark Moir; Victor Cacciari Miraldo; Lisandra Silva (NFM, 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)

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)

Proof Engineering with Predicate Transformer Semantics. - Christa Jenkins; Mark Moir; Harold Carr (CoRR, 2022)