EP 3912042 A4 20220302 - A DEEP LEARNING MODEL FOR LEARNING PROGRAM EMBEDDINGS
Title (en)
A DEEP LEARNING MODEL FOR LEARNING PROGRAM EMBEDDINGS
Title (de)
TIEFENLERNMODELL FÜR EINBETTUNGEN VON LERNPROGRAMMEN
Title (fr)
MODÈLE D'APPRENTISSAGE APPROFONDI POUR INCORPORATIONS DE PROGRAMME D'APPRENTISSAGE
Publication
Application
Priority
- US 201962793500 P 20190117
- US 2019054075 W 20191001
Abstract (en)
[origin: WO2020149897A1] A system and method for using a deep learning model to learn program semantics is disclosed. The method includes receiving a plurality of execution traces of a program, each execution trace comprising a plurality of variable values. The plurality of variable values are encoded by a first recurrent neural network to generate a plurality of program states for each execution trace. A bi-directional recurrent neural network can then determine a reduced set of program states for each execution trace from the plurality of program states. The reduced set of program states are then encoded by a second recurrent neural network to generate a plurality of executions for the program. The method then includes pooling the plurality of executions to generate a program embedding and predicting semantics of the program using the program embedding.
IPC 8 full level
G06F 11/36 (2006.01); G06F 8/36 (2018.01); G06F 8/41 (2018.01); G06F 11/34 (2006.01); G06N 3/04 (2006.01); G06N 3/08 (2006.01)
CPC (source: EP US)
G06F 8/36 (2013.01 - EP US); G06F 8/436 (2013.01 - EP US); G06F 8/4435 (2013.01 - EP); G06N 3/044 (2023.01 - EP US); G06N 3/045 (2023.01 - EP US); G06N 3/08 (2013.01 - EP US); G06N 20/00 (2019.01 - US); G06F 8/4435 (2013.01 - US); G06F 11/3466 (2013.01 - EP US); G06F 11/36 (2013.01 - US); G06F 11/3612 (2013.01 - EP US)
Citation (search report)
[I] KE WANG ET AL: "Dynamic Neural Program Embedding for Program Repair", ARXIV.ORG, CORNELL UNIVERSITY LIBRARY, 201 OLIN LIBRARY CORNELL UNIVERSITY ITHACA, NY 14853, 20 November 2017 (2017-11-20), XP081319809
Designated contracting state (EPC)
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
Designated extension state (EPC)
BA ME
DOCDB simple family (publication)
WO 2020149897 A1 20200723; CN 113383316 A 20210910; CN 113383316 B 20221125; EP 3912042 A1 20211124; EP 3912042 A4 20220302; SG 11202107620Q A 20210830; US 11900250 B2 20240213; US 2022044119 A1 20220210
DOCDB simple family (application)
US 2019054075 W 20191001; CN 201980089331 A 20191001; EP 19909938 A 20191001; SG 11202107620Q A 20191001; US 201917423103 A 20191001