Publications
* indicates equal contribution
Evaluating Soundness of a Gradual Verifier with Property Based Testing
POPL '23 SRC
Jan-Paul Ramos-Dávila
Code】 【Paper】 【Poster】 【Blog Post

Projects
Calyx-Graphicionado: Implementation of a graph analytics accelerator in Calyx.
Jan-Paul Ramos-Dávila
Code】 【Blog Post
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 (川井徳寛)