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.

Program Skeletons for Automated Program Translation

Bo Wang 0146, Tianyu Li, Ruishi Li, Umang Mathur 0001, Prateek Saxena. Program Skeletons for Automated Program Translation. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):920-944, 2025. [doi]

Authors

Bo Wang 0146

This author has not been identified. Look up 'Bo Wang 0146' in Google

Tianyu Li

This author has not been identified. Look up 'Tianyu Li' in Google

Ruishi Li

This author has not been identified. Look up 'Ruishi Li' in Google

Umang Mathur 0001

This author has not been identified. Look up 'Umang Mathur 0001' in Google

Prateek Saxena

This author has not been identified. Look up 'Prateek Saxena' in Google
runs on