In programming, the two key concepts often surface when discussing the quality and functionality of code are syntax and semantics. While syntax refers to the structure and rules that code must adhere ...

Abstract: Code representation learning is an important way to encode the semantics of source code through pre-training. The learned representation supports a variety of downstream tasks, such as ...

Understanding and reasoning about code semantics is essential for enhancing code LLMs’abilities to solve real-world software engineering (SE) tasks. Although several code reasoning benchmarks exist, ...

Model-based design tools are often used to design safety-critical embedded software. Consequently, generating correct code from such models is crucial. We tackle this challenge on Lustre, a dataflow ...

Denotational semantics via tagless-final. A comprehensive tagless-final library in Scala 3, with an application to blockchain ledgers. In particular we model parts of the Cardano Ledger. From the ...