Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
Fri 24 Oct 2014 10:30 - 10:52 at Salon A - Session the Fourth Chair(s): Emery D. Berger

Phrase-based statistical machine translation approaches have been highly successful in translating between natural languages and are heavily used by commercial systems (e.g. Google Translate).

The main objective of this work is to investigate the applicability of these approaches for translating between programming languages. Towards that, we investigated several variants of the phrase-based translation approach: i) a direct application of the approach to programming languages, ii) a novel modification of the approach to incorporate the grammatical structure of the target programming language (so to avoid generating target programs which do not parse), and iii) combines ii) with custom rules added to improve the quality of the translation.

To experiment with the above systems, we investigated machine translation from C# to Java. For the training, which takes about 60 hours, we used a parallel corpus of 20,499 C#-to-Java method translations. We then evaluated each of the three systems above by translating 1,000 C# methods. Our experimental results indicate that with the most advanced system, about 60% of the translated methods compile (the top ranked) and out of a random sample of 50 correctly compiled methods, 68% (34 methods) were semantically equivalent to the reference solution.

Fri 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Session the FourthOnward! Papers at Salon A
Chair(s): Emery D. BergerUniversity of Massachusetts, Amherst
10:30 - 10:52
Onward! Papers
Svetoslav KaraivanovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zurich
10:52 - 11:15
Onward! Papers
Marcel TaeumelHasso Plattner Institute, Michael PerscheidHasso Plattner Institute, Bastian SteinertHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
11:15 - 11:37
Onward! Papers
Stéphane ConversyUniversity of Toulouse - ENAC
11:37 - 12:00
Onward! Papers
Eric WalkingshawUniversity of Marburg, Christian KästnerCarnegie Mellon University, Martin ErwigOregon State University, Sven ApelUniversity of Passau, Eric BoddenFraunhofer SIT and TU Darmstadt