2 papers
cs.PL2026
A Gradual Probabilistic Lambda Calculus
Wenjia Ye, MatÃas Toro, Federico Olmedo
Probabilistic programming languages have recently gained a lot of attention, in particular due to their applications in domains such as machine learning and differential privacy. T…
cs.SE2026
Validated Code Translation for Projects with External Libraries
Hanliang Zhang, Arindam Sharma, Cristina David +5
Large Language Models (LLMs) have shown promise for program translation, particularly for migrating systems code to memory-safe languages such as Rust. However, existing approaches…