2 papers
cs.PL2026
A Gradual Probabilistic Lambda Calculus
Wenjia Ye, Matías Toro, Federico Olmedo
Probabilistic programming languages extend ordinary programming languages with the ability to sample values from probability distributions. Type systems can establish invariants of…
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…