External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automated transpilation of imperative to functional code using neural-guided program synthesis

Benjamin Mariano, Yanju Chen, Yu Feng 0001, Greg Durrett, Isil Dillig. Automated transpilation of imperative to functional code using neural-guided program synthesis. Proceedings of the ACM on Programming Languages, 6(OOPSLA):1-27, 2022. [doi]

Authors

Benjamin Mariano

This author has not been identified. Look up 'Benjamin Mariano' in Google

Yanju Chen

This author has not been identified. Look up 'Yanju Chen' in Google

Yu Feng 0001

This author has not been identified. Look up 'Yu Feng 0001' in Google

Greg Durrett

This author has not been identified. Look up 'Greg Durrett' in Google

Isil Dillig

This author has not been identified. Look up 'Isil Dillig' in Google
runs on