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.

Workshops

POPL

Gradual Verification of Smart Contracts

Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila, Jonathan Aldrich, Jenna Wise (DiVincenzo)

Extended abstract. In Workshop on Principles of Secure Compilation, co-located with POPL, 2024.

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.

POPL

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

Jan-Paul Ramos-Dávila

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

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

Compilers/Verification

Optimization of a Concurrent PL Model Checker

Jan-Paul Ramos-Dávila

In Cornell CS 6120, Fall 2023.

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.