Publications

Selected papers and technical reports on functional programming, formal methods, and AI systems.

2024

Formal Verification of Scheme Programs Through Property-Based Testing

Daria Pascal, Jane Chen, Robert Smith

International Conference on Functional Programming (ICFP), pp. 145-158

PDF arXiv Code

RepoMind: Large Language Models for Repository Understanding at Scale

Daria Pascal, Alex Kumar

Conference on Programming Language Design and Implementation (PLDI), pp. 89-104

arXiv Code Slides

2023

Reversible Meta-Circular Interpreters for Program Synthesis

Daria Pascal

Symposium on Principles of Programming Languages (POPL), pp. 234-248

PDF Code

Category Theory for the Working Scheme Programmer

Daria Pascal, Michael Torres

Workshop on Functional Programming and Education, pp. 12-28

PDF Slides

Persistent Functional Data Structures: A Graduate Course Experience

Daria Pascal, Sarah Williams

Technical Report, MIT CSAIL

PDF Code