Processing

Please wait...

Settings

Settings

Goto Application

1. WO2022010564 - FEEDBACK-DRIVEN SEMI-SUPERVISED SYNTHESIS OF PROGRAM TRANSFORMATIONS

Publication Number WO/2022/010564
Publication Date 13.01.2022
International Application No. PCT/US2021/029036
International Filing Date 26.04.2021
IPC
G06F 8/33 2018.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
30Creation or generation of source code
33Intelligent editors
G06F 8/51 2018.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
51Source to source
G06N 20/00 2019.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
NCOMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
20Machine learning
Applicants
  • MICROSOFT TECHNOLOGY LICENSING, LLC [US]/[US]
Inventors
  • BARKE, Shraddha Govind
  • GAO, Xiang
  • GULWANI, Sumit
  • LEUNG, Alan Thomas
  • NAGAPPAN, Nachiappan
  • RADHAKRISHNA, Arjun
  • ARAUJO SOARES, Gustavo
  • TIWARI, Ashish
  • WILSON-THOMAS, Mark Alistair
Agents
  • SWAIN, Cassandra T.
  • BARKER, Doug
  • CHATTERJEE, Aaron C.
  • CHEN, Wei-Chen Nicholas
  • CHOI, Daniel
  • CHURNA, Timothy
  • DINH, Phong
  • EVANS, Patrick
  • GABRYJELSKI, Henry
  • GUPTA, Anand
  • HWANG, William C.
  • JARDINE, John S.
  • LEE, Sunah
  • LEMMON, Marcus
  • MARQUIS, Thomas
  • MEYERS, Jessica
  • ROPER, Brandon
  • SPELLMAN, Steven
  • SULLIVAN, Kevin
  • WALKER, Matt
  • WIGHT, Stephen A.
  • WISDOM, Gregg
  • WONG, Ellen
  • WONG, Thomas S.
  • ZHANG, Hannah
  • AKHTER, Julia
  • KADOURA, Judy M.
  • NIU, Bo
  • OLANIRAN, Qudus
  • BROWN, Renee
  • TRAN, Kimberly
Priority Data
17/038,42730.09.2020US
63/050,02509.07.2020US
Publication Language English (en)
Filing Language English (EN)
Designated States
Title
(EN) FEEDBACK-DRIVEN SEMI-SUPERVISED SYNTHESIS OF PROGRAM TRANSFORMATIONS
(FR) SYNTHÈSE SEMI-SUPERVISÉE FONDÉE SUR UNE RÉTROACTION DE TRANSFORMATIONS DE PROGRAMME
Abstract
(EN) 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.
(FR) Une procédure de synthèse apprend des transformations de programme pour un document de texte, à la volée durant une session d'édition, à partir d'exemples d'éditions concrètes effectuées pendant la session d'édition et à partir d'un ensemble non supervisé d'entrées supplémentaires. Les entrées supplémentaires sont dérivées d'une rétroaction explicite de l'utilisateur et d'une rétroaction inférée à partir du comportement de l'utilisateur pendant la session d'édition. Un score de récompense, basé sur une analyse anti-unification et de provenance, est utilisé pour classifier les entrées supplémentaires en tant qu'entrées positives ou entrées négatives. Des sorties sont générées pour les entrées positives qui sont cohérentes avec les exemples existants et ensuite utilisées pour synthétiser une nouvelle transformation de programme. Les transformations de programme sont ensuite utilisées pour générer des suggestions d'édition de code pendant la session d'édition.
Related patent documents
Latest bibliographic data on file with the International Bureau