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.

PDF

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.

PDF

Slides

Poster

Video

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.

Video

Code
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.

Code
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.

PDF

Code
© , Jan-Paul V. Ramos. Powered by Jekyll, Academicons, & Remix Icon