research
∙
03/18/2023
Ownership guided C to Rust translation
Dubbed a safer C, Rust is a modern programming language that combines me...
share
research
∙
07/28/2022
Using Graph Neural Networks for Program Termination
Termination analyses investigate the termination behavior of programs, i...
research
∙
04/21/2022
Decomposition Without Regret
Programming languages are embracing both functional and object-oriented ...
research
∙
08/31/2021
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
We propose a technique for synthesizing bidirectional programs from the ...
research
∙
12/20/2017
