会议手册

2019.12.20-21

虞城大酒店

常熟，苏州，江苏

会议介绍

计算机软件专委会学术年会简介

为促进我省软件技术与产业的协同发展，江苏省计算机学会定于2019年12月20-21日在常熟举办软件专委会学术年会。本次会议为我们共同研讨在软件领域的最新研究成果、学科建设与发展、优秀青年教师和教学研讨提供交流平台。

会议由江苏省计算机学会计算机软件专业委员会主办，常熟理工学院计算机科学与工程学院承办，江苏省软件新技术与产业化协同创新中心等协办。诚邀中国计算机学会会员、江苏省计算机学会会员、江苏省计算机学会计算机软件专业委员会委员、广大科技工作者、计算机领域研究生踊跃报名参会。

计算机软件专委会工作年会简介

12月20日晚8:00-9:30召开专委会工作会议，专委会年度工作总结、下一年工作计划、换届改选等事宜。请专委会的委员务必出席本次学术年会并参加专委会委员会议，特殊情况缺席会议，请提前向专委会秘书长请假。尚未成为软件专委会委员的省计算机学会会员，若希望增补为软件专委会委员，请将委员申请表（见手册最后一页）提交到邮件 jscs@nju.edu.cn 并抄送 bulei@nju.edu.cn。

新申请委员本人必须参加本次会议。

会议时间与地点

时间：2019年12月20-21日

地点：常熟虞城大酒店

地址：江苏省苏州市常熟市海虞南路66号

会议注册

1. 注册时间：2019年12月15日前

2. 注册费：

u  学生400元/人

u  江苏省计算机学会计算机软件专委会委员600元/人

u  中国计算机学会会员、江苏省计算机学会会员 800元/人

u  其他人员1000元/人

3. 注册方式：

请访问网址https://www.wjx.top/jq/49537482.aspx

4. 付款方式：

（1）现场刷卡、微信、支付宝

（2）银行转账，账户信息如下:

单位名称:江苏省计算机学会

银行账号:4301011109002000471

开户行:工商银行南京大方巷支行

12月15日之前转账，会上领纸质发票，当场付费则会后收电子发票。

5. 交通、食宿自理。

6. 联系人：

     江苏省计算机学会 朱中之，jscs@nju.edu.cn，15365191266

     常熟理工学院 董瑞志，ruizhi.dong@cslg.edu.cn，18601435061

7. 报到时间：2019年12月20日14:00-20:00

学科发展报告

王戟：人机物融合时代的软件

报告简介：

本报告将简要介绍软件学科发展战略研究的新近进展。该研究在回顾软件学科发展历程的基础上，剖析学科发展规律，梳理了软件学科内涵和主要架构；面向未来人机物融合世界对软件技术的重大需求，归纳了软件方法学面临的若干变化，分析学科发展的新生长点和新趋势。希望研究成果对于构建新的软件技术体系、形成软件学科的发展战略提供重要支撑。

个人简介：

王戟，国防科技大学教授，国家杰出青年基金获得者，教育部长江学者特聘教授。中国计算机学会理事，中国计算机学会形式化方法专业委员会候任主任。主要从事可信软件、智能软件、新型软件技术和系统的研究。

学科前沿论坛

黄罡：人机物融合泛在系统软件研究与实践

报告简介：

新一代信息技术推动人机物三元融合发展，泛在化、社会化、场景化、智能化等新型应用形态与模式，蕴含了“人机物资源随需即用”的重大技术需求，提出了云、网、端软硬件及数据和服务资源多维可编程、动态可协同、 按需可融合等重大科学问题与技术挑战。在国家重点研发计划的支持下，北京大学负责的“人机物融合的云计算架构及平台”项目组通过软件定义及云计算管理架构和服务模式，融合人机物三元空间中云、网、端的软硬件及数据和服务资源，系统化突破新型软件定义方法与技术、新型资源协同模型与机制、信息资源自然化建模方法与技术等共性关键技术，实现全栈全网信息资源及其对应的自然资源可编程使用。

个人简介：

黄罡，北京大学博雅特聘教授，人工智能研究院副院长，软件工程研究所副所长，操作系统研究中心主任。主要研究软件自适应理论及其支撑网络化系统软件构造方法、运行机理和演化机制等关键技术，在企业计算、 云计算和泛在计算的系统软件关键共性技术方面取得了创造性的科技成就，获2018年国家技术发明一等奖、2015年高等学校科技进步一等奖、2012年国家自然科学二等奖、2008年国家技术发明一等奖及十余次国际会议和期刊最佳/优秀论文荣誉， 入选国家万人计划科技创新领军人才、国家杰出青年科学基金、教育部新世纪优秀人才支持计划、北京高等学校卓越青年科学家计划。

杨子江：区块链智能合约测试与监管

报告简介：

   区块链作为一个去中心化的分布式数据库，随着比特币的热度而被迅速推广。而随着在区块链之上的智能合约的功能，区块链的应用领域超出了简单的数字货币交易。 由于智能合约的能够在一个不信任的环境下以代码逻辑建立可以彼此信任的结果，其应用前景可以触及到各行各业。 但是，区块链的大面积普及有两个问题需要解决。首先是智能合约的安全可靠。智能合约是图灵完备语言做写，因此难以分析并保障其正确性。 有错误及安全漏洞的智能合约将从根本上动摇区块链可信的初衷。而且由于智能合约一旦发布无法打补丁，一旦有错误将会导致严重后果。 因此，智能合约的正确性尤其重要。我们将借鉴传统软件测试技术中行之有效的方法，诸如模糊测试，符号执行等，同时结合智能合约本身的特点，有效的排查智能合约的漏洞。 第二个问题是因为区块链的热潮，大量以盈利为目的劣质项目充斥市场，造成监管的困难。我们将从软件质量分析的角度，来探讨如何利用技术有效发现并预警不合规的区块链项目。

个人简介：

杨子江分别获得美国University of Pennsylvania博士，美国Rice University硕士，中国科技大学学士。 曾于美国贝尔实验室实习，任职于NEC美国研究院负责芯片设计质量保障，之后为美国西密歇根大学助教授、副教授及教授。学术论文近百篇，其中约三分之一发表于FSE, ICSE, TSE、CAV、Micro、ISCA等中国计算机协会推荐的A级会议和期刊，拥有十项美国专利。获得ACM SIGSOFT杰出论文奖，ACM TODAES最佳期刊论文奖，谷歌计算机Engagement等奖项。

杨子江19年创办深信科创信息技术有限公司，专注于区块链及人工智能安全与质量保障。首席科学家Moshe Vardi院士为美国科学院、工程院、欧洲科学院等五院院士。公司获姚期智院士出资孵化。同时兼任清华大学交叉信息核心技术研究院可信人工智能创新中心主任、西安交大讲座教授及南大华智中心研究员。

青年学者沙龙

李樾：基础程序分析的几件小事

报告简介：

基础程序分析为程序分析的应用（如错误和安全漏洞检测、编译优化、程序调试等）提供关于程序控制流和数据流的一系列基础信息，如编程语言特性的处理， 函数调用图的建立，程序变量的指向关系等。因其重要性，基础程序分析技术一直受到学术界（各程序设计语言相关会议和期刊）和工业界（Google、Oracle、IBM、Microsoft等企业的软件分析团队）的青睐。 在这次报告中，报告人将根据其科研经历，为大家讲述他在“基础程序分析”江湖漂泊的两件小事：初来乍到之编程语言动态特性分析；华山论剑之指针/指向/别名分析。

个人简介：

李樾，南京大学计算机科学与技术系副教授。2016年博士毕业于澳大利亚新南威尔士大学，之后先后在新南威尔士大学和丹麦奥胡斯大学从事博士后研究工作。研究方向为程序设计语言与程序分析， 以第一作者（或共同一作）身份在程序设计语言相关会议和期刊，如PLDI、OOPSLA、ECOOP、SAS、FSE、TOSEM等发表文章。曾获ECOOP 2016 杰出论文奖，CGO 2013最佳论文奖和ISSRE 2017最佳论文提名。 曾担任POPL、OOPSLA、ECOOP、TOPLAS等会议和期刊审稿人。

孙小兵：软件数据解析实践初探：从数据驱动到知识驱动

报告简介：

随着软件工程的不断发展，软件数据积累越来越多。无论学术界、还是工业界，都希望通过软件数据解析，从软件数据中获得有用的信息，进而抽取有用知识，辅助实现不同受众对软件开发和维护的不同诉求。本研究组在软件数据解析方面也开展了一些研究和实践，从开始的数据驱动的软件仓库挖掘到目前知识驱动的缺陷智能化修复。本次报告将和大家分享并探讨近年来本研究组在软件数据解析研究方面的一些初步实践。

个人简介：

孙小兵，博士，副教授，扬州大学信息工程（人工智能）学院副院长。研究兴趣包括软件数据分析学、软件智能化开发与维护等。2012年毕业于东南大学计算机科学与工程学院。2015-2018年复旦大学软件工程博士后，2014-2015年新加坡管理大学访问学者，2018-2019年香港科技大学访问学者。入选江苏省“333”工程中青年科学技术带头人，江苏省“六大人才高峰”高层次人才计划，江苏省高校“青蓝工程”培养对象，获得江苏省计算机学会青年科技奖等；研究成果获教育部自然科学二等奖、中国商业联合会科学技术奖三等奖、中国产学研合作创新成果优秀奖、扬州市科学技术奖一等奖等。主持国家自然科学基金面上、青年项目，中国博士后科学基金面上项目等；所指导学生获江苏省优秀专业学位硕士学位论文1篇、江苏省优秀毕业设计二等奖2个。担任JSS等期刊客座编辑，智能化缺陷修复(IBF)研讨会发起人之一。先后在STVR、JSS、IST、SCIS、软件学报等国内外期刊，以及ICSE、ASE、ICSME、SANER、ICPC等国际会议上发表论文80余篇；发明专利授权20余件。更多信息参见https://risame.github.io/sun/。

陈锦富：基于自适应随机测试的面向对象软件测试方法研究

报告简介：

当前在诸多的面向对象软件测试方法中，基于随机测试（Random Testing，RT）的测试方法最为简单易用，被广泛应用于面向对象软件（Object Oriented Software，OOS）的测试中。但是，现有的基于RT的测试方法的测试效率及效果不理想。近年来本研究团队基于自适应随机测试（Adaptive Random Testing，ART）（一种改进的RT方法）对OOS进行了测试及相关研究。首先介绍一种针对面向对象软件中测试输入的差异性度量机制OMISS，OMISS（Object and Method Invocation Sequence Similarity） 用于计算包含一个对象集合和一个方法调用序列的测试用例之间的距离，定义了面向对象软件中的测试输入、对象集、方法序列集、对象实例及数据类型等差异性度量公式；其次介绍一种线性的基于OMISS的ART测试算法，该算法将所有已执行测试用例信息保存成一个整体， 并将候选用例与已执行测试用例集合间的一对多的计算，转变为一对一的计算，从而降低算法的时间开销；最后介绍基于聚类技术的面向对象软件测试用例生成方法，该方法弥补了传统ART中Forgetting算法的不足，提高了用于计算的候选代表性测试用例的多样性，进一步提高了测试的效果。

个人简介：

博士，教授，博士生导师，江苏大学计算机学院网络空间安全系主任。2009年6月硕博连读毕业于华中科技大学计算机学院计算机软件与理论专业，获工学博士学位。ACM、IEEE会员，中国计算机学会高级会员， 中国计算机学会软件工程专业委员会委员，中国计算机学会容错计算专业委员会委员。江苏省六大人才高峰资助对象、江苏大学青年学术带头人，曾获江苏大学优秀教师、优秀学业导师、优秀教学奖等称号。主持多项国家自然科学基金项目和国防预研科技攻关项目，以及多项省部级自然基金和科技项目。在相关领域国内外重要期刊及会议（如IEEE Trans、JSS、IST、ISSTA、中国科学等）发表论文50余篇。申请国家发明专利11项，授权4项，软件著作权9项，多项研究成果已有初步应用和转化。主要研究兴趣为软件测试、软件系统安全和可信计算等领域。

程序设计教研座谈

刘奇志：南京大学《程序设计基础》课程教改综合实践

个人简介：

刘奇志，博士，南京大学计算机科学与技术系副教授，中国计算机学会高级会员，数据库专委会委员。研究方向为高性能数据管理技术，参加过多项国家和省级科研项目，指导研究生发表了学术论文十余篇，已申请或授权国家发明专利六项。 担任过NDBC、WAIM和BDMS（DASFAA Workshop）的程序委员会委员或最佳论文评委会委员或分论坛副主席，审阅了软件学报、计算机学报的多篇论文。主编/参编《程序设计基础教程》、《数据库百科全书》等教科书。 长期承担南京大学计算机科学与技术系《程序设计基础》课程的教学与教改任务，深受学生的喜爱，荣获多项教学奖励，所主持的课程进入南京大学百门优质课程建设项目。

沈军：青出于蓝而胜于蓝——对P&P演化的个人认知及计算思维之程序设计

个人简介：

 沈军，东南大学计算机科学与工程学院教授，东南大学非专业计算机基础教学指导委员会主任委员；主要从事新型网络服务模型及网络体系结构、程序构造范型及软件体系结构、计算思维及认知计算等方面的研究与教学工作；承担国家973、863、自然科学基金、重大专项、江苏省重点基金等项目， 发表科研论文80余篇，获授权发明专利7项；承担多项省部级、校级教研课题，发表教研论文10篇，主编教材（含专著）11部、主审教材3部，主编科普丛书一套（11册）；获多项东南大学教改成果奖、优秀教材奖、优秀教学奖；获江苏省信息学普及教育先进工作者荣誉、东南大学出版社优秀作者荣誉。

郑洪源：从古人读书观探究新工科背景下程序设计教学的“术”与“道”

个人简介：

 郑洪源，南京航空航天大学计算机科学与技术学院，博士。任计算机程序设计课程组组长多年。 主要从事计算机应用技术教育与科研工作。从事企业信息化和智能制造技术的科研工作。是“江苏省产学研前瞻性联合研究项目”基金支持专家，曾主持国家“863”支持项目：徐工集团徐州装载机厂企业信息化子项目。 是我国“海事船舶管理信息化/海事VTS管理系统”的主要创始人，主持开发的交通部海事局“船务管理信息系统”通过了中国船级社（CCS）认证。先后主持或参与国家、省部以及地方各类合作项目30余项，在核心期刊发表论文30余篇。

毛莺池：新工科背景下如何提升学生程序设计综合能力

个人简介：

毛莺池，教授/博导，河海大学计算机与信息学院副院长。2007年6月在南京大学获得计算机软件与理论博士学位。中国计算机学会分布式计算与系统专委会委员，中国自动化学会环境感知与保护自动化专委会委员，CCF南京分部执委。主要研究方向：云计算、边缘计算，物联网数据分析。

近年来，先后主持或参加了国家“十三五”重点研发计划课题，国家“十二五”科技支撑计划项目、国家自然科学基金项目、中国华能集团重点研发项目、江苏省物联网应用示范工程项目、江苏省“十二五”重点专业类(计算机类)等科研与教改项目。获得2018年度江苏省计算机学会优秀科技工作者，2018年中国华能集团科技进步二等奖，2014年度大禹水利科学技术一等奖，指导学生获得江苏省优秀本科生毕业设计。已发表学术论文60余篇，授权发明专利20余项。

陈波：计算机程序设计课程教学的一点思考与实践

个人简介：

陈波，1972年生，中共党员，博士，教授。现任南京师范大学计算机科学与技术学院副院长。中国计算机学会高级会员，江苏省计算机学会计算机安全专业委员会常务委员，中国密码学会会员。

主要研究方向是信息安全和智慧教育。主持、参与多项国家级和省部级科研项目以及网络应用科技开发项目。在一级学报等重要期刊和国际会议发表科研论文60多篇，获得软件著作权、申请国家发明专利多项。获得江苏省科技进步三等奖和解放军全军科技进步三等奖各1项。

主持江苏省高等教育教学改革重点项目、江苏省教育科学规划重点资助项目等多项教改课题。省级在线开放课程主持人，省级精品课程主讲教师，主持的在线开放课程被列为江苏省中小学教师培训优秀网络课程。主编《C语言程序设计教程》《C语言程序设计与实践教程》《数据结构（C++语言描述）》《数据结构案例教程（C/C++版）》《软件安全技术》等10余部教材，其中列入国家新闻出版广电总局“十三五”国家重点出版物3部，省重点教材3部，省精品教材1部。发表教学研究论文10多篇。指导学生获得全国大学生软件设计大赛一等奖等多个国家级、省级竞赛奖项。获省级教学成果奖多项。

徐明：程序设计语言课程教学改革与探索

个人简介：

徐明，副教授，硕士生导师。现任教育部新工科联盟认知教育工作委员会委员，工信部“两化融合”实践专家组成员，江苏省计算机学会教育专委会委员，江苏省计算机学会软件专委会委员。

2013年获省教学成果奖一等奖1项、2015年获省高等教育科学研究成果三等奖1项、2016年获扬州大学教学成果一等奖1项、2013至2014年连续两年获扬州大学优秀教学奖二等奖、2015至2016年连续两年获扬州大学优秀教学奖一等奖。 主持教育部高教司校企协同育人项目5项，教育部教指委教改项目2项；2019年主持省级教改项目1项。2017年获批省级重点教材立项1项、扬州大学首批重点教材立项1项，扬州大学软件工程校级教学团队主要负责人之一。 近五年来，发表教学论文20篇，其中CSSCI核心教学论文1篇。

潘雨青：程序设计课程中学生解决复杂工程问题的能力培养

个人简介：

潘雨青，男，河北平泉人，副教授，江苏大学计算机与通信工程学院计算机科学与技术系主任。从教20多年来一直从事程序设计类课程的教学工作，获得了江苏省微课竞赛一等奖，承担了教育部计算机类专业教学指导委员会面向工程教育本科计算机类专业课程改革项目（OBE教育模式下的程序设计课程教学改革），教育部产学合作协同育人项目-大数据教学内容和课程体系改革等。

相关事项

酒店预定

会议酒店常熟虞城大酒店的大床房、标准间协议价格 300元/天（含早）。

请自行按需预定，预订邮箱地址： csyuchenghotel@163.com

联系人：景琳  固定电话：0512-52105190 手机：13773054931

酒店简介

常熟虞城大酒店坐落于常熟市枫泾河畔，毗邻常熟步行街——方塔东街，印象城、八佰伴购物中心近在咫尺，距虞山、尚湖、沙家浜等景区约20分钟车程，是一座既有深厚文化底蕴又具现代化功能的旅游涉外饭店，连续多年被评为党政机关会议定点饭店，先后荣获"中华餐饮名店"、"国家金叶级绿色旅游饭店"、"苏州市旅游最佳管理奖"等称号。

交通指南

（1）长途汽车

方案1：乘坐长途汽车到达常熟北站，换乘公交、出租车到达酒店。

常熟北站——常熟虞城大酒店  驾车13分钟  3.3公里

方案2：乘坐长途汽车到达常熟南站，换乘公交、出租车到达酒店。

常熟南站——常熟虞城大酒店  驾车14分钟  3.6公里

（2）高铁换乘

乘坐高铁到达苏州北站，换乘长途汽车、出租车到达酒店

方案1：高铁苏州北站换乘长途汽车途经常熟北站

高铁苏州北站（地铁站）——常熟北站    驾车51分钟 46公里

常熟北站——常熟虞城大酒店  驾车13分钟  3.3公里

方案2：高铁苏州北站换乘长途汽车途经常熟南站

高铁苏州北站（地铁站）——常熟南站    驾车46分钟 39公里

常熟南站——常熟虞城大酒店  驾车14分钟  3.6公里

方案3：高铁苏州北站换乘出租车到达酒店

高铁苏州北站（地铁站）——虞城大酒店  驾车45分钟 38公里

（3）飞机航班换乘到达

飞机航班换乘途径上海虹桥国际机场、苏南硕放机场，然后换乘机场大巴或出租车

苏南硕放机场——常熟北站         驾车1小时11分钟  51公里

苏南硕放机场——常熟虞城大酒店   驾车1小时2分钟   58公里

苏南硕放机场——常熟南站         驾车1小时4分钟   59公里

上海虹桥国际机场——常熟北站机场大巴  驾车1小时38分钟  97公里

上海虹桥国际机场——常熟虞城大酒店  驾车1小时35分钟  108公里

上海虹桥国际机场——常熟南站机场大巴  驾车1小时35分钟  109公里