@InProceedings{Mariano-etal:2022:Transpilation,
title = {Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis},
author = {Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, and Isil Dillig},
booktitle = {Object-oriented Programming, Systems, Languages, and Applications (OOPSLA)},
year = {2022},
}