Christa Jenkins
About
Postdoctoral associate at Stony Brook University, working with Omar Chowdhury. Ph.D. from the University of Iowa, advised by Dr. Aaron Stump.
Research interests are programming language theory, dependent types, applications of formal methods to security, inductive definitions, and elaboration. CV.
Locations
- Email: christa.jenkins@stonybrook.edu
- Website: https://cwjnkins.github.io/
- Social Media: Github, Cedille Programming Language (YouTube), ResearchGate
Papers
- Monotone Recursive Types and Recursive Data Representations in Cedille
Jenkins, Christa and Stump, Aaron. J. MSCS (2021)
- 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
- Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille
Stump, Aaron and Jenkins, Christa and Spahn, Stephan and McDonald, Colin. ICFP 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)