Jan-Paul Vincent Ramos-Dávila
Visit my
Substack
blog!
Ciao! I'm a Sophomore at Cornell University working towards degrees in Computer Science & Philosophy. My main research interests involve developing practical tools for software verification using both formal & lightweight methods.
I conduct research with
Dr. Jonathan Aldrich
&
Dr. Joshua Sunshine
along with their graduate students (
1
|
2
) on a
gradual verifier
that leverages partial specifications for scalability in specification-driven verification
at Carnegie Mellon University.
【jvr34@cornell.edu】
【Curriculum Vitae】
【LinkedIn】
【GitHub】
--<-<<+[+[<+>--->->->-<<<]>]<<--.<++++++.<<-..<<.<+.>>.>>.<<<.+++.>>.>>-.<<<+.
Publications
* indicates equal contribution
Evaluating Soundness of a Gradual Verifier with Property Based Testing
POPL '23 Student Research Competition
Cornell Undergraduate Research Journal '23 Vol. 2 No. 1
Jan-Paul Ramos-Dávila
【Blog Post】
【Code】
【Extended Abstract】
【Paper】
【Poster】
【Video Presentation】
Cool Projects
Incremental Specification Mining
: Using Regression Testing in Selective Spec Mining
Kate Meuse
,
Jan-Paul Ramos-Dávila
【Code】
【Course】
【Paper】
RNAfoldml
: An OCaml package for predicting RNA secondary structure
Inle Bush
,
Jan-Paul Ramos-Dávila
,
Songyu Ye
【Code】
【Course】
Diffeq-lang
: DSL for solving differential equations
Benjamin Philippe
,
Jan-Paul Ramos-Dávila
【Code】
【Presentation】
【Website】
Ladbot
: A discord bot whose purpose is to entertain those who are bored.
Benjamin Philippe
,
Jan-Paul Ramos-Dávila
,
Sina
【Code】
【Website】
Idea of a Certain Cat 2004 -Tokuhiro Kawai (川井徳寛)