关注
Jan-Paul Ramos-Dávila
Jan-Paul Ramos-Dávila
Undergraduate Researcher, Cornell University
在 cornell.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Gradual Verification for Smart Contracts
H Sun, K Singh, JP Ramos-Dávila, J Aldrich, J DiVincenzo
arXiv preprint arXiv:2311.13351, 2023
2023
Evaluating Soundness of a Gradual Verifier with Property Based Testing
JP Ramos-Dávila
Cornell Undergraduate Research Journal 2 (1), 17-27, 2023
2023
Gradual C0: Symbolic Execution for Gradual Verification
J DIVINCENZO, IAN MCCORMACK, H GOUNI, J GORENBURG, ...
arXiv preprint arXiv:2210.02428, 2022
2022
Domain Specific Language for differential equations with Scott-Strachey semantics
BP Applegate, JP Ramos-Dávila
Regeneron International Science and Engineering Fair, 2021
2021
Incremental Specification Mining CS 6156
K Meuse, JP Ramos
系统目前无法执行此操作，请稍后再试。
文章 1–5