导师介绍

导师姓名
赵建军
导师性别男
职务职称教授.
所在院系软件学院
所属学科软件工程
研究方向软件工程、程序语言的设计与实现软件安全
联系电话34204620
电子邮箱zhao-jj@sjtu.edu.cn

个人简介

赵建军，男，1987年7月在清华大学计算机科学与技术系计算机应用专业获得学士学位。1993年4月到日本国立九州大学计算机科学与通信系留学，做研究生（ResearchStudent）。1994年3月开始攻读计算机软件专业（软件工程）博士学位，于1997年3月获得计算机科学博士学位。论文题目为《并发逻辑程序的依赖性分析及其应用》。1997年4月起任日本福冈工业大学计算机科学与工程系讲师。2000年4月起任副教授。2002年4月到2003年3月在美国麻省理工学院计算机科学实验室(MITLaboratoryforComputerScience)作访问教授一年。2005年11月起任上海交通大学电子信息与电气工程学院计算机科学与工程系及软件学院教授，博士生导师。赵建军目前担任中国计算机学会软件工程专业委员会委员。赵建军的主要研究领域包括面向方面软件开发（Aspect-OrientedSoftwareDevelopment），高可靠软件系统的构建、软件体系结构、软件测试、软件理解与维护、软件系统的复杂性度量、软件系统的验证、程序语言设计与实现、编译优化等。
代表性论著

1.ChengZhang,HaoXu,SaiZhang,JianjunZhao,andYutingChen.FrequencyEstimationofVirtualCallTargetsforObject-OrientedPrograms.InProc.25thEuropeanConferenceonObject-OrientedProgramming(ECOOP2011),Lancaster,UK,July25-293,2011.(toappear)2.QiangSun,JianjunZhao,andYutingChen.ProbabilisticPoints-toAnalysisforJava.InProc.2011InternationalConferenceonCompilerConstruction(CC2011),pp.62-81,Saarbrücken,Germany,March26-April3,2011.3.HaihaoShen,JianhongFang,andJianjunZhao.EFindBugs:EffectiveErrorRankingforFindBugs.InProc.4thIEEEInternationalConferenceonSoftwareTesting,VerificationandValidation(ICST2011),pp.299-308,Berlin,Germany,March21-25,2011.4.ChengZhang,DacongYang,JianjunZhao,ShengqianYang,andYutingChen.BPGen:AnAutomatedBreakpointGeneratorforDebugging.InProc.32thInternationalConferenceonSoftwareEngineering(ICSE2010),Vol.2,pp.171-174,FormalDemonstrationTrack,CapeTown,SouthAfrica,,May2-8,2010.5.QingzhouLuo,SaiZhang,JianjunZhaoandMinHu.ALightweightandPortableApproachtoMakingConcurrentFailuresReproducible.InProc.FundamentalApproachestoSoftwareEngineering(FASE'2010),pp.323-337,Paphos,Cyprus,22-26March,2010.6.YuLin,XuchengTang,YutingChenandJianjunZhao.ADivergence-OrietnedApproachtoAdaptiveRandomTestingofJavaPrograms.InProc.24thIEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering(ASE2009),pp.221-232,Auckland,NewZealand,November16-20,2009.7.YuLin,SaiZhang,andJianjunZhao.IncrementalCallGraphReanalysisforAspectJSoftware.InProc.25thIEEEInternationalConferenceonSoftwareMaintenance(ICSM2009),pp.301-315,Alberta,Canada,Sep20-26,2009.8.MartinGorgandJianjunZhao.IdentifyingSemanticDifferencesinAspectJPrograms.InProc.ACMSIGSOFTInternationalConferenceonSoftwareTestingandAnalysis(ISSTA2009),pp.25-36,Chicago,July2009.9.SaiZhang,YuLin,ZhongxianGu,andJianjunZhao.EffectiveIdentificationofFailure-InducingChanges:AHybridApproach.InProc.8thACMSIGPLAN-SIGSOFTWorkshoponProgramAnalysisforSoftwareToolsandEngineering(PASTE2008),pp.77-83,Atlanta,GA,USA,November9-10,2008.10.HaihaoShen,SaiZhang,JianjunZhao,JianhongFang,andShiyuanRao.XFindBugs:eXtendedFindBugsforAspectJ.InProc.8thACMSIGPLAN-SIGSOFTWorkshoponProgramAnalysisforSoftwareToolsandEngineering(PASTE2008),pp.70-76,Atlanta,GA,USA,November9-10,2008.11.SaiZhang,ZhongxianGu,YuLin,andJianjunZhao.ChangeImpactAnalysisforAspectJPrograms.InProc.24thIEEEInternationalConferenceonSoftwareMaintenance(ICSM2008),pp.87-96,Beijing,China,Sep28-Oct4,2008.12.TaoXie,JianjunZhao,DarkoMarinov,andDavidNotkin.DetectingRedundantUnitTestsforAspectJrograms.InProc.17thIEEEInternationalConferenceonSoftwareReliabilityEngineering(ISSRE'06),pp.179-188,Raleigh,NC,November2006.13.TaoXieandJianjunZhao.AFrameworkandToolSupportsforGeneratingTestInputsofAspectJPrograms.InProc.5thInternationalConferenceonAspect-OrientedSoftwareDevelopment(AOSD'2006),pp.190-201,Bonn,Germany,March2006.