宣講會 ? 香港站 | 我們?yōu)槟愣鴣?,期待你加入必贏3003no1線路檢測中心必贏3003no1線路檢測中心

中大招宣

 

必贏3003no1線路檢測中心必贏3003no1線路檢測中心

2023年春季全球招聘宣講會
 

第七站

香港各大高校

 

@香港各大高校的博士生、博士后

我們跨越山海,為你而來

期待你的加入

攜手邁向新征程

 

 

宣講會第七站

香港地區(qū)高校專場

時間:2023年5月18日(周四) 14:30-16:30

地點:香港唯港薈酒店(Hotel ICON)Function Room 1-3,Basement1,尖沙咀科學館道17號

香港大學專場

時間:2023年5月18日(周四) 19:30-21:00

地點:香港大學周亦卿樓G層講堂CBA

親臨現(xiàn)場|經驗分享

image-20230516100153-1

陳嘉弛,必贏3003no1線路檢測中心“百人計劃”助理教授,碩士生導師。2022年于澳大利亞蒙納士大學獲得博士學位,主要研究方向包括智能合約、經驗軟件工程、智能軟件工程、軟件可靠性等,重點關注智能合約監(jiān)管、數(shù)據(jù)分析及可靠性分析。近年在TSE, TOSEM, ASE, ICSE, INFOCOM, EMSE, JSS, TOIT, ICPC, ICDCS, DSN等軟件工程、分布式計算、安全、網(wǎng)絡等領域的國際會議和期刊發(fā)表論文20余篇,其中10余篇為區(qū)塊鏈相關論文。

走進|必贏3003no1線路檢測中心必贏3003no1線路檢測中心

必贏3003no1線路檢測中心必贏3003no1線路檢測中心創(chuàng)辦于2020年6月,目前擁有中高級職稱教師32人,研究團隊平均年齡低于35歲,專任教師超過85%由海外引進。學院在讀本科生319人,碩士70人,博士15人,共發(fā)表有影響力學術論文100余篇,其中數(shù)十篇論文入選ESI高被引論文,出版4本著作(2本為英文專著)、獲專利成果100余項。2022年學院軟科排名位列全國第10位,目前CS Ranking排名位列全國第7位。

image-20230516100153-2

image-20230516100153-3

image-20230516100153-4

招聘|必贏3003no1線路檢測中心必贏3003no1線路檢測中心

image-20230516100153-5

image-20230516100153-6

 

招聘|聯(lián)系方式

聯(lián)系人:

陳嘉弛 助理教授 15394307781(微信同號)

郵箱1:sse_recruit@yeah.net

郵箱2:sse_recruit@outlook.com

地址:廣東省珠海市唐家灣必贏3003no1線路檢測中心珠海校區(qū)公共實驗樓3樓

主題教育 | 必贏3003no1線路檢測中心黨委主題教育讀書班集中研讀黨章、二十大報告及《習近平關于調查研究論述摘編》

image-20230513203158-1

為深入學習貫徹習近平總書記關于開展主題教育的重要講話精神,全面、系統(tǒng)、深入學習習近平新時代中國特色社會主義思想,大力弘揚馬克思主義學風,推動理論學習往深里走、往實里走、往心里走,2023年4月26日至5月10日,必贏3003no1線路檢測中心黨委主題教育讀書班進行集中學習研討。

2022年4月26日上午,主題教育讀書班集中學習研讀黨章、二十大報告及《習近平關于調查研究論述摘編》,本次讀書班由學院黨委陳征宇書記領學,學院全體領導班子成員參加了讀書班集中學習。

主題教育

image-20230513203158-2

陳征宇書記在領學報告中強調,黨章的修訂反映了我黨對光榮的集體的建設規(guī)律的探索和總結,體現(xiàn)了我黨理論的與時俱進,全體黨員要把學習黨章同學習貫徹習近平新時代中國特色社會主義思想結合起來,以高度的政治自覺、思想自覺、行動自覺參加到主題教育中,要把學習黨章同推動學院高質量發(fā)展結合起來,積極作為,在踔厲奮發(fā)中書寫新篇章。

陳征宇書記強調,黨的二十大報告以歷史為綱,系統(tǒng)展現(xiàn)十年來中國共產黨全面貫徹新時代中國特色社會主義思想,團結帶領全國人民取得的一系列偉大事業(yè)的矚目成就、偉大斗爭的輝煌勝利。習近平總書記的報告立足國本,胸懷天下,號召全黨全軍全國各族人民團結合力,奮勇向前,用奮斗創(chuàng)造新的時代偉業(yè)。作為一名高校思想政治教育工作者,我們要繼續(xù)深入學習黨的二十大報告內容,深刻領會習近平新時代中國特色社會主義思想的豐富內涵,準確把握高質量推動高校黨建和思想政治工作的政治航向。

陳征宇書記導讀了《習近平關于調查研究論述摘編》的部分章節(jié)論述。他指出,貫徹落實中央和學校關于調查研究、檢視整改等工作,要提高思想認識、堅持問題導向、注重成果轉化、加強統(tǒng)籌謀劃,把“當下改”和“長久立”結合起來,結合學院工作實際,扎實推進調查研究,推動學院高質量人才培養(yǎng)體系的建設。

學院領導班子成員圍繞領學報告及《習近平關于調查研究論述摘編》相關自學研讀內容作了重點交流,并圍繞學院實際工作展開了深入的探討。

人才引進丨必贏3003no1線路檢測中心必贏3003no1線路檢測中心2023年春季全球招聘4月份(長沙站、武漢站、廈門站、華東站)宣講會回顧

黨的二十大報告指出,必須堅持科技是第一生產力、人才是第一資源、創(chuàng)新是第一動力,深入實施科教興國戰(zhàn)略、人才強國戰(zhàn)略、創(chuàng)新驅動發(fā)展戰(zhàn)略,開辟發(fā)展新領域新賽道,不斷塑造發(fā)展新動能新優(yōu)勢。高松校長在必贏3003no1線路檢測中心2023年春季工作會議上也提出,在全面建設社會主義現(xiàn)代化國家新征程上,我們比任何時候都更需要一大批德才兼?zhèn)涞母邔哟蝿?chuàng)新型人才。當下,必贏3003no1線路檢測中心必贏3003no1線路檢測中心正值凝聚人才動能、培養(yǎng)卓越軟件工程人才、服務高質量發(fā)展的重要時刻,為進一步吸引更多境內外優(yōu)秀人才聚集珠海,聚集必贏3003no1線路檢測中心珠海校區(qū),助力粵港澳大灣區(qū)人才高地建設,必贏3003no1線路檢測中心必贏3003no1線路檢測中心自2023年3月起,已組織多名教師奔赴11所高校開展宣講會,搭建人才引進“快車道”,“以才引才”,熱誠歡迎各地英才加盟。

2023年4月6-7日,必贏3003no1線路檢測中心陳建國副教授赴長沙相繼參加必贏3003no1線路檢測中心在中南大學、湖南大學開展的2023年春季招聘宣講會(第三站)。

4月6日晚,陳建國副教授于中南大學校本部科教南樓進行宣講,為到場人員介紹了必贏官網(wǎng)基本情況。宣講會上,多位計算機專業(yè)和軟件工程專業(yè)的博士生和博士后對必贏3003no1線路檢測中心的博士后和助理教授招聘崗位感興趣,對此進行了詳細咨詢。

image-20230510200724-1image-20230510200724-2

▲必贏3003no1線路檢測中心陳建國副教授在中南大學宣講

4月7日上午,陳建國副教授受邀至湖南大學信息科學與工程學院進行專場宣講會,受到了母院師生的熱烈歡迎和支持。他在宣講會上詳細介紹了必贏3003no1線路檢測中心和必贏3003no1線路檢測中心必贏3003no1線路檢測中心的發(fā)展現(xiàn)狀、發(fā)展規(guī)劃以及各個層次的用人需求,并以自身經驗為例拋磚引玉,詳細介紹了學院人才引進政策、應聘流程及“多對一”五步走的人才引進服務支撐策略,鼓勵符合條件的博士生和博士后積極聯(lián)系并投遞應聘簡歷,邀請其加入到必贏3003no1線路檢測中心的隊伍行列,成為必贏官網(wǎng)在成長發(fā)展道路上不可或缺的拼圖。宣講會上,一群志同道合的有趣靈魂進行互動交流,多名參會的博士和博士后就崗位要求、考核要求、工作條件、生活環(huán)境等問題進行了咨詢。

image-20230510200724-3

4月7日下午,陳建國副教授在湖南大學復臨舍106教室再次深入地介紹了必贏官網(wǎng)的相關工作信息,受到廣泛關注。

image-20230510200724-4

2023年4月15-16日,必贏3003no1線路檢測中心陳文清助理教授赴武漢相繼參加必贏3003no1線路檢測中心在武漢大學、華中科技大學開展的2023年春季招聘宣講會(第四站)。

活動現(xiàn)場,陳文清助理教授上臺介紹了必贏3003no1線路檢測中心的四大特色與優(yōu)勢:學院新、追求遠、人氣高、文化好?!皩W院新”指必贏3003no1線路檢測中心成立于2020年,正處于快速發(fā)展期,適合并且歡迎青年才俊的加入;“追求遠”指學院的戰(zhàn)略發(fā)展有遠大追求,目前CS Ranking排名位于國際第7名且正逐年上升;“人氣高”指學院高水平的教學質量、科研質量對學生具有較高的吸引力;“文化好”指學院奉行“低權力距離指數(shù)”,使老師與老師之間、師生之間平等相處,極大地鼓勵了創(chuàng)新思維的發(fā)展。

image-20230510200724-5

▲必贏3003no1線路檢測中心陳文清助理教授在武漢大學宣講

image-20230510200724-6

▲必贏3003no1線路檢測中心陳文清助理教授在華中科大宣講

會后,陳文清助理教授耐心地為參會的博士生和博士后更詳細地介紹了學院情況,分享工作體會,并進行招聘政策答疑。

image-20230510200724-7

2023年4月22日,必贏3003no1線路檢測中心吳煒濱助理教授赴廈門參加必贏3003no1線路檢測中心在廈門大學開展的2023年春季全球招聘宣講會(第五站)。

活動現(xiàn)場,吳煒濱助理教授首先向參會人員講述了學院與廈門大學的不解之緣;然后就學院的辦學歷程、招生情況、學科現(xiàn)狀、師資力量、學科定位、平臺環(huán)境及學院文化等情況作了詳細介紹;最后,吳煒濱助理教授還與參會人員進行了自由交流并答疑。

image-20230510200724-8

▲必贏3003no1線路檢測中心吳煒濱助理教授在廈門大學宣講

2023年4月26日下午,必贏3003no1線路檢測中心陳嘉弛助理教授赴杭州參加必贏3003no1線路檢測中心在浙江大學開展的2023年春季招聘宣講會(第六站),吸引了大量浙江大學的優(yōu)秀人才前來參加。

陳嘉弛助理教授在此次宣講會上,主要介紹了學院的基本情況、招生現(xiàn)狀、學科現(xiàn)狀、師資力量等關鍵信息,引起了現(xiàn)場相關專業(yè)人才的高度關注。在自由交流環(huán)節(jié),陳嘉弛助理教授向相關人才介紹了學院需求的崗位、相關崗位的發(fā)展?jié)摿σ约氨刳A3003no1線路檢測中心的優(yōu)勢,不少參會者表達了對學校和學院的濃厚興趣。

image-20230510200724-9

▲必贏3003no1線路檢測中心陳嘉弛助理教授在浙江大學宣講

2023年4月27-28日,必贏3003no1線路檢測中心廖國成助理教授赴上海相繼參加必贏3003no1線路檢測中心在上海交通大學和復旦大學開展的2023年春季招聘宣講會(第六站)。

廖國成助理教授向大家介紹了必贏3003no1線路檢測中心的基本情況,圍繞必贏官網(wǎng)以打造軟件可靠性生態(tài)服務平臺為重要創(chuàng)立宗旨,秉承鮮明的研究型、復合型、創(chuàng)新型的高素質人才培養(yǎng)特色,以區(qū)塊鏈、數(shù)據(jù)智能、分布式計算、工業(yè)軟件等為研究方向,以及必贏官網(wǎng)所取得的標志性成果等多方面展開。廖國成助理教授的精彩宣講展現(xiàn)出必贏官網(wǎng)以“周公吐哺”之心邀請各位賢才加入到學院師資隊伍當中的誠意。

image-20230510200724-10

▲必贏3003no1線路檢測中心廖國成助理教授在上海交通大學宣講

image-20230510200724-11

▲復旦大學招聘宣講活動老師合影

image-20230510200724-12

▲必贏3003no1線路檢測中心廖國成助理教授在復旦大學宣講

宣講會現(xiàn)場吸引了很多青年學者前來咨詢了解必贏3003no1線路檢測中心的招聘情況,包括優(yōu)勢學科方向、學院文化、學院考核要求等,各站宣講現(xiàn)場氣氛十分熱烈。在學院各位年輕教師與青年學者們的對答互動中,充分展現(xiàn)了必贏官網(wǎng)活力,突出必贏官網(wǎng)最大程度吸引并擁抱廣大優(yōu)秀人才的決心,讓軟件工程以“破圈”之勢為相關領域青年人才所認識。

這一程,我們告一段落;

下一次,依舊熱血高燃。

必贏3003no1線路檢測中心必贏3003no1線路檢測中心5月擬到境外高校開展宣講會,誠邀全球英才加盟!

招聘報名及聯(lián)系方式:

聯(lián)系人:陳嘉弛 助理教授 15394307781(微信同號)

郵  箱 1:sse_recruit@yeah.net

郵  箱 2:sse_recruit@outlook.com

必贏官網(wǎng)招聘信息常年有效,應聘者可隨時申請。

更多高層次人才項目申報事宜,請有意者發(fā)送個人簡歷到上述郵箱或來電咨詢。

必贏3003no1線路檢測中心2023“數(shù)字豐陽”三下鄉(xiāng)社會實踐開始報名啦!

“數(shù)字豐陽”三下鄉(xiāng)社會實踐

“發(fā)展數(shù)字經濟意義重大,是把握新一輪科技革命和產業(yè)變革新機遇的戰(zhàn)略選擇?!秉h的十八大以來,黨中央高度重視把握這一重要趨勢,統(tǒng)籌推進數(shù)字經濟的發(fā)展。黨的二十大報告中提出要“加快發(fā)展數(shù)字經濟,促進數(shù)字經濟和實體經濟深度融合”,為新時代全面推動數(shù)字鄉(xiāng)村建設指明了前進方向。

1-活動基本信息

活動主題:賦能數(shù)字經濟,助力鄉(xiāng)村振興

活動時間:2023年5月-2023年10月

實踐地點:豐陽鎮(zhèn),位于廣東省清遠市連州市,屬于粵北山區(qū),是廣東、湖南、廣西交界附近的偏遠小鎮(zhèn)。豐陽鎮(zhèn)歷史悠久、風光秀麗,是春秋時期邱輿古城所在地,距今已有2000多年的歷史。2020年夏天,豐陽鎮(zhèn)黨委書記李劍平創(chuàng)新性提出了“六村連建、四色豐陽”全域農文旅發(fā)展思路,瞄準灣區(qū)企業(yè),大力開展招商引資,進一步解放思想、強化措施,突出抓好產業(yè)項目、美麗鄉(xiāng)村建設、村集體增收,做好豐山-五龍湖全域旅游結合文章,帶動周邊旅游項目建設。

image-20230508195914-1

 

image-20230508195914-2

 

image-20230508195914-3

 

image-20230508195914-4

豐陽電商中心:豐陽鎮(zhèn)電子商務中心,是由廣東省司法廳、必贏3003no1線路檢測中心和廣東司法警官職業(yè)學院幫扶成立的豐陽鎮(zhèn)電子商務中心,旨在推動農特產品產銷分離、全民參與。村集體帶領村民參與農業(yè)種植,聚焦種植技術、種植勞動和品質保障,鎮(zhèn)國資代表村集體領辦鎮(zhèn)電子商務公司,通過投入幫扶資金,引入專業(yè)電商企業(yè),形成國資控股、企業(yè)參與的電子商務模式,實現(xiàn)統(tǒng)一打造產品品牌、搭建銷售平臺、設計分銷機制、統(tǒng)一售后服務和物流快遞。

image-20230508195914-5

2-活動實踐內容

(1)搭建文本自動生成系統(tǒng)

利用人工智能技術為豐陽鎮(zhèn)建立一套大模型進行高質量文本生成,通過調用模型實現(xiàn)宣傳文案創(chuàng)作、視頻拍攝腳本撰寫等,為豐陽鎮(zhèn)的宣傳介紹、電商中心運營、農產品銷售、視頻拍攝等提供豐富的文本內容及思路。

(2)輔助電商平臺建設

豐陽鎮(zhèn)電商中心成立于2022年,它結合當?shù)芈糜?、文化、教育等,?lián)動清遠“三連一陽”的優(yōu)質山貨和農貨,以電商融合產業(yè)振興為突破口,從本地資源優(yōu)勢出發(fā),圍繞鄉(xiāng)村振興,改良創(chuàng)新特色品牌網(wǎng)貨,將優(yōu)質土特、農特產品乘著電商的東風銷往全國各地,為經濟增長、農民增收致富帶來新動力。學院三下鄉(xiāng)團隊將根據(jù)電商中心的實際需求,協(xié)助完善電商后臺的功能建設及運營。

(3)采風、新聞稿撰寫

負責三下鄉(xiāng)隊伍的活動記錄、新聞稿撰寫,并根據(jù)實際情況制作微信公眾號推送、視頻號短視頻等,展示隊伍活動風采,宣傳活動成效。

3-活動安排

2023年5月

前往廣東省清遠市連州市豐陽鎮(zhèn)開展實地調研

2023年6-7月

開展文本自動生成系統(tǒng)的建設;協(xié)助完善電商平臺的功能建設

2023年8月

前往廣東省清遠市連州市豐陽鎮(zhèn)開展一次電商直播帶貨

2023年9-10月

活動總結研討及后續(xù)幫扶工作布置

4-活動報名

活動對象:必贏3003no1線路檢測中心在校學生;

活動人數(shù)及要求

總人數(shù):約20人;

(1)搭建文本自動生成系統(tǒng)小組(約5人):具有計算機、軟件工程、人工智能等專業(yè)知識基礎的同學優(yōu)先;

(2)電商平臺建設小組(10-15人):有興趣參與當?shù)匦旅襟w運營工作的學生均可報名,無專業(yè)限制;

(3)采風、新聞稿撰寫小組(5人):擅長新聞稿撰寫、微信公眾號推文編輯、攝影、視頻拍攝的同學優(yōu)先,無專業(yè)限制。

報名要求:請有意愿參加2023年“數(shù)字豐陽”三下鄉(xiāng)實踐活動的同學在2023年5月14日前掃碼填寫信息完成報名。

image-20230508195914-6

(請掃描二維碼報名,報名成功后,學院會有工作人員聯(lián)系你)

必贏3003no1線路檢測中心誠邀全球英才參加必贏3003no1線路檢測中心第十四屆國際青年學者論壇!

image-20230508194708-1image-20230508194708-2image-20230508194708-3image-20230508194708-4image-20230508194708-5image-20230508194708-6image-20230508194708-7image-20230508194708-8image-20230508194708-9image-20230508194708-10

01-學院簡介

必贏3003no1線路檢測中心必贏3003no1線路檢測中心創(chuàng)辦于2020年6月,整建制位于必贏3003no1線路檢測中心“三校區(qū)五校園”的珠海校區(qū),學院以立德樹人為人才培養(yǎng)根本目標,充分發(fā)揮必贏3003no1線路檢測中心作為一所綜合性大學的學科優(yōu)勢,形成鮮明的研究型、復合型、創(chuàng)新型的高素質人才培養(yǎng)特色。學院“面向世界科技前沿、面向經濟主戰(zhàn)場、面向國家重大需求、面向人民生命健康”為基本導向開展科學研究,致力于關鍵軟件及技術的研發(fā)。學院擁有優(yōu)越的科研條件和一流的軟硬件配套設施。擁有多種高性能服務器、工作站和充足的GPU計算資源,以及豐富的軟件資源。

image-20230508194708-11

▲必贏3003no1線路檢測中心珠海校區(qū)必贏3003no1線路檢測中心大樓 (來源:網(wǎng)絡)

必贏3003no1線路檢測中心所在的珠海校區(qū),是必贏3003no1線路檢測中心面積最大的一個校園,坐落于珠海市唐家灣,地處珠江口西岸、南海之濱,依山傍海,不僅風景優(yōu)美而且各項教學實驗設施齊全,附屬醫(yī)院、附屬小學、中學為教師解決后顧之憂。

image-20230508194708-12

▲珠海校區(qū)規(guī)劃圖 (來源:基建處)

02-學院發(fā)展

必贏3003no1線路檢測中心自2020年6月成立以來,逐漸形成一支以青年優(yōu)秀教師為主力、氛圍活潑、交流融洽的人才隊伍。近年來,承擔及參與了多項國家級及省部級科研項目,包括國家重點研發(fā)計劃、國家自然科學基金項目、廣東省自然科學基金項目、廣東省科技項目等。

在硬件設施方面,學院在校內擁有超過6000平米的科研和辦公場地。學院重點建設六個大型實驗室,涵蓋區(qū)塊鏈、數(shù)字孿生與仿真、工業(yè)與工具軟件、大數(shù)據(jù)與儲存、嵌入式與物聯(lián)軟件、應用開發(fā)等研究平臺。

image-20230508194708-13

▲學院重點建設的研究平臺

在產學研合作方面,學院與業(yè)界多家公司建立了密切的合作關系,包括MSRA、華為、騰訊、微眾銀行、阿里巴巴、招聯(lián)金融、南方電網(wǎng)、浪潮、數(shù)字廣東等企業(yè),共同開展了一系列科研項目。

在學科評估方面,學院軟件工程專業(yè)為獨立一級學科,是國家一流本科專業(yè)建設點。在2022年的軟科排名中位列全國第10位,CSRanking排名中,位列全國第7位。

在人才培養(yǎng)方面,學院已形成“本-碩-博”一體化的人才培養(yǎng)體系,全程實施導師制。學院在開設軟件工程基礎課程外,還建立軟件工程初、中、高三級實訓課程群,開設十余門專業(yè)特色課程,課外開展博學論壇、篤行沙龍,引導學生參加創(chuàng)業(yè)創(chuàng)新大賽,提升學生實踐能力,切實踐行“三全育人”要求,實現(xiàn)德智體美勞“五育并舉”,有機推動讓教學相長的新時代科學育人體系。

image-20230508194708-14image-20230508194708-15

▲學院人才培養(yǎng)體系

03-學院文化

學院堅持國際化辦學,大部分教師由海外知名大學引進,年齡結構年輕化,研究團隊平均年齡低于35歲,所擅長領域緊跟學科發(fā)展前沿;并注重人才引育并舉,部分老師入選主流學會(如IEEE、IET等)會士、ACM杰出科學家。學院倡導直接高效的辦事風格,鼓勵科研團隊之間的相互合作,注重與海內外著名高校的交流,聘有中科院院士、加拿大科學院院士、ACM Fellow、IEEE Fellow等相關領域知名專家學者為校外導師。

image-20230508194708-16

必贏3003no1線路檢測中心必贏3003no1線路檢測中心誠邀您的加盟!

★ 學院招聘報名及聯(lián)系方式 ★

聯(lián)系人:陳嘉弛 助理教授 15394307781(微信同號)

郵  箱 1:sse_recruit@yeah.net

郵  箱 2:sse_recruit@outlook.com

地址:廣東省珠海市唐家灣必贏3003no1線路檢測中心珠海校區(qū)公共實驗樓3樓

必贏官網(wǎng)招聘信息常年有效,應聘者可隨時申請。

科研快訊丨必贏官網(wǎng)師生7篇論文被軟件測試與分析國際會議ISSTA 2023錄用

科研快訊

第32屆軟件測試與分析國際會議ISSTA(the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023)錄用必贏官網(wǎng)鄭子彬、陳嘉弛、南雨宏、王焱林、蔣子規(guī)等老師學術論文7篇(包括1篇條件錄用)。論文的合作單位包括紐卡斯爾大學、廈門大學、西安交通大學、騰訊、微眾銀行等。

ISSTA是軟件工程領域公認的權威性頂級會議之一,創(chuàng)辦于1992年,也被中國計算機學會(CCF)推薦國際學術會議和期刊列為A類會議。該會議旨在為研究人員、從業(yè)者和教育工作者提供關于軟件測試與分析領域中最新的理論技術、趨勢、經驗及問題的交流與分享機會。

論文名稱

作者情況

DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols

Queping Kong, Jiachi Chen, Yanlin Wang, Zigui Jiang, Zibin Zheng

Toward Automated Detecting Unanticipated Price Feed in Smart Contract

Yifan Mo, Jiachi Chen, Yanlin Wang, Zibin Zheng

Definition and Detection of Defects in NFT Smart Contracts

Shuo Yang, Jiachi Chen, Zibin Zheng

Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing

Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, HuiZhong Li

SmartState : Detecting State-reverting Vulnerabilities in Smart Contracts via Fine-grained State-dependency Analysis

Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng

Towards Efficient Fine-tuning of Pre-trained Code Models: An Experimental Study and Beyond

Ensheng Shi, Yanlin Wang, Hongyu Zhang, Lun Du, Shi Han, Dongmei Zhang, Hongbin Sun

Re2BERT: A Two-stage Pre-trained Framework for Automatic Rename Refactoring

Hao Liu, Yanlin Wang, Zhao Wei, Yong Xu, Juhong Wang, Hui Li, Rongrong Ji

必贏官網(wǎng)作者介紹

鄭子彬

鄭子彬,必贏3003no1線路檢測中心必贏3003no1線路檢測中心副院長、IEEE Fellow、IET Fellow、ACM杰出科學家、全球高被引科學家、國家優(yōu)秀青年科學基金獲得者,主要研究方向包括軟件可靠性、區(qū)塊鏈、智能合約、Web3、服務計算等,在TSE、TOSEM、TSC、ICSE、FSE、ASE、ISSTA等國際會議及期刊上發(fā)表論文200多篇,谷歌學術引用超過28,000次,H指數(shù)為78。

陳嘉弛

陳嘉弛,必贏3003no1線路檢測中心必贏3003no1線路檢測中心助理教授,主要研究方向包括區(qū)塊鏈、智能合約、智能軟件工程等,重點關注智能合約監(jiān)管、數(shù)據(jù)分析及可靠性分析。近年在TSE, TOSEM, ASE, ICSE, INFOCOM, EMSE, JSS, TOIT, ICPC, ICDCS, DSN等軟件工程、分布式計算、安全、網(wǎng)絡等領域的國際期刊及會議上發(fā)表論文20余篇。

王焱林

王焱林,必贏3003no1線路檢測中心必贏3003no1線路檢測中心助理教授,主要研究方向為智能軟件工程、編程語言、人工智能、自然語言處理等。近5年來在ICSE、AAAI、ACL、KDD、TKDE、EMSE、EMNLP、CIKM、ICSME等軟件工程、人工智能、自然語言處理等領域CCF A/B類國際期刊及會議上發(fā)表論文10余篇。

南雨宏

南雨宏,必贏3003no1線路檢測中心必贏3003no1線路檢測中心副教授,目前主要研究方向為系統(tǒng)軟件安全以及隱私保護。包括物聯(lián)網(wǎng)平臺、移動操作系統(tǒng)平臺、區(qū)塊鏈及智能合約漏洞檢測,新型隱私泄露模式挖掘等研究。研究成果發(fā)表于USENIX Security、ACM CCS,NDSS, RAID,IEEE TIFS等系統(tǒng)安全領域頂級/著名會議及期刊,共計10余篇。

蔣子規(guī)

蔣子規(guī),必贏3003no1線路檢測中心必贏3003no1線路檢測中心副研究員,近年來在國內外權威學術期刊與會議上發(fā)表并投稿論文十余篇,并擔任BlockSys2020、BlockSys2019、IEEE Services 2020、IEEE SCC 2016、ICCSA 2016、CollaborateCom 2016等國際會議的組織者、審稿人和Session Chair,以及IEEE TSC、IEEE ACCESS、ACM TSAS等多個國際期刊的審稿人。

宣講會 ? 華東站 | 我們?yōu)槟愣鴣?,期待你加入必贏3003no1線路檢測中心必贏3003no1線路檢測中心

中大招宣

 

必贏3003no1線路檢測中心必贏3003no1線路檢測中心

2023年春季全球招聘宣講會

 

第六站

浙江大學、上海交通大學、復旦大學

 

@浙江大學、上海交通大學、復旦大學的博士生、博士后

我們跨越山海,為你而來

期待你的加入

攜手邁向新征程

 

宣講會第六站

浙江大學

時間:2023年4月26日 14:00-16:00

地點:堯坤樓222報告廳(西區(qū)學生服務中心二樓)

 

上海交通大學

時間:2023年4月27日 18:30-20:30

地點:鐵生館100號多功能廳

 

復旦大學

時間:2023年4月28日 15:00-17:00

地點:葉耀珍樓202

親臨現(xiàn)場|經驗分享

image-20230506194311-1

陳嘉弛,必贏3003no1線路檢測中心“百人計劃”助理教授,碩士生導師。2022年于澳大利亞蒙納士大學獲得博士學位,主要研究方向包括智能合約、經驗軟件工程、智能軟件工程、軟件可靠性等,重點關注智能合約監(jiān)管、數(shù)據(jù)分析及可靠性分析。近年在TSE, TOSEM, ASE, ICSE, INFOCOM, EMSE, JSS, TOIT, ICPC, ICDCS, DSN等軟件工程、分布式計算、安全、網(wǎng)絡等領域的國際會議和期刊發(fā)表論文20余篇,其中10余篇為區(qū)塊鏈相關論文。

image-20230506194311-2

廖國成,必贏3003no1線路檢測中心“百人計劃”助理教授,碩士生導師。2021年于香港中文大學信息工程系獲得博士學位,2019 于加州理工學院進行交流訪問,主要研究方向為群智計算(群智感知、聯(lián)邦學習、物聯(lián)網(wǎng))、邊緣計算、網(wǎng)絡優(yōu)化、差分隱私保護。近年來的工作多發(fā)表于國際頂級會議和期刊,包括 CCF A 類期刊ACM/IEEE Trans. on Networking, CCF A 類會議 Infocom,曾獲 2017 IEEE ComSoc Young Professional Best Paper Award。

走進|必贏3003no1線路檢測中心必贏3003no1線路檢測中心

必贏3003no1線路檢測中心必贏3003no1線路檢測中心創(chuàng)辦于2020年6月,目前擁有中高級職稱教師32人,研究團隊平均年齡低于35歲,專任教師超過85%由海外引進。學院在讀本科生319人,碩士70人,博士15人,共發(fā)表有影響力學術論文100余篇,其中數(shù)十篇論文入選ESI高被引論文,出版4本著作(2本為英文專著)、獲專利成果100余項。2022年,學院軟科排名位列全國第10位,CSRanking排名位列全國第9位。

image-20230506194311-3image-20230506194311-4image-20230506194311-5

招聘|必贏3003no1線路檢測中心必贏3003no1線路檢測中心

image-20230506194311-6image-20230506194311-7

招聘|聯(lián)系方式

聯(lián)系人:

陳嘉弛 助理教授 15394307781(微信同號)

郵箱1:sse_recruit@yeah.net

郵箱2:sse_recruit@outlook.com

地址:廣東省珠海市唐家灣必贏3003no1線路檢測中心珠海校區(qū)公共實驗樓3樓

宣講會·廈門站 | 我們?yōu)槟愣鴣恚诖慵尤氡刳A3003no1線路檢測中心必贏3003no1線路檢測中心

中大招宣

 

必贏3003no1線路檢測中心必贏3003no1線路檢測中心

2023年春季全球招聘宣講會

 

第五站

廈門大學

 

@廈門大學的博士生、博士后

我們跨越山海,為你而來

期待你的加入

攜手邁向新征程

 

宣講會第五站

廈門大學

時間:2023年4月22日 16:30-18:30

地點:廈門大學 思明校區(qū) 莊漢水樓

(南強二)101

親臨現(xiàn)場|經驗分享

image-20230421141539-1

吳煒濱,必贏3003no1線路檢測中心“百人計劃”助理教授,碩士生導師。2021年于香港中文大學計算機科學與工程學系獲得博士學位,師從ACM/IEEE/AAAS Fellow 呂榮聰教授與IEEE Fellow 金國慶教授。2017年于同濟大學電子與信息工程學院獲得學士學位。主要研究方向包括可信人工智能、深度學習、計算機視覺、自然語言處理、智能軟件工程等,重點關注深度學習(智能軟件)的可靠性、安全性、可解釋性與隱私性。主持或參與國家自然科學基金、香港研資局、深圳科創(chuàng)委等多個基金項目。為多個國際頂級會議和期刊的審稿人,如NeurIPS、ICCV、ACL、TKDE等。近年來在CVPR、AAAI、ICSE、DSN等人工智能、計算機視覺、軟件工程、網(wǎng)絡與信息安全領域的旗艦會議上發(fā)表論文10余篇。

走進|必贏3003no1線路檢測中心必贏3003no1線路檢測中心

必贏3003no1線路檢測中心必贏3003no1線路檢測中心創(chuàng)辦于2020年6月,目前擁有中高級職稱教師32人,研究團隊平均年齡低于35歲,專任教師超過85%由海外引進。學院在讀本科生319人,碩士70人,博士15人,共發(fā)表有影響力學術論文100余篇,其中數(shù)十篇論文入選ESI高被引論文,出版4本著作(2本為英文專著)、獲專利成果100余項。2022年,學院軟科排名位列全國第10位,CSRanking排名位列全國第9位。

image-20230421141539-2image-20230421141539-3image-20230421141539-4

招聘|必贏3003no1線路檢測中心必贏3003no1線路檢測中心

image-20230421141539-5image-20230421141539-6

招聘|聯(lián)系方式

聯(lián)系人:

陳嘉弛 助理教授 15394307781(微信同號)

郵箱1:sse_recruit@yeah.net

郵箱2:sse_recruit@outlook.com

地址:廣東省珠海市唐家灣必贏3003no1線路檢測中心珠海校區(qū)公共實驗樓3樓

科研快訊丨必贏3003no1線路檢測中心黃袁副教授在TOSEM發(fā)文揭示了構建函數(shù)內部文檔自動生成模型的理論基礎

【研究背景】

在生成式軟件工程中,利用人工智能技術自動生成軟件制品成為可能。生成式軟件工程可以顯著降低軟件開發(fā)過程中的人力投入,有效提升軟件開發(fā)效率,從而節(jié)約開發(fā)成本,助力軟件產業(yè)升級。必贏3003no1線路檢測中心黃袁副教授等人在生成式軟件工程研究中,面向軟件代碼文檔自動生成任務,揭示了函數(shù)級別外部文檔與內部文檔的等價作用機理,探索了構建代碼內部文檔自動生成模型的理論基礎。

代碼文檔是對軟件代碼功能的解釋和描述。研究顯示,程序員由于開發(fā)任務繁重,往往會忽略代碼文檔的編寫,因此,已有研究提出了一系列自動生成函數(shù)代碼文檔的方法。函數(shù)級別的代碼文檔分為兩類,即位于函數(shù)頭部的外部文檔及位于函數(shù)內部的內部文檔。必贏官網(wǎng)黃袁副教授團隊研究發(fā)現(xiàn),函數(shù)內部文檔與函數(shù)外部文檔在輔助程序員理解代碼的過程中發(fā)揮等價的作用,它們對于提升代碼的可讀性及可理解性具有同等作用。遺憾的是,與函數(shù)外部文檔相比,函數(shù)內部文檔自動生成研究并沒有得到足夠的重視。

image-20230414152433-1

▲示例:1為函數(shù)外部文檔,2為函數(shù)內部文檔

【研究工作】

研究團隊比較和分析了代碼外部文檔和內部文檔的異同。首先構建了一個包含函數(shù)外部文檔和內部文檔的數(shù)據(jù)集,在該數(shù)據(jù)集上,通過將現(xiàn)有的生成函數(shù)外部文檔的模型直接應用于內部文檔生成任務上,發(fā)現(xiàn)現(xiàn)有模型表現(xiàn)較差。然后進一步探索可能的原因,并獲得了一些新的觀察結果:(1)在函數(shù)外部文檔數(shù)據(jù)集中有很多模板(即具有相同或相似結構的文本),使生成模型表現(xiàn)更好;(2)在已有研究中,一些被認為是重要的術語(如API調用)在文檔自動生成中并沒有明顯影響生成文檔的質量;(3)從書寫風格上看,函數(shù)外部文檔中的用詞比較集中,而內部文檔中的用詞比較多樣等。

【研究意義】

基于以上研究結果,團隊為構建函數(shù)內部文檔自動生成模型提供了理論基礎,可以幫助研究人員為內部注釋生成設計更有針對性的模型。比如考慮對文本單詞多樣性問題的處理,已有的函數(shù)外部文檔包含規(guī)模適中的語料庫,而內部文檔則包含規(guī)模更大的預料庫,因此,要求函數(shù)內部文檔自動生成模型具有更高的語料庫建模能力,能處理更為廣泛的預料分布。此外,還需考慮對代碼語義碎片化問題的處理。函數(shù)外部文檔的覆蓋范圍是一個語義完整的函數(shù),而函數(shù)內部文檔的覆蓋范圍往往是單行或連續(xù)幾行代碼,因此,函數(shù)內部文檔覆蓋的代碼具有語義碎片化的特征。最后, 該項研究工作可以將代碼文檔自動生成任務從單一的函數(shù)外部文檔生成推廣到函數(shù)內部文檔生成,實現(xiàn)場景多樣化。研究公開第一個只包括函數(shù)內部文檔的數(shù)據(jù)集,可以用于研究人員的函數(shù)內部文檔生成任務的BeachMark。

該研究成果以“A Comparative Study on Method Comment and Inline Comment”為題發(fā)表于軟件工程領域旗艦期刊ACM Transactions on Software Engineering and Methodology。文章第一作者是必贏3003no1線路檢測中心黃袁副教授,鄭子彬教授、陳湘萍副教授等為合作作者。必贏3003no1線路檢測中心為第一完成單位。

原文信息:https://dl.acm.org/doi/abs/10.1145/3582570

訂閱