程序自動(dòng)生成技術(shù)之研究動(dòng)態(tài)

程序自動(dòng)生成技術(shù)之研究動(dòng)態(tài)代碼大數(shù)據(jù)的形成引發(fā)了

“利用表示學(xué)習(xí)模型解決開(kāi)發(fā)問(wèn)題”的研究海量高質(zhì)量開(kāi)源代碼解決方案編程任務(wù)表示模型學(xué)習(xí)重要國(guó)際會(huì)議相關(guān)論文的數(shù)量不斷攀升分布：54%來(lái)源于人工智能領(lǐng)域，46%來(lái)自于軟件工程領(lǐng)域相關(guān)領(lǐng)域的研究雖然，相關(guān)領(lǐng)域（特別是自然語(yǔ)言處理）的研究已經(jīng)取得了重要進(jìn)展，但卻無(wú)法直接應(yīng)用于代碼大數(shù)據(jù)的分析。？程序代碼數(shù)據(jù)的特性抽象性

——對(duì)比自然語(yǔ)言，代碼的淺層信息難以體現(xiàn)其操作語(yǔ)義。結(jié)構(gòu)性

——代碼的結(jié)構(gòu)（如AST的復(fù)雜度）遠(yuǎn)比自然語(yǔ)言要復(fù)雜。演化性

——代碼的迭代比自然語(yǔ)言頻繁，演化速度比自然語(yǔ)言快。代碼的自動(dòng)生成面臨諸多挑戰(zhàn)挑戰(zhàn)之一：

代碼詞匯表與自然語(yǔ)言詞匯表存在巨大差異代碼詞匯表中詞匯數(shù)量通常比自然語(yǔ)言多很多；代碼中詞匯的語(yǔ)義具有較強(qiáng)的區(qū)域性，且與代碼結(jié)構(gòu)密切相關(guān)；代碼中自定義標(biāo)識(shí)符具有較強(qiáng)的動(dòng)態(tài)性，容易發(fā)生變化；代碼的自動(dòng)生成面臨諸多挑戰(zhàn)挑戰(zhàn)之二：

代碼之間的語(yǔ)義依賴關(guān)系不同于自然語(yǔ)言代碼語(yǔ)句之間的依賴關(guān)系與代碼結(jié)構(gòu)或體系結(jié)構(gòu)相關(guān)，復(fù)雜程度較高；與自然語(yǔ)言相比，代碼語(yǔ)句之間存在“較遠(yuǎn)”的語(yǔ)義依賴關(guān)系；代碼的自動(dòng)生成面臨諸多挑戰(zhàn)挑戰(zhàn)之三：

代碼與背景知識(shí)的綁定關(guān)系較強(qiáng)，且演化快代碼的語(yǔ)義與所使用的API庫(kù)、框架等可復(fù)用資源密切相關(guān)，存在非常強(qiáng)的綁定關(guān)系；API庫(kù)、可復(fù)用框架的演化對(duì)代碼語(yǔ)義的影響非常大；代碼的語(yǔ)義對(duì)其具體運(yùn)行環(huán)境也存在較大的依賴；代碼的自動(dòng)生成面臨諸多挑戰(zhàn)其他挑戰(zhàn)：需求是軟件開(kāi)發(fā)的起點(diǎn)，代碼的語(yǔ)義必須滿足需求才具有實(shí)際意義；與自然語(yǔ)言相比，代碼具有無(wú)二義性，且需要通過(guò)編譯，并能夠執(zhí)行，因此，更加難以生成；開(kāi)發(fā)者對(duì)代碼的要求不僅僅是能夠執(zhí)行，代碼的優(yōu)劣對(duì)最終解決方案的效果，存在較大的影響；相關(guān)研究團(tuán)隊(duì)PublicationsAreDeepNeuralNetworkstheBestChoiceforModelingSourceCode,

FSE’17Onthe“Naturalness”ofBuggyCode,

ICSE’16CACHECA:ACacheLanguageModelBasedCodeSuggestionTool(Demo),

ICSE’15OntheLocalnessofSoftware,

FSE’14

Onthe“Naturalness”ofsoftware,

ICSE’12

PremDevanbuProfessorUniversityofCaliforniaatDavisThe

Naturalness

of

Source

Code相關(guān)研究團(tuán)隊(duì)相關(guān)研究團(tuán)隊(duì)PublicationsSmartPaste:LearningtoAdaptSourceCode.TechReport,2017AConvolutionalAttentionNetworkforExtremeSummarizationofSourceCode.ICML’16MiningSemanticLoopIdiomsfromBigCode.TechReport,2016BimodalModellingofSourceCodeandNaturalLanguage.ICML’15SuggestingAccurateMethodandClassNames.FSE’15LearningNaturalCodingConventions.FSE’14Code

ConventionsEdinburgh相關(guān)研究團(tuán)隊(duì)PublicationsAPICodeRecommendationUsingStatisticalLearningfromFine-grainedChanges,FSE’16T2API:SynthesizingAPICodeUsageTemplatesfromEnglishTextswithStatisticalTranslation,FSE’16UsingTopicModeltoSuggestFine-grainedSourceCodeChanges,ICSME’16DoContextsHelpinPhrase-based,StatisticalSourceCodeMigration?,ICSME’16MappingAPIElementsforCodeMigrationwithVectorRepresentations,ICSE’16TienN.Nguyen,Ph.D.

AssociateProfessorIowaStateUniversityResearchInterests:ProgramAnalysisandUnderstanding,SoftwareEvolutionandMaintenance,MiningSoftwareRepositories,VersionandConfigurationManagement,andWebandConfigurableCodeAnalysis.API相關(guān)研究團(tuán)隊(duì)PublicationsDeepAM:MigrateAPIswithMulti-modalSequencetoSequenceLearning,IJCAI’17DeepAPILearning,FSE’16SungKimAssociateProfessorHongKongUniversityofScienceandTechnologyZhiJinGeLiLiliMou*PekingUniversity*PostdoctoralfellowUniversityofWaterlooPublicationsLearningToInferAPIMappingsFromAPIDocuments,KSEM2017.ConvolutionalNeuralNetworksoverTreeStructuresforProgrammingLanguageProcessing,AAAI2016.LearningEmbeddingsOfAPITokensToFacilitateDeepLearningBasedProgramProcessing,KSEM2016.AComparativeStudyonRegularizationStrategiesforEmbedding-basedNeuralNetworks,EMNLP2015.Onend-to-endprogramgenerationfromuserintentionbydeepneuralnetworks,arxiv’15BuildingProgramVectorRepresentationsforDeepLearning,arxiv’14,KSEM2015.ScottReed&NandodeFreitas,NEURALPROGRAMMER-INTERPRETERS,CandidatePaperof5thInternationalConferenceonLearningRepresentations(ICLR2017),underreview.QuchengGongandYuandongTianandC.LawrenceZitnick,UNSUPERVISEDPROGRAMINDUCTIONWITHHIERARCHICALGENERATIVECONVOLUTIONALNEURALNETWORKS,CandidatePaperof5thInternationalConferenceonLearningRepresentations(ICLR2017),underreview.RecentlySearch-basedSynthesisIR

based

Search

&

SynthesisGeneration

based

Search

&

SynthesisLanguage-basedDeductionTranslate-basedgenerationProbability-baseddeductionLearning-basedSimulation I-ObasedNaturalStyleLearningOperationProcessorientedLearningCodeGenerationGoogleDeepMind，2016NeuralProgrammer-InterpretersMicrosoftResearch,2017DeepCoder:LearningtoWriteProgramsFacebookAIResearch,2017HGCNN:HierarchicalGenerativeConvolutionalNeuralNetworksNeural

ProgrammingbyExample(NPBE)Microsoft——DEEPCODER:LEARNINGTOWRITEPROGRAMS

Facebook——HierarchicalGenerative

ConvolutionalNeuralNetworks(HGCNN)對(duì)比我們?cè)?015年的工作…深度神經(jīng)網(wǎng)絡(luò)程序生成模型深度神經(jīng)網(wǎng)絡(luò)程序生成模型訓(xùn)練生成深度神經(jīng)網(wǎng)絡(luò)程序生成模型訓(xùn)練生成深度神經(jīng)網(wǎng)絡(luò)程序生成模型深度神經(jīng)網(wǎng)絡(luò)程序生成模型深度神經(jīng)網(wǎng)絡(luò)程序生成模型Our

recent

workOur

recent

work35Isitpossibletobridgethegap

betweenNaturalLanguageTextsandPrograms?IntelligentProgrammingHelperProgramunderstandingandFunctionLearningNaturalLanguageProcessingandSemanticsLearningNaturalLanguageText—ProgramMatchingEngineIntelligentProgrammingHelperProgramunderstandingandFunctionLearningNaturalLanguageProcessingandSemanticsLearningNaturalLanguageText—ProgramMatchingEngineIsitpossibletobridgethegap

betweenNaturalLanguageTextsandPrograms?36Thisfunctionimplementsthebubblealgorithmthatsortsanarrayinascendingorder.Wecouldfindamapbetweenasnippetofprogramcodeandapieceofnaturallanguagedescription.KeyProblemsofLearningbasedCodeGenerationHow

torepresenttheprogram?Canweencodethelogicinformationintheprogram?Howtousetheprogramknowledgeincodegeneration?Howtorepresenttheknowledgeusedincodingperiod?Howtodesigntheneuralmodelforprogramlearning?Istheprobabilistic

model

enoughforprogram?Howtodealwiththedefectsofneuralnetworkmodel?Probabilisticdependencyproblemsoverlongdistances.回應(yīng)一個(gè)問(wèn)題VincentJ.Hellendoorn,PremkumarT.Devanbu:

Aredeepneuralnetworksthebestchoiceformodelingsourcecode?ESEC/SIGSOFTFSE2017:763-773謝謝！ChallengetoAIThetruechallengetoartificialintelligenceprovedtobesolvingthetasksthatareeasyforpeopletoperformbuthardforpeopletodescribeformally;solvingtheproblemsthatwesolveintuitively,thatfeelautomatic;likerecognizingspokenwordsorfacesinimages;Thefigureshowstwoofthethreehistoricalwavesofartificialneuralnetsresearch,asmeasuredbythefrequencyofthephrases“cybernetics”and“connectionism”or“neuralnetworks”accordingtoGoogleBooksKey

Trends

about

Deep

LearningKey

Trends

about

Deep

Learning1.

Deeplearninghasbecomemoreusefulastheamount