Microsoft Technology Licensing, LLC

Fujitsu Corporation

Xiang Gao

Mukul Ranjan Prasad

Sumit Gulwani

Mark Alistair Wilson-Thomas

Nachiappan Nagappan

Ripon K Saha

Gustavo Araujo Soares

Arjun Radhakrishna

Ashish Tiwari

Shraddha Govind Barke

Alan Thomas Leung

A synthesis procedure learns program transformations for a text document, on-the-fly during an edit session, from examples of concrete edits made during the edit session and from an unsupervised set of additional inputs. The additional inputs are derived from explicit feedback from the user and inferred feedback from the user's behavior during the edit session. A reward score, based on anti-unification and provenance analysis, is used to classify the additional inputs as either a positive input or a negative input. Outputs are generated for the positive inputs that are consistent with the existing examples and then used to synthesize a new program transformation. The program transformations are then used to generate code edit suggestions during the edit session.

Feedback-driven semi-supervised synthesis of program transformations

According to an aspect of an embodiment, operations may include selecting, from a training dataset, a first data point as a seed data point. The operations may further include generating a population of data points by application of a genetic model on the seed data point. The population of data points may include the seed data point and a plurality of transformed data points of the seed data point. The operations may further include determining a best-fit data point in the generated population of data points based on application of a fitness function on the generated population of data points. The operations may further include executing a training operation on the DNN based on the determined best-fit data point. The operations may further include obtaining a trained DNN for the first data point based on the training operation on the DNN based on the determined best-fit data point.

Data augmentation in training deep neural network (DNN) based on genetic model

Growing community of inventors

Singapore, Singapore

Xiang Gao