Harold Carr

17 papers A 1B 1Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
An approach to translating Haskell programs to Agda and reasoning about them.
CoRR
Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
2022 J jnl
Proof Engineering with Predicate Transformer Semantics.
CoRR
Christa Jenkins, Mark Moir, Harold Carr
2022 — conf
Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda.
NFM
Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
2022 J jnl
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version.
CoRR
Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
2021 J jnl
Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version.
CoRR
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
2021 B conf
Formal verification of authenticated, append-only skip lists in Agda.
CPP
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
2018 — conf
Authenticated modular maps in Haskell.
TyDe@ICFP
Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy
2006 — conf
IIOP Failover in Dynamic Clusters.
Communications in Computing
Harold Carr, Ken Cavanaugh
2005 — conf
IIOP and SOAP Failover in Static Clusters.
Communications in Computing
Ken Cavanaugh, Harold Carr
2004 — conf
Client-side Encoding, Protocol and Transport Extensibility for Remote Systems.
Communications in Computing
Harold Carr
2004 A conf
Server-side encoding, protocol and transport extensibility for remoting systems.
ICSOC
Harold Carr
2003 — conf
PEPt - A Minimal RPC Architecture.
OTM Workshops
Harold Carr
1993 — conf
Compiling Distributed C++.
SPDP
Harold Carr, Robert R. Kessler, Mark R. Swanson
1992 — conf
Distributed C++.
SIGPLAN Workshop
Harold Carr, Robert R. Kessler, Mark R. Swanson
1992 J jnl
Implementing Concurrent Scheme for the Mayfly Distributed Parallel Processing System.
LISP Symb. Comput.
Robert R. Kessler, Harold Carr, Leigh Stoller, Mark R. Swanson
1990 J jnl
Moped (A Portable Debugger).
LISP Symb. Comput.
Mohammad Pourheidari, Robert R. Kessler, Harold Carr
1986 — conf
EPIC - a retargetable, highly optimizing Lisp compiler.
SIGPLAN Symposium on Compiler Construction
Robert R. Kessler, John C. Peterson, Harold Carr, Gerald P. Duggan, J. Knell, Jed J. Krohnfeldt