2023 CCF中國軟件大會(CCF ChinaSoft) “程序語義深度理解前沿進展”論壇成功召開...

2023年12月2日,2023年度CCF中國軟件大會軟件程序語義深度理解前沿進展論壇成功召開。

本次論壇由南京大學卜磊老師和國防科技大學陳振邦老師主持,計算機研究與發展期刊代表侯麗珊老師致辭,旨在反映程序語義理解及其應用相關研究前沿進展與實踐,并推動國內相關研究向深度發展。論壇邀請了來自清華大學、南京大學、國防科技大學、電子科技大學和航天科技集團的相關領域學者作為論壇嘉賓,主要關注抽象解釋、靜態分析、符號執行等相關技術的最新進展。此外,論壇還邀請了中國科學院大學張健教授做題為“程序分析與測試數據生成”的特邀報告。本次論壇得到了學術界和工業界相關領域研究者的廣泛參與,座無虛席。

9b573e607372263bcd65cd632ef19c1b.jpeg

???+

ad1893990db749d86ff57dbe229a4d98.png

8882ba022ce51aaa0b80d19b3cd98640.png

512c671954652d8bb94539f158dae4ff.png

本次論壇分兩個階段舉行。論壇第一階段由南京大學卜磊老師主持,包括一個特邀報告和2篇論文報告,并在每位論壇嘉賓報告結束后為其頒發證書。首先是由中國科學院大學張健教授的題為“程序分析與測試數據生成”的精彩主題報告。張健老師首先介紹了自動推理和邏輯公式可滿足性的內容,并講述了自己在不同描述語言下的約束滿足問題以及模型計數等領域的研究,其次講述了程序分析和測試的相關內容,并講述了自己在符號執行、靜態分析以及程序性能估算等方面的前瞻性研究,最后張老師對程序分析的相關技術作出總結并提出了自己的感想和思考,表示程序分析大有可為。接下來由國防科技大學陳立前老師做題為“抽象解釋及其應用進展研究”的報告,主要闡述抽象解釋理論的概述和發展、基于抽象解釋的程序分析、基于抽象解釋的可信人工智能以及對未來研究方向的展望等內容。最后是由南京大學譚添老師做題為“Java指針分析:上下文敏感技術的發展”的報告,通過相關例子呈現了針對java程序的指針分析過程,并呈現了指針分析中上下文敏感可擴展性差的問題,提出在指針流圖上通過三種模式消除指向圖上指向匯合點的邊并額外添加指向分叉點的邊的方式,達到不使用上下文也能達到上下文敏感的效果。

d2d1af70d95a67854640c726d06dcf03.png

96546395d9a77b985f60b67d539ea243.png

c0a45f1d758906f86e7201600a35ab9e.png

論壇第二階段由國防科技大學陳振邦老師主持。首先由清華大學的王明哲系統性地介紹了模糊測試中典型的靜態插樁方法,并對靜態插樁的優化方向進行展望。隨后來自電子科技大學的宋書瑋介紹智能合約中Gas優化面臨的主要挑戰,并回顧基于預先定義的Pattern等智能合約優化方法,最后總結了智能合約可擴展性的未來研究方向。隨后來自航天科技集團502所的李超介紹了原子性違反的缺陷檢測技術,通過路徑不敏感的數據流分析進行訪問交錯模式的匹配,后續通過收集路徑約束裁剪不可行路徑,最后對中斷驅動型程序靜態分析框架等進行展望。最后是來自南京大學的周彭介紹基于多線程并行的符號執行引擎設計與實現,線程間通過竊取實現負載均衡,并共享基于反例約束求解的約束緩存,提高了符號執行的效率。最后論壇圓滿結束。

51649e8c510088dc082fcfbe83407a25.png

c738212a35e9ee021696b10f82de5a92.png

f515a4cb2c7d07671b5d029c9e2ea3b1.png

f478ab6da1e3b12538b64eab121fd132.png

6d69dd92cf6697c7d674c51068fe4d6f.jpeg

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/news/213123.shtml
繁體地址,請注明出處:http://hk.pswp.cn/news/213123.shtml
英文地址,請注明出處:http://en.pswp.cn/news/213123.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

Vue之模板語法

模板語法有兩大類&#xff1a; 1.插值語法 2.指令語法 讓我為大家介紹一下吧&#xff01; 一、插值語法 功能:用于解析標簽體內容。 寫法: {{xxx}}&#xff0c;xxx是js表達式&#xff0c;且可以直接讀取到data中的所有屬性。 舉個例子&#xff1a; <!DOCTYPE html> &l…

探索未來新趨勢:鴻蒙系統的嶄新時代

探索未來新趨勢&#xff1a;鴻蒙系統的嶄新時代 隨著科技的不斷發展&#xff0c;操作系統作為計算機和移動設備的核心&#xff0c;扮演著至關重要的角色。近年來&#xff0c;一種備受矚目的操作系統——鴻蒙系統&#xff08;HarmonyOS&#xff09;嶄露頭角&#xff0c;正引領著…

uniapp 微信小程序請求攔截器 接口封裝

前言&#xff1a; 請求攔截器可以在我們需要傳遞請求頭的時候使用&#xff0c;例如&#xff1a;token 也會在當token發生變化的時候給予響應&#xff0c;所以我們做好對應的判斷即可 話不多說&#xff0c;直接進入正題&#xff1a; 1.首先在根目錄創建common文件夾&#xff0c…

Selenium 中并行測試的重要性!

隨著技術的進步&#xff0c;測試解決方案變得更具可擴展性&#xff0c;加速了團隊從手動測試到Selenium測試自動化的轉型。但是成年人的世界&#xff0c;沒有什么是容易的。對于許多團隊來說&#xff0c;并行運行多個測試仍然是不可擴展的。他們傾向于遵循傳統的順序執行測試方…

MIT6.5840-2023-Lab2A: Raft-leader election

前置知識 什么是一致性算法&#xff1f; 安全性保證&#xff0c;絕對不會返回一個錯誤的結果&#xff1b;可用性&#xff0c;容忍集群部分節點失敗&#xff1b;不依賴時序來保證一致性&#xff1b;一條指令可以盡可能快的在集群中大多數節點響應一輪遠程過程調用時完成。小部分…

uniapp實戰 —— 可滾動區域 scroll-view (自適配高度,下拉刷新)

自適配高度 自定義的頂部導航欄&#xff0c;可參考博文 https://blog.csdn.net/weixin_41192489/article/details/134852124 如圖可見&#xff0c;在頁面滾動過程中&#xff0c;頂部導航欄和底欄未動&#xff0c;僅中間的內容區域可滾動。 整個頁面的高度設置為 100%&#xf…

鴻蒙開發—學習聲明式UI

基本UI描述 ArkTS通過裝飾器Component和Entry裝飾struct關鍵字聲明的數據結構&#xff0c;構成一個自定義組件。自定義組件中提供了一個build函數&#xff0c;開發者需在該函數內以鏈式調用的方式進行基本的UI描述&#xff0c;UI描述的方法請參考UI描述規范。 基本概念 stru…

GZ029 智能電子產品設計與開發賽題第4套

2023年全國職業院校技能大賽高職組 “GZ029智能電子產品設計與開發”賽項賽卷四 題目&#xff1a;模擬工業傳送帶物品檢測系統的設計與開發 1 競賽任務 在智能電視機上播放工業傳送帶傳輸物品視頻&#xff0c;模擬工業傳送帶物品檢測系統&#xff08;以下簡稱物品檢測系統&…

DALI1.0學習——BIT解碼

最近在學習DALI調光相關知識并下載了Microchip提供的基于ATMega88PA的軟件工程及硬件設計參考方案。寫這些文章的目的就是把自己對知識的理解作一些梳理。 芯片廠果然專業&#xff0c;考慮得相當周到&#xff0c;為了芯片銷量連軟件和硬件方案全都提供了。芯片廠關于DALI1.0實…

【unity小技巧】實現槍武器隨鏡頭手臂搖擺效果

文章目錄 前言方法一、改變武器位置方法二、改變武器旋轉結語完結 前言 如果我們視角移動轉向&#xff0c;武器如果不跟著進行搖擺&#xff0c;會感覺我們的動作很生硬&#xff0c;特別是射擊類游戲&#xff0c;如下 實現武器搖擺這里主要分享兩種實現方法&#xff0c;一種是…

xtu oj 1271 color

題目描述 Alice在玩一個游戲&#xff0c;她在一個mn的格子里&#xff0c;隨機涂黑k個格子。然后她每次可以把一行或者一列的格子染成紅色&#xff0c;但是這一行中不能有黑色的格子。 請問她最多能把多少個格子涂成紅色&#xff1f; 輸入 第一行是一個整數T(T≤100)&#xf…

華為OD機試 - 數的分解(Java JS Python C)

題目描述 給定一個正整數 n,如果能夠分解為 m(m > 1)個連續正整數之和,請輸出所有分解中,m最小的分解。 如果給定整數無法分解為連續正整數,則輸出字符串"N"。 輸入描述 輸入數據為一整數,范圍為 (1, 2^30] 輸出描述 比如輸入為: 21 輸出: 21=10+11 …

SSD數據在寫入NAND之前為何要隨機化?-Part1

SSD的存儲介質是什么&#xff0c;它就是NAND閃存。那你知道NAND閃存是怎么工作的嗎&#xff1f;其實&#xff0c;它就是由很多個晶體管組成的。這些晶體管里面存儲著電荷&#xff0c;代表著我們的二進制數據&#xff0c;要么是“0”&#xff0c;要么是“1”。NAND閃存原理上是一…

唯創知音WT588F02B語音芯片在電子針療儀中的聲音播放提示應用

在醫療技術領域&#xff0c;電子針療儀作為一種非侵入性的治療設備&#xff0c;被廣泛應用于各種疼痛管理和康復治療。然而&#xff0c;操作電子針療儀需要一定的專業知識和經驗&#xff0c;以確保安全有效的治療。為了解決這一難題&#xff0c;唯創知音WT588F02B語音芯片被應用…

0基礎學java-day14-(集合)

一、集合 前面我們保存多個數據使用的是數組&#xff0c;那么數組有不足的地方&#xff0c;我們分析一下 1.數組 2 集合 數據類型也可以不一樣 3.集合的框架體系 Java 的集合類很多&#xff0c;主要分為兩大類&#xff0c;如圖 &#xff1a;[背下來] package com.hspedu.c…

設計模式之GoF23介紹

深入探討設計模式&#xff1a;構建可維護、可擴展的軟件架構 一、設計模式的背景1.1 什么是設計模式1.2 設計模式的歷史 二、設計模式的分類2.1 創建型模式2.2 結構型模式2.3 行為型模式 三、七大設計原則四、設計模式關系結論 :rocket: :rocket: :rocket: 在軟件開發領域&…

算法:爬樓梯(迭代和動態規劃)

迭代 時間復雜度 O(n) 空間復雜度 O(1) /*** param {number} n* return {number}*/ var climbStairs function(n) {let l 0, r 0 , sum 1for(let i1; i<n; i){l rr sumsum l r}return sum }; 動態規劃 時間復雜度 O(n) 空間復雜度 O(n) /*** param {number} n* r…

Memcached學習

一、概念 Memcached是一個開源的&#xff0c;高性能的內存緩存軟件&#xff0c;從名稱上看Mem就是內存&#xff0c;二cache是緩存。作用通過在事先規劃好的內存空間中臨時緩存數據庫中的各類數據&#xff0c;以達到減少業務對數據庫的直接高并發訪問&#xff0c;從而達到提升數…

【密碼學基礎】Diffie-Hellman密鑰交換協議

DH介紹 Diffie-Hellman密鑰協議算法是一種確保共享密鑰安全穿越不安全網絡的方法。 這個機制的巧妙在于需要安全通信的雙方可以用這個方法確定對稱密鑰&#xff0c;然后可以用這個密鑰進行加密和解密。 但是注意&#xff0c;這個密鑰交換協議 只能用于密鑰的交換&#xff0c;而…

Java面試題(每天10題)-------連載(45)

Dubbo篇 1、Dubbo的服務調用流程 2、Dubbo支持那種協議&#xff0c;每種協議的應用場景&#xff0c;優缺點&#xff1f; dubbo&#xff1a; 單一長連接和 NIO 異步通訊&#xff0c;適合大并發小數據量的服務調用&#xff0c;以及消費者遠大于提供者。傳輸協議 TCP&#xff0c;…