Christa Jenkins

About

me.jpg

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.

Papers

  • Monotone Recursive Types and Recursive Data Representations in Cedille

    Jenkins, Christa and Stump, Aaron. J. MSCS (2021)

    paper bib code

  • Simulating large eliminations in Cedille

    Jenkins, Christa and Marmaduke, Andrew and Stump, Aaron. Submitted to postproceedings of TYPES 2021

    paper extended abstract

  • Zero-cost Constructor Subtyping

    Marmaduke, Andrew and Jenkins, Christa and Stump, Aaron. IFL 2020

    paper bib

  • Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille

    Stump, Aaron and Jenkins, Christa and Spahn, Stephan and McDonald, Colin. ICFP 2020

    paper bib talk

  • Efficient lambda encodings for Mendler-style coinductive types in Cedille

    Jenkins, Christa and Stump, Aaron and Diehl, Larry. MSFP 2020

    paper bib slides talk code

  • Quotients by Idempotent Functions in Cedille

    Marmaduke, Andrew and Jenkins, Christa and Stump, Aaron. TFP 2019

    paper bib code

  • Spine-local Type Inference

    Jenkins, Christa and Stump, Aaron. IFL 2018

    paper bib slides appendix

Dissertation

  • Elaborating Inductive Definitions in the Calculus of Dependent Lambda Eliminations

    Ph.D. thesis, 2023 (The University of Iowa)

    paper

Unpublished

  • Elaborating course-of-values induction in Cedille

    Jenkins, Christa and Firsov, Denis and Diehl, Larry and McDonald, Colin and Stump, Aaron. (2020)

    paper appendix code

Reports

  • Elaborating inductive definitions in Curry-style polymorphic type theory

    Comprehensive exam report (2020)

    paper

  • Bidirectional type inference in programming languages

    Qualifying exam report (2018)

    paper