Can LLMs Enable Verification in Mainstream Programming?
CoRR, March, 2025
A Case Study in Functional Conversion and Mode Inference in miniKanren.
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024
A scoping review of cloud computing in healthcare.
BMC Medical Informatics Decis. Mak., 2015
The Integrated Data Repository Toolkit (IDRT): accelerating translational research infrastructures.
,
,
,
,
,
,
,
,
,
,
J. Clin. Bioinform., 2015