Publications
* indicates equal contribution

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 (川井徳寛)
Idea of a Certain Cat 2004 -Tokuhiro Kawai (川井徳寛)