Harold Carr

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Proof Engineering with Predicate Transformer Semantics.
CoRR, 2022

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

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

Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

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

Formal verification of authenticated, append-only skip lists in Agda.
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2018
Authenticated modular maps in Haskell.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2006
IIOP Failover in Dynamic Clusters.
Proceedings of the 2006 International Conference on Communications in Computing, 2006

2005
IIOP and SOAP Failover in Static Clusters.
Proceedings of the 2005 International Conference on Communications in Computing, 2005

2004
Server-side encoding, protocol and transport extensibility for remoting systems.
Proceedings of the Service-Oriented Computing, 2004

Client-side Encoding, Protocol and Transport Extensibility for Remote Systems.
Proceedings of the International Conference on Communications in Computing, 2004

2003
PEPt - A Minimal RPC Architecture.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

1993
Compiling Distributed C++.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

1992
Implementing Concurrent Scheme for the Mayfly Distributed Parallel Processing System.
LISP Symb. Comput., 1992

Distributed C++.
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).
LISP Symb. Comput., 1990

1986
EPIC - a retargetable, highly optimizing Lisp compiler.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986


  Loading...