王亞偉先生擁有云和開發(fā)工具領(lǐng)域近20年的經(jīng)驗(yàn),2018年作為DevOps工具鏈?zhǔn)紫軜?gòu)師加入華為,2020年開始領(lǐng)導(dǎo)公司級(jí)軟件工程技術(shù)專家組,2022年成長為華為公司軟件開發(fā)工具和效率領(lǐng)域的領(lǐng)軍專家。加入華為前,他從2006年到2018年在微軟中國、東南亞、澳大利亞、美國等國家地區(qū)的分支機(jī)構(gòu)工作近13年時(shí)間,領(lǐng)導(dǎo)多元文化背景的工程團(tuán)隊(duì)從事過多個(gè)關(guān)鍵項(xiàng)目的開發(fā)和發(fā)布,整個(gè)職業(yè)生涯都在為提升軟件工程效率進(jìn)行技術(shù)和產(chǎn)品創(chuàng)新。王亞偉先生擁有20多項(xiàng)軟件開發(fā)技術(shù)發(fā)明專利,涵蓋智能代碼補(bǔ)全、分布式調(diào)試、構(gòu)建優(yōu)化、智能化單元測(cè)試、遠(yuǎn)程開發(fā)、靜態(tài)代碼分析等領(lǐng)域。
軟件開發(fā)生產(chǎn)線CodeArts是一站式、全流程、安全可信的軟件開發(fā)生產(chǎn)線,開箱即用,內(nèi)置華為多年研發(fā)最佳實(shí)踐,助力效能倍增和數(shù)字化轉(zhuǎn)型。作為中國DevOps平臺(tái)市場(chǎng)領(lǐng)導(dǎo)者,CodeArts產(chǎn)品家族包含眾多具有大量黑科技技術(shù)的產(chǎn)品,而IDE作為DevOps工具鏈中最復(fù)雜最核心的產(chǎn)品之一,是產(chǎn)品家族中的明星。IDE團(tuán)隊(duì)是一支數(shù)百人的軟件研發(fā)專家隊(duì)伍,分布在中國、俄羅斯、歐洲等國家地區(qū),其中一半成員來自于業(yè)界頂尖的軟件和工具公司,超過40%的成員是開源社區(qū)的Committer和Contributor,整個(gè)團(tuán)隊(duì)都圍繞著”做最好的產(chǎn)品“展開工作,團(tuán)隊(duì)建立了從產(chǎn)品、運(yùn)營、UX到開發(fā)、測(cè)試的完整專業(yè)的產(chǎn)品研發(fā)流程,每月一個(gè)小版本、三個(gè)月一個(gè)大版本,基于內(nèi)外部用戶的反饋快速迭代。
過去五年IDE團(tuán)隊(duì)真正做到了深耕軟件開發(fā)工具這個(gè)專業(yè)領(lǐng)域。而這次的「智能化信創(chuàng)軟件IDE」專題分享的“硬核”議題內(nèi)容是CodeArts IDE團(tuán)隊(duì)過去五年不斷進(jìn)行技術(shù)積累的成果。
詳細(xì)介紹華為云CodeArts團(tuán)隊(duì)?wèi)?yīng)用大模型開發(fā)的AI輔助編程的技術(shù) - CodeArts Snap,講師程嘯從博士階段開始就對(duì)代碼生成、RAG、代碼克隆檢測(cè)等領(lǐng)域有較深入的研究,他這次也是代表Snap團(tuán)隊(duì)進(jìn)行分享。
議題2:Applying Machine Learning in IDE Challenges and Insights
將會(huì)系統(tǒng)討論AI技術(shù)在IDE中的應(yīng)用研究以及如何深遠(yuǎn)改變開發(fā)者的開發(fā),測(cè)試和調(diào)試代碼的方式。講師Pavel是俄研院新西伯利亞實(shí)驗(yàn)室主任,20 年開發(fā)者工具構(gòu)建經(jīng)驗(yàn),機(jī)器學(xué)習(xí)專家、Eclipse IDE的專家和Committer。
議題3:Evolution of IDE Platforms
將會(huì)緊密圍繞其在構(gòu)建IDE平臺(tái)時(shí)面臨的問題和挑戰(zhàn)比如分布式代碼模型架構(gòu)下如何確保前后端組件可以高效交互、如何直接從后端內(nèi)核畫出前端復(fù)雜UI,以及IDE團(tuán)隊(duì)如何做出艱難的架構(gòu)和設(shè)計(jì)決策,同時(shí)分享對(duì)下一代IDE平臺(tái)的架構(gòu)和設(shè)計(jì)展望。Denis是俄羅斯新西伯利亞實(shí)驗(yàn)室的首席架構(gòu)師,20 多年的工具研發(fā)經(jīng)驗(yàn),精通編譯器、DSL、編程框架,Eclipse社區(qū)Committer。
議題4:Type inference engine
靜態(tài)語言如Java,C#等,它的類型推理主要通過編譯器完成,代碼模型可以通過類型綁定(通常存在于程序的元數(shù)據(jù)metadata中)獲得所需要的類型信息。而動(dòng)態(tài)語言的類型推理主要由IDE完成,由于缺少編譯元數(shù)據(jù)的支持,動(dòng)態(tài)語言的類型推理是一個(gè)業(yè)界難題。以Python為例,其有一個(gè)完全動(dòng)態(tài)嚴(yán)格的類型系統(tǒng),類型(type)在運(yùn)行時(shí)動(dòng)態(tài)綁定到變量(variable),變量和類型都可以在運(yùn)行時(shí)動(dòng)態(tài)被改變 – 這增加Python IDE進(jìn)行可靠類型推理的難度。議題4:“Type inference engine” 介紹該團(tuán)隊(duì)在做動(dòng)態(tài)語言類型推理時(shí)設(shè)計(jì)和實(shí)現(xiàn)的技術(shù)細(xì)節(jié),并討論未來該領(lǐng)域的發(fā)展方向。Nikolai是俄羅斯圣彼得堡實(shí)驗(yàn)室的首席軟件工程師,。15 年 IDE 研發(fā)經(jīng)驗(yàn),前 JetBrains Intellij IDEA 和Scala 項(xiàng)目負(fù)責(zé)人。精通 Compiler、Program Language Design、Code Analysis 等技術(shù)?!?p style="text-indent:0em;"> QCon 全球軟件開發(fā)大會(huì)(上海站)將于12月28-29 日舉辦,希望到時(shí)候跟大家在會(huì)場(chǎng)相見。
?點(diǎn)擊下方『閱讀原文』,查看專題詳情!
原文標(biāo)題:CodeArts五年磨一劍,深耕信創(chuàng)軟件開發(fā)工具
文章出處:【微信公眾號(hào):華為DevCloud】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。
-
華為
+關(guān)注
關(guān)注
215文章
34258瀏覽量
250980
原文標(biāo)題:CodeArts五年磨一劍,深耕信創(chuàng)軟件開發(fā)工具
文章出處:【微信號(hào):華為DevCloud,微信公眾號(hào):華為DevCloud】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
評(píng)論