Christa Jenkins

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Programming Language

Control Structures

Top Venues

Proc. ACM Program. Lang.

Publications

Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump
A Type-Based Approach to Divide-and-Conquer Recursion in Coq. Proc. ACM Program. Lang. 7 (POPL) (2023)
Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda. NFM (2022)
Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
An approach to translating Haskell programs to Agda and reasoning about them. CoRR (2022)
Christa Jenkins, Mark Moir, Harold Carr
Proof Engineering with Predicate Transformer Semantics. CoRR (2022)
Christa Jenkins, Andrew Marmaduke, Aaron Stump
Simulating Large Eliminations in Cedille. TYPES (2021)