Christa Jenkins
About
Postdoctoral associate at Stony Brook University, working with Omar Chowdhury. Ph.D. from the University of Iowa, advised by Aaron Stump.
Research interests: programming language theory, dependent types, applications of formal methods to security. CV.
Locations
- Email: christa.jenkins@stonybrook.edu
- ORCID: https://orcid.org/0000-0002-5434-5018
- Website: https://cwjnkins.github.io/
- Social Media: Github, Cedille Programming Language (YouTube), ResearchGate
Papers
Conferences
- ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation
Debnath, Joyanta and Jenkins, Christa and Sun, Yuteng and Chau, Sze Yiu and Chowdhury, Omar. OAKLAND 2024
- A Type-Based Approach to Divide-and-Conquer Recursion in Coq
Abreu, Pedro and Delaware, Benjamin and Hubers, Alex and Jenkins, Christa and Morris, J. Garrett and Stump, Aaron. POPL 2023
- Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille
Stump, Aaron and Jenkins, Christa and Spahn, Stephan and McDonald, Colin. ICFP 2020
Journals
Workshops
- Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant
Consensus in Agda
Carr, Harold and Jenkins, Christa and Moir, Mark and Miraldo, Victor Cacciari and Silva, Lisandra. NFM 2022
- Simulating large eliminations in Cedille
Jenkins, Christa and Marmaduke, Andrew and Stump, Aaron. Submitted to postproceedings of TYPES 2021
- Zero-cost Constructor Subtyping
Marmaduke, Andrew and Jenkins, Christa and Stump, Aaron. IFL 2020
- Efficient lambda encodings for Mendler-style coinductive types in Cedille
Jenkins, Christa and Stump, Aaron and Diehl, Larry. MSFP 2020
- Quotients by Idempotent Functions in Cedille
Marmaduke, Andrew and Jenkins, Christa and Stump, Aaron. TFP 2019
- Spine-local Type Inference
Jenkins, Christa and Stump, Aaron. IFL 2018
Dissertation
- Elaborating Inductive Definitions in the Calculus of Dependent Lambda
Eliminations
Ph.D. thesis, 2023 (The University of Iowa)