2016年6月27日到7月1日，由bet188app 承辦的龍星計劃“軟件可靠性與調試”研究生暑期課程在我校成功舉辦。來自188金宝慱体育版 、北京大學、清華大學、國防科大、華中科大、西安交大、北京交通大學、中科院軟件所、華東師大、東南大學、合肥工大、哈爾濱工程大學、電子工程學院、安徽大學等150多名學員參加了課程學習，主講教師是美國芝加哥大學計算機科學係盧山副教授。
“龍星計劃”是由中國科學院和國家自然科學基金委員會資助，麵向全國高校和科研院所的教師和研究生的高水平學術培訓活動。“龍星計劃”每年組織一批在國際學術界著名的海外學者不定期回國就某一領域在中國各地大學係統地講授一門國外研究生課程（每門課程15-30課時），對提高我國科研水平和培養優秀人才起到了重要作用。本次課程同時也作為188金宝慱体育版 “程序設計語言和係統前沿”本科生夏季課程，供校內本科生和研究生選修。
計算機學院作為此次“龍星計劃”課程的承辦方，將課程主題選取為“軟件可靠性與調試”。現代社會日益依賴於用各種各樣的軟件來處理大量數據的各種計算設備，而軟件缺陷（即bugs）對係統的可靠性和效率提出了前所未有的挑戰。最近的研究表明，軟件缺陷每年會導致大約3000億美元的經濟損失。軟件可靠性已成為關乎國家安全和民生的非常重要的研究領域。本次課程邀請到美國芝加哥大學計算機科學係盧山副教授作為授課專家，課程內容圍繞軟件可靠性問題展開，重點介紹對多線程和分布式係統中與時序有關的缺陷（如並發）、導致低效計算和耗能的性能缺陷等的識別、分析和處理。
盧山老師2003年本科畢業於中國科學技術大學，是郭沫若獎學金的獲得者；2008年博士畢業於伊利諾大學香檳分校，2009年到2014年任威斯康星大學麥迪遜分校助理教授，2014年起任芝加哥大學副教授。她長期研究軟件係統的穩定性，致力於自動檢測程序錯誤、自動分析程序問題以及自動修複程序的研究。盧山老師現任ACM-SIGOPS副主席，曾任USENIX 2015年會主席，並曾獲得2014年度北美斯隆研究獎、2013年度伊利諾大學計算機係傑出青年校友獎、2010年度美國自然科學基金青年科學家獎。
作為本次課程主題的國際知名專家，盧山老師在為期5天的課程中結合自己10餘年來的研究工作經曆，從收集、分析和理解開源代碼庫中與bugs有關的日誌和補丁包出發，分析總結各種故障模式（bug patterns）及其特征；然後介紹解決這些bugs的軟件可靠性技術，包括自動的bugs檢測、故障預防、故障恢複、故障診斷和bug修複技術等。盧山老師對這些問題和技術深入淺出地講解，讓學員們對這個領域有了整體的了解。整個課程貫穿了盧山老師對她在研究工作中如何發現問題、產生ideas、選擇有價值的研究點、研究方法、分析評估取得的結果等的經驗介紹。詳細的講解使得學員們對如何做科研、如何發現有價值的研究點等有了極大的啟發和收獲。
課堂之外，盧山老師還在百忙之中抽出時間與學員們做交流。6月27日下午，盧山老師與來自各地的師生們進行了近2小時的深入交流。學員們分享了各自所做的研究，盧山老師則依據自己廣博的知識和深厚的積累，給學員們提出她自己的看法。大家一起交流研究的方向與方法，進行熱烈的討論，碰撞出智慧的火花。
7月1日中午，龍星計劃課程在學員們熱烈的掌聲中落下帷幕，取得圓滿成功。在課程快結束的時候，盧老師應邀分享了自己的學習科研經曆與體會。盧山老師談到，她本人善於考試但不擅長編程，在研究初期也曾經曆論文被多次拒稿的打擊。麵對挫折，她更多的是深入思考工作的不足之處和改進辦法，不斷總結經驗教訓。由於勤於思考、刻苦鑽研，善於從現實世界的實際問題中選擇研究問題，主動與眾多學術界和工業界人士交流和合作，不斷開拓新的研究思路，近年來她在ASPLAS、SOSP、OSDI、PLDI或FSE等計算機係統、程序設計語言、軟件工程等領域的頂級國際學術會議上連續發表大量高水平研究成果。
本次龍星計劃課程受到了學員們的普遍好評。在收集到的課程問卷調查表中，學員們對課程講授和組織的評價普遍為“特優”或“優”。有學員寫道：“對相關領域知識有了進一步了解，對並行軟件調試有了更深的認識。同時借助此平台，也與同行進行了一定交流，收獲頗多”、“鑒於龍星課程的背景，希望未來課程能夠多講授科學前沿知識。一方麵可以提高聽課學生的興趣，另一方麵也可以吸引同行加入，提高龍星的知名度。在過去五年裏，我參加過多次龍星課程，本次課程已非常成功，感謝課程組織者”。我校一位2013級本科生學員寫道：“學習了編譯原理、多線程魯棒性和人工、自動調試的知識，從較為通俗的角度講解計算機相關的知識，收獲頗豐”、“邀請到頗具實力的教授來授課，有全國各地的學生一起上課，開闊了視野、增長了見識”。
附：
188金宝慱体育版 研究生網絡課堂，《龍星課程-軟件可靠性與調試》視頻鏈接：
