教师名录

赵建军 教授

主页: [点击这里]

办公室电话:021-34204620

办公地点:SEIEE-3-424

电子邮件:zhao-jj@cs.sjtu.edu.cn

实验室:

  • 研究兴趣
  • 教育背景
  • 工作经验
  • 教授课程
  • 论文发表
  • 项目资助
  • 获奖信息
  • 学术服务

软件工程、程序语言设计与实现

1982.09~1987.07: 清华大学计算机科学与技术系,工学学士

1987.09~1990.06: 中国运载火箭技术研究院,工学硕士

1994.04~1997.03: 日本九州大学计算机科学与通信系,计算机科学博士

1990.06~1991.05: 北京航天自动控制研究所,软件工程师

1991.06~1993.02: 深圳贝尔电子有限公司,软件工程师,项目经理 

1993.04~1994.03: 日本九州大学计算机科学与通信系,研究生(Research Student)

1996.06~1996.12: 日本九州系统与信息技术研究所,研究助理(兼职)

1997.04~2000.03: 日本福冈工业大学计算机科学与工程系,讲师(终身)

2000.04~2005.10: 日本福冈工业大学计算机科学与工程系,副教授(终身)

2002.04~2003.03: 美国麻省理工学院计算机科学实验室(LCS),访问科学家

2005.11~2015.05: 上海交通大学软件学院教授,博士生导师

2015.06~     至今: 上海交通大学计算机科学与工程系教授,博士生导师 

2013.04~     至今: 日本国立情报学研究所(National Institute of Informatics)客座教授

编译原理与技术(2007-2015, 本科生,软件学院)

程序分析与合成(2011-2015,研究生,软件学院)

高级软件技术(2007-2010,研究生,软件学院)

See my Google Scholar site for more complete publication list.

(http://scholar.google.com/citations?user=PZZ0iygAAAAJ&hl=en)


Z. Lin, D. Marinov, H. Zhong, Y. Chen, and J. Zhao.
JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs
In Proc. 30th IEEE/ACM Conference on Automated Software Engineering  (ASE 2015), Lincoln, NE, November 2015. (To appear)


F. Lv, H. Zhang, J. Lou, S. Wang,  D. Zhang, and J. Zhao.
CodeHow: Effictive Code Search Based on API Understanding and Extended Boolean 
In Proc. 30th IEEE/ACM Conference on Automated Software Engineering  (ASE 2015), Lincoln, NE, November 2015. (To appear)


Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao.

Extracting URLs from JavaScript via program analysis.

In Proc. 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), New Ideas Track, pp.627-630, Saint Petersburg, Russia, August 18-26, 2013.


Qiang Sun, Yuting Chen, and Jianjun Zhao.

Constraint-Based Locality Analysis for X10 Programs.

In Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), pp.137-146, Rome, Italy, January 21-22, 2013.

 

Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou.

Automatic Parameter Recommendation for Practical API Usage.

In Proc. 34th International Conference on Software Engineering (ICSE 2012), pp.826-836, Zurich, Switzerland, June 2-9, 2012.

 

Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, and Yuting Chen.

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs.

In Proc. 25th European Conference on Object-Oriented Programming (ECOOP 2011), pp.510-532, Lancaster, UK, July 25-29 3, 2011.

 

Qiang Sun, Jianjun Zhao, and Yuting Chen.

Probabilistic Points-to Analysis for Java.

In Proc. 2011 International Conference on Compiler Construction (CC 2011), ETAPS 2011, pp.62-81, Saarbrücken, Germany, March 26 - April 3, 2011. 

 

Cheng Zhang, Dacong Yang, Jianjun Zhao, Shengqian Yang, and Yuting Chen.

BPGen: An Automated Breakpoint Generator for Debugging.

In Proc. 32th International Conference on Software Engineering (ICSE 2010), Vol.2, pp.171-174, Formal Demonstration Track, Cape Town, South Africa, , May 2-8, 2010.

 

Qingzhou Luo, Sai Zhang, Jianjun Zhao and Min Hu.

A Lightweight and Portable Approach to Making Concurrent Failures Reproducible.

In Proc. Fundamental Approaches to Software Engineering (FASE’2010), ETAPS 2010, pp.323-337, Paphos, Cyprus, 22-26 March, 2010.   

 

Yu Lin, Xucheng Tang, Yuting Chen and Jianjun Zhao.

A Divergence-Orietned Approach to Adaptive Random Testing of Java Programs.

In Proc. 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), pp.221-232, Auckland, New Zealand, November 16-20, 2009. 

 

Martin Gorg and Jianjun Zhao.

Identifying Semantic Differences in AspectJ Programs.

In Proc. ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA 2009), pp. 25-36, Chicago, July 2009.

 

Sai Zhang, Yu Lin, Zhongxian Gu, and Jianjun Zhao.

Effective Identification of Failure-Inducing Changes: A Hybrid Approach.

In Proc. 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), pp.77-83, Atlanta, GA, USA, November 9-10, 2008.

 

Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, and Shiyuan Rao.

XFindBugs: eXtended FindBugs for AspectJ.

In Proc. 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), pp.70-76, Atlanta, GA, USA, November 9-10, 2008.

 

Tao Xie and Jianjun Zhao.

A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs.

In Proc. 5th International Conference on Aspect-Oriented Software Development (AOSD’2006), pp.190-201, Bonn, Germany, March 2006.


Jianjun Zhao and Baowen Xu.

Measuring Aspect Cohesion.

In Proc. Fundamental Approaches to Software Engineering (FASE’2004), ETAPS 2004, LNCS 2984, pp.54-68, Springer-Verlag, Barcelona, Spain, March 29-31, 2004.


Jianjun Zhao and Martin Rinard.

Pipa: A Behavioral Interface Specification Language for AspectJ.  

In Proc. Fundamental Approaches to Software Engineering (FASE’2003), ETAPS 2003,  LNCS 2621, pp.150-165, Springer-Verlag, April 2003.


Jianjun Zhao, Hongji Yang, Limin Xiang, and Baowen Xu.

Change Impact Analysis to Support Architectural Evolution.

In Journal of Software Maintenance and Evolution: Research and Practice, Vol.14, No.5, pp.317-333, 2002, John Wiley & Sons.


Zhenqiang Chen, Baowen Xu, Hongji Yang, Jianjun Zhao.

Concurrent Ada dead statements detection.

In Information & Software Technology, Vol., No.13, pp.733-741, 2002, Elsevier B.V.

 

Jianjun Zhao.

Slicing Aspect-Oriented Software.

In Proc. 10th IEEE International Workshop on Program Comprehension (IWPC 2002), pp.251-260, Paris, France, June 2002.

 

Yuming Zhou, Baowen Xu, Jianjun Zhao, and Hongji Yang.

ICBMC: An Improved Cohesion Measure for Classes.

In Proc. IEEE International Conference on Software Maintenance (ICSM 2002), pp. 44-53, Montreal, Canada, October 2002.

 

Jianjun Zhao.

Change Impact Analysis for Aspect-Oriented Software Evolution.

In Proc. 5th International Workshop on Principles of Software Evolution (IWPSE 2002), pp.108-112, ACM Press, Orlando, Florida, USA, May 2002.


Zhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang.

Static Dependency Analysis for Concurrent Ada 95 Programs.

In Proc. 7th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2002), LNCS 2361, pp.219-230, Springer-Verlag, Vienna, Austria, June 2002.


Jianjun Zhao, Jingde Cheng, Kazuo Ushijima.

A Program Dependence Model for Concurrent Logic Programs and its Applications.

In Proc. IEEE International Conference on Software Maintenance (ICSM 2001), pp. 672-681, Florence, Italy, November 2001.


Jianjun Zhao.

A Slicing-Based Approach to Extracting Reusable Software Architectures.

In Proc. 4th European Conference on Software Maintenance and Reengineering (CSMR 2000), pp.215-223, Zurich, Switzerland, February 2000.


Jianjun Zhao.

Slicing Concurrent Java Programs.

In Proc. Seventh IEEE International Workshop on Program Comprehension (IWPC’99), pp.126-133, May 1999.


Jianjun Zhao.

On Assessing the Complexity of Software Architectures.

In Proc. 3rd International Software Architecture Workshop (ISAW’98), pp.163-166, ACM SIGSOFT, ACM Press, November 1998.

国家973计划项目,“基于开源生态的网构化软件全生命周期的可信评估与保证方法”, 批准号:2015CB352203,2015年1月至2019年12月,经费额:368万元人民币。(项目负责人)


国家自然科学基金面上项目,“基于机器学习的软件调试技术研究”,批准号:61272102,2013年1月至2016年12月,经费额:83万元人民币。(项目负责人)


国家自然科学基金“可信软件基础研究”重大研究计划重点项目,“体系结构驱动的可信软件构造方法与技术研究”,批准号:91118004,2012年1月至2015年12月,经费额:44万元人民币。(项目参与人)


国家自然科学基金面上项目,“面向方面软件的变化影响分析理论及其应用”,批准号:60970009,2010年1月至2012年12月,经费额:31万元人民币。(项目负责人)
 

国家自然科学基金面上项目,“面向方面软件的测试技术研究”,批准号:60673120,2007年1月至2009年12月,经费额:26万元人民币。(项目负责人)


国家863计划探索型项目,“面向方面软件的综合开发环境的构筑”, 批准号:2006AA01Z158,2007年1月至2008年12月,经费额:60万元人民币。(项目负责人)


上海市浦江人才计划(A类),“面向方面软件综合开发环境的构建”,批准号:07pj14058,2007年9月至2009年9月,经费额:10万元人民币。 (项目负责人)


"Checking Serializability Consistency for Concurrent X10 Programs”,IBM X10 Innovation Award,2010年8月至2012年8月, 经费额:1.3万美元。(项目负责人)


"VeriJava: A Verifiable Programming language”,Okawa Foundation Research Grant,2009年1月至2009年12月, 经费额:100万日元。(项目负责人)






2012年江苏省科技进步一等奖 (排名第3)

2010 IBM X10 Innovation Award

2009 Okawa Foundation Research Grant



General Chair:

The 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008)


Workshop Chairs:

The 10th International Conference on Software Reuse (ICSR 2008)

The 15th Asia-Pacific Software Engineering Conference (APSEC 2008)


Publicity Chairs:

The IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2003, 2004, 2005, 2006)

THe IEEE International Conference on Software Maintenance (ICSM 2005)


Organization Chair:

The 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009)


Workshop Co-Organizers:

The Asian Workshop on Aspect-Oriented Software Development (AOAsia 2005, 2006, 2007, 2008, 2009, 2010, 2011)

The AOSD 2007 Workshop on of Assessment of Aspect-Oriented Technologies (ASAT 2007)  

The ICSE 2007 Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007)


Steering Committee Member:

The International Workshop on Software Quality Assurance (SOQUA 2005, 2006, 2007)

 

Program Committer Members:

The 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015)

The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)

The 26th European Conference on Object-Oriented Programming (ECOOP 2012)

The International Conference on Aspect-Oriented Software Development (AOSD 2003, 2004, 2005, 2011)

The International Conference on Fundamental Approach on Software Engineering (FASE 2007)

The IEEE International Conference on Software Maintenance (ICSM 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008)

The Working IEEE/IFIP Conference on Software Architecture (WICSA 2014, 2015)

The Working IEEE/IFIP Conference on Software Architecture and the 6th European Conference on Software Architecture (WICSA/ECSA 2012)

The International Conference on Generative Programming and Component Engineering (GPCE 2012)

The 13th International Workshop on Dynamic Analysis (WODA 2015)

The IEEE International Conference on Software Reliability Engineering (ISSRE 2004)

The Asian Symposium on Programming Languages and Systems (APLAS 2009, 2012)

The IEEE International Working Conference (Workshop) on Source Code Analysis and Manipulation (SCAM 2003, 2004, 2005, 2006, 2009, 2010, 2011, 2012)

The IEEE High Assurance Systems Engineering Symposium (HASE 2007, 2008, 2011, 2012, 2014, 2015)

The IEEE International Conference on Software Reuse (ICSR 2008)

The Asia-Pacific Software Engineering Conference (APSEC 2008, 2009)

The European Conference on Software Maintenance and Reengineering (CSMR 2011, 2012)

The IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012, 2014)

The IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ICSOC 2012)

The International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)

The International Conference on Model Transformation (ICMT 2012)

The 7th International Symposium on Automated and Analysis-Driven Debugging (AADEBUG 2007)

The European Conference on Software Maintenance and Reengineering (CSMR 2011, 2012, 2013)

The Joint 18th European Conference on Software Maintenance and Reengineering / 21st Working Conference on Reverse Engineering (CSMR-WCRE 2014)

The International Colloquium on Theoretical Aspects of Computing (ICTAC 2012, 2013, 2014)

The International Conference on Principles and Practice of Programming on the Java Platform: virtual machines, languages, and tools (PPPJ 2013, 2015, 2016)






联系我们 webmaster@cs.sjtu.edu.cn

上海交通大学计算机科学与工程系版权所有 @ 2013