1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
蔡彦 男 硕导 软件研究所
PhD (CityU), BEng (SDU)
Associate Research Professor
State Key Laboratory of Computer Science
Institute of Software, Chinese Academy of Sciences, Beijing, China.
Email: yancai _A_T_ ios.ac.cn, ycai.mail _A_T_ gmail.com (preferred)
Office: A218, Building 5, Software Park
Tel. : (+86) 010-6266 1613
See more at:
http://lcs.ios.ac.cn/~yancai/
研究领域
Program Analysis and Software Engineering
招生信息
招收2017级推免生,详情。
招生专业 计算机软件与理论
软件工程
招生方向 程序语言分析
软件测试理论
教育背景 2010-09--2014-08 香港城市大学 博士
2009-10--2010-03 日本熊本大学 Research Student
2005-09--2009-07 山东大学 学士
出版信息
发表论文(1) Dynamic Testing for Deadlocks via Constraints, IEEE Transactions on Software Engineering (TSE), 2016, 第 1 作者(2) AntMiner: Mining More Bugs by Reducing Noise Interference, The 38th International Conference on Software Engineering (ICSE), 2016, 第 4 作者(3) Fixing Deadlocks via Lock Pre-Acquisitions, The 38th International Conference on Software Engineering (ICSE), 2016, 第 1 作者(4) 5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing, Journal of Systems and Software (JSS), 2016, 第 2 作者(5) ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2015, 第 1 作者(6) A Subsumption Hierarchy of Test Case Prioritization for Composite Services, IEEE Transactions on Services Computing (TSC), 2015, 第 2 作者(7) Effective and Precise Dynamic Detection of Hidden Races for Java Programs., 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2015, 第 1 作者(8) Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs, IEEE Transactions on Software Engineering (TSE), 2014, 第 1 作者(9) ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs, The 36th International Conference on Software Engineering (ICSE 2014), 2014, 第 1 作者(10) Lock Trace Reduction for Multithreaded Programs, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2013, 第 1 作者(11) Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs, International Journal of Web Services Research (IJWSR), 2013, 第 2 作者(12) In Quest of the Science in Statistical Fault Localization, Software: Practice and Experience (SPE), 2013, 第 2 作者(13) Taming Deadlocks in Multithreaded Programs, The 13th International Conference on Quality Software 2013 (QSIC 2013), 2013, 第 1 作者(14) Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions, The 20th IEEE International Conference on Web Services (ICWS 2013), 2013, 第 2 作者(15) TeamWork: Synchronizing Threads Globally to Detect Real Deadlocks for Multithreaded Programs, The 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2013), 2013, 第 1 作者(16) MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications, The 34th International Conference on Software Engineering (ICSE 2012), 2012, 第 1 作者(17) LOFT: Redundant Synchronization Event Removal for Data Race Detection, The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011), 2011, 第 1 作者
发表著作
科研活动
科研项目( 1 )软件安全性分析的关键技术与工具, 参与, 国家级, 2015-01--2016-12( 2 )数据竞争的主动检测技术, 主持, 国家级, 2016-01--2018-12( 3 )融合动态执行和语义推理的软件演化错误定位及应用研究, 参与, 国家级, 2016-01--2019-12( 4 )安全攸关软件系统的构造与质量保障方法研究, 参与, 国家级, 2014-01--2018-12
参与会议(1)Effective and Precise Dynamic Detection of Hidden Races for Java Programs Yan Cai, Lingwei Cao 2015-09-01(2)ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs Yan Cai, Shangru Wu, and W.K. Chan 2014-05-31(3)Taming Deadlocks in Multithreaded Programs Yan Cai, W.K. Chan, and Y.T. Yu 2013-07-29(4)TeamWork: Synchronizing Threads Globally to Detect Real Deadlocks for Multithreaded Programs Yan Cai, Zhai Ke, Shangru Wu, and W.K. Chan 2013-02-23(5)MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications Yan Cai and W.K. Chan 2012-06-02(6)LOFT: Redundant Synchronization Event Removal for Data Race Detection Yan Cai and W.K. Chan 2011-11-29
指导学生现指导学生
曹玲微 硕士研究生 081203-计算机应用技术
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
中国科学院大学研究生导师简介-蔡彦
中国科学院大学 免费考研网/2016-05-09
相关话题/软件 招生信息 信息 教育 软件工程
北京大学软件与微电子学院2016年工程管理硕士(MEM)专业学位研究生招生简章
北京大学软件与微电子学院工程管理硕士(MEM)专业学位,以培养信息、工程、管理、金融等多维交叉型人才为目标,运用国际先进的培养理念与培养方 法,全力整合校内外优质教育资源,打造并分享学习、研究、实践、交流的综合平台,培养具有丰富信息化知识和娴熟工程管理技能,善于思考、长于创新、富有团 队精神的互联网金融和 ...北京大学招生简章 本站小编 免费考研网 2016-05-10北京大学软件与微电子学院2016年软件工程硕士专业学位研究生招生简章
北京大学软件与微电子学院是经教育部、国家计委批准成立的国家示范性软件学院,也是教育部、发改委和科技部等六部委批准建设的国家示范性微电子学 院。学院设有电子与信息领域工程博士点,工程管理硕士点,软件工程、集成电路工程、项目管理、工业设计、电子与通信工程、计算机技术等6个领 ...北京大学招生简章 本站小编 免费考研网 2016-05-10北京大学软件与微电子学院2016年计算机技术硕士专业学位研究生招生简章
北京大学软件与微电子学院是经教育部、国家计委批准成立的国家示范性软件学院,也是教育部、发改委和科技部等六部委批准建设的国家示范性微电子学 院。学院设有电子与信息领域工程博士点,工程管理硕士点,软件工程、集成电路工程、项目管理、工业设计、电子与通信工程、计算机技术等6个领域的 ...北京大学招生简章 本站小编 免费考研网 2016-05-10北京大学软件与微电子学院2016年集成电路工程硕士专业学位研究生招生简章
北京大学软件与微电子学院是经教育部、国家计委批准成立的国家示范性软件学院,也是教育部、发改委和科技部等六部委批准建设的国家示范性微电子学 院。学院设有电子与信息领域工程博士点,工程管理硕士点,软件工程、集成电路工程、项目管理、工业设计、电子与通信工程、计算机技术等6个领域的 ...北京大学招生简章 本站小编 免费考研网 2016-05-10北京大学软件与微电子学院2016年电子与通信工程硕士专业学位研究生招生简章
北京大学软件与微电子学院是经教育部、国家计委批准成立的国家示范性软件学院,也是教育部、发改委和科技部等六部委批准建设的国家示范性微电子学 院。学院设有电子与信息领域工程博士点,工程管理硕士点,软件工程、集成电路工程、项目管理、工业设计、电子与通信工程、计算机技术等6个领 ...北京大学招生简章 本站小编 免费考研网 2016-05-10北京大学软件与微电子学院2016年工程管理硕士(MEM)专业学位研究生招生简章
北京大学软件与微电子学院工程管理硕士(MEM)专业学位,以培养信息、工程、管理、金融等多维交叉型人才为目标,运用国际先进的培养理念与培养方法,全 力整合校内外优质教育资源,打造并分享学习、研究、实践、交流的综合平台,培养具有丰富信息化知识和娴熟工程管理技能,善于思考、长于创新、富有团队精神 的互联网 ...北京大学招生简章 本站小编 免费考研网 2016-05-102016年北京大学软件与微电子学院软件工程专业第二学士学位招生简章
北京大学软件与微电子学院2016年将面向社会招收150名攻读软件工程专业第二学士学位学生。重点培养:软件开发、大数据分析、互联网金融等方向的人才。 北京大学软件与微电子学院是经教育部、国家计委批准成立的国家示范性软件学院,也是教育部和科技部设立的国家集成电路人才培养基地。 ...北京大学招生简章 本站小编 免费考研网 2016-05-10北京大学软件与微电子学院2016年硕士研究生招生复试通知
根据北京大学研究生院的工作安排,并结合我院的具体情况,现将2016年硕士研究生复试、录取阶段的工作安排说明如下:一、复试时间、地点:复试时间:3月19、20日;复试地点:软件与微电子学院(大兴校区)(地址:北京市大兴工业开发区金苑路24号)。乘车路线: 北京站:地铁二号线宣武门站换乘地铁四号线高米店南站下车, ...北京大学复试录取 本站小编 免费考研网 2016-05-10北京大学软件与微电子学院2016年港澳台、留学生硕士研究生复试名单
北京大学软件与微电子学院2016年港澳台、留学生硕士研究生复试名单公示如下: 港澳台 序号 报名号 姓名 1 110120160200007 幸仁雅 2 1101201602 ...北京大学复试录取 本站小编 免费考研网 2016-05-102016年北京大学软件工程一级学科工学博士生复试安排
经专家组对申请人的报名材料进行审核和学术素质评定,确定以下人员参加软件工程一级学科工学博士研究生复试。有关事宜通知如下:一、复试时间面试时间:2016年4月17日 9:00地点:北京大学理科一号楼1504室笔试时间:2016年4月17日 14:00-16:00地点:北京大学理科一号楼1723室复试名单: 陈晨、董春涛、付彬、李文婷、刘高 ...北京大学复试录取 本站小编 免费考研网 2016-05-10