Publications
* indicates equal contribution
Evaluating Soundness of a Gradual Verifier with Property Based Testing
POPL '23 SRC | CURJ '23 Vol. 2
Jan-Paul Ramos-Dávila
Code】 【Extended Abstract】 【Video Presentation】 【Paper】 【Poster】 【Blog Post

Projects
How Do Code and Mined Specs Co-evolve?: Study on temporal behaviors of specifications.
Kate Meuse, Jan-Paul Ramos-Dávila, Zachary Thurston
Course】 【Code】 【Paper
JAECC: Compiler for the Eta programming language.
Jeremy Ku-Benjet, Alan Liu, Jan-Paul Ramos-Dávila, Jiahan Xie
Course
RNAfoldml: An OCaml package for predicting RNA secondary structure.
Inle Bush, Songyu Ye, Jan-Paul Ramos-Dávila
Code
Diffeq-lang: DSL for solving differential equations.
Benjamin Philippe, Jan-Paul Ramos-Dávila
Code


Idea of a Certain Cat 2004 -Tokuhiro Kawai (川井徳寛)
Idea of a Certain Cat 2004 -Tokuhiro Kawai (川井徳寛)