Christa Jenkins

According to our database, Christa Jenkins authored at least 7 papers between 2021 and 2025.

Collaborative distances:

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

2025

AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations.

Zihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury, Shuai Mu

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

2024

ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.

Joyanta Debnath, Christa Jenkins, Yuteng Sun, Sze Yiu Chau, Omar Chowdhury

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023

A Type-Based Approach to Divide-and-Conquer Recursion in Coq.

Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump

Proc. ACM Program. Lang., January, 2023

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.

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

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

2021

Simulating Large Eliminations in Cedille.

Christa Jenkins, Andrew Marmaduke, Aaron Stump

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021