Journals

CURJ

Evaluating Soundness of a Gradual Verifier with Property Based Testing

Jan-Paul Ramos-Dávila

In Cornell Undergraduate Research Journal, 2(1), 17ÔÇô27, https://doi.org/10.37513/curj.v2i1.696.

Research Competitions

POPL

Evaluating Soundness of a Gradual Verifier with Property Based Testing

Jan-Paul Ramos-Dávila

Extended abstract. In ACM SIGPLAN Symposium on Principles of Programming Languages, 2023.

Presentations

MWPLS

Optimization of a Gradual Verifier: Lazy evaluation of Iso-recursive Predicates as Equi-recursive at Runtime

Jan-Paul Ramos-Dávila

Poster. In Midwest Programming Languages Summit, 2023.

Projects

PL

Diffeq-lang: DSL for solving differential equations

Benjamin Philippe, Jan-Paul Ramos-Dávila

In Regeneron International Science and Engineering Fair, 2021.

FP

RNAfoldml: An OCaml package for predicting RNA secondary structure

Inle Bush, Jan-Paul Ramos-Dávila, Songyu Ye

In Cornell CS 3110, Spring 2022.

PL/Verification

Incremental Specification Mining: Using Regression Testing in Selective Spec Mining

Kate Meuse, Jan-Paul Ramos-Dávila

In Cornell CS 6156, Spring 2023.