Software Engineering

BS, Tsinghua University, 1987
PhD, Kyushu University (Japan), 1997

1. The Principle of Compilers (for undergraduate students)
2. Program Analysis and Synthesis (for graduate students)

1.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.

2. Cheng Zhang, Longwen Lu, Hucheng Zhou, Jianjun Zhao, and Zheng Zhang. MoonBox: Debugging with Online Slicing and Dryrun. In Proc. 3rd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2012), Seoul, South Korea, July 23-24, 2012.

3. Longwen Lu, Cheng Zhang, Jianjun Zhao. Soot-based Implementation of a Demand-Driven Reaching Definitions Analysis. In Proc. ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012), PLDI 2012 Workshop, pp.21-26, June 14, 2012.

4. 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.

5. 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.

6. Cheng Zhang, Zhenyu Guo, Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, and Zheng Zhang. AutoLog: Facing Log Redundancy and Insufficiency. In Proc. 2nd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2011), Shanghai, China, July 10-12, 2011.

7. Qiang Sun, Jianjun Zhao, and Yuting Chen. Probabilistic Points-to Analysis for Java. In Proc. 2011 International Conference on Compiler Construction (CC 2011), pp.62-81, Saarbrücken, Germany, March 26 - April 3, 2011.

8. Haihao Shen, Jianhong Fang, and Jianjun Zhao. EFindBugs: Effective Error Ranking for FindBugs. In Proc. 4th IEEE International Conference on Software Testing, Verification and Validation (ICST 2011), pp.299-308, Berlin, Germany, March 21-25, 2011.

9. 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.

10. 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), pp.323-337, Paphos, Cyprus, 22 - 26 March, 2010.

11. 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.

12. Yu Lin, Sai Zhang, and Jianjun Zhao. Incremental Call Graph Reanalysis for AspectJ Software. In Proc. 25th IEEE International Conference on Software Maintenance (ICSM 2009), pp.301-315 , Alberta, Canada, Sep 20- 26, 2009.

13. 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.

14. Zengkai Ma and Jianjun Zhao. Test Case Prioritization Based on Analysis of Program Structure. In Proc. 15th Asia-Pacific Software Engineering Conference (APSEC 2008), pp.471-478, Beijing, China, December 3-5, 2008.

15. 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.

16. 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.

17. Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao. Change Impact Analysis for AspectJ Programs. In Proc. 24th IEEE International Conference on Software Maintenance (ICSM 2008), pp.87-96, Beijing, China, Sep 28- Oct 4, 2008.

18. Qiang Sun and Jianjun Zhao. Aspect-Aware Points-to Analysis.
In Proc.8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), pp.143-152, Beijing, China, Sep 28-29, 2008.

19. Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao. Flota: A Programmer Assistant for Locating Faulty Changes in AspectJ Software Evolution. In Proc. 4th International Linking Aspect Technology and Evolution workshop (LATE 2008), AOSD 2008 Workshop, April 1, Brussels, Belgium.

20. Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao. Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs. In Proc. 30th International Conference on Software Engineering (ICSE 2008), Companion Volume, pp.913-914, (Informal Demonstration Track), May 10-18, 2008, Leipzig, Germany. (This work was also presented as a forum research demonstration in AOSD 08 Demonstration, March 31-April 4th, 2008, Brussels, Belgium)

21. Sai Zhang and Jianjun Zhao. On Identifying Bug Patterns in Aspect-Oriented Programs. In Proc. 31st IEEE Annual International Computer Software and Applications Conference (COMPSAC'07), Vol. I, pp.431-438, Beijing, China, July 23-27, 2007.

22. Yi Wang and Jianjun Zhao. Specifying Pointcuts in AspectJ.
In Proc. 31st IEEE Annual International Computer Software and Applications Conference (COMPSAC'07), Vol. II, pp.5-10, 3rd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2007), Beijing, China, July 23, 2007.

23. Tao Xie and Jianjun Zhao. Perspectives on Automated Testing of Aspect-Oriented Programs. In Proc. 3rd Workshop on Testing Aspect-Oriented Programs (WTAOP 2007), Vancouver, Canada, pp. 7-12, March 2007.

24. Jianjun Zhao, Cheng Zhang, Sibo Zhang, and Jiaming Zhang. An Overview of VeriJava Programming Systems. Technical Report SJTU-CSE-TR-06-01, Center for Software Engineering, Shanghai Jiao Tong University, October 2006. (A short version presented at 1st Asian Working Conference on Verified Software (AWCVS 2006), Macao, China, October 2006)

25. Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin. Detecting Redundant Unit Tests for AspectJ rograms. In Proc. 17th IEEE International Conference on Software Reliability Engineering (ISSRE'06), pp.179-188, Raleigh, NC, November 2006.

26. Jianjun Zhao. Control-Flow Analysis and Representation of Aspect-Oriented Programs. In Proc. 6th International Conference on Quality Software (QSIC'06), pp.38-48 Beijing, China, October 26-28, 2006.

27. Jianjun Zhao, Tao Xie, and Nan Li. Towards Regression Test Selection for Aspect-Oriented Programs. In 2nd Workshop on Testing Aspect-Oriented Programs (WTAOP'06), Portland, Maine, July 2006.

28. 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. (A previous version appeared as Automated Test Generation for AspectJ Programs" by Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin in AOSD 2005 Workshop on Testing Aspect-Oriented Programs (WTAOP'05), Chicago, USA, March 2005)

29. Jianjun Zhao. Measuring Coupling in Aspect-Oriented Systems. In 10th International Software Metrics Symposium (METRICS'2004), (Late Breaking Paper), Chicago, USA, September 14-16, 2004. (A previous version appeared as Technical-Report SE-142-6, Information Processing Society of Japan (IPSJ), May 2003)

30. Jianjun Zhao and Baowen Xu. Measuring Aspect Cohesion. In Proc. Fundamental Approaches to Software Engineering (FASE'2004), LNCS 2984, pp.54-68, Springer-Verlag, Barcelona, Spain, March 29-31, 2004.

31. Jianjun Zhao. Data-Flow-Based Unit Testing of Aspect-Oriented Programs. In Proc. 27th Annual IEEE International Computer Software and Applications Conference (COMPSAC'2003), pp.188-197. Dallas, Texas, USA, November 2003. (A previous version appeared as Technical-Report SE-136-26, Information Processing Society of Japan (IPSJ), March 2002)

32. Masanori Iwamoto and Jianjun Zhao. Refactoring Aspect-Oriented Programs. In 4th AOSD Modeling with UML Workshop, UML'2003, San Francisco, California, USA, October 2003.

33. Jianjun Zhao and Martin Rinard. Pipa: A Behavioral Interface Specification Language for AspectJ. In Proc. Fundamental Approaches to Software Engineering (FASE'2003), LNCS 2621, pp.150-165, Springer-Verlag, April 2003.

34. Jianjun Zhao and Martin Rinard. System Dependence Graph Construction for Aspect-Oriented Programs. Technical Report MIT-LCS-TR-891, Laboratory for Computer Science, MIT, March 2003.

35. 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.

36. Jianjun Zhao. Slicing Aspect-Oriented Software. In Proc. 10th IEEE International Workshop on Program Comprehension (IWPC'2002), pp.251-260, Paris, France, June 2002. (A previous version appeared as Technical-Report SE-135-7, Information Processing Society of Japan (IPSJ), November 2001)

37. Yuming Zhou, Baowen Xu, Jianjun Zhao, and Hongji Yang. ICBMC: An Improved Cohesion Measure for Classes. In Proc. IEEE International Conference on Software Maintenance, pp. 44-53, Montreal, Canada, October 2002.