蔡彦研究员、博导

软件研究所（计算机科学国家重点实验室） 招生信息 招收2020入学推免生，软件测试、并发分析、安全等方面，有意者请邮件联系

招生专业 081202-计算机软件与理论 083500-软件工程 招生方向 并发程序分析,软件测试理论,程序安全 教育背景 2010-09--2014-08香港城市大学博士 2009-10--2010-03日本熊本大学ResearchStudent 2005-09--2009-07山东大学学士 奖励信息 （1）CCFNASAC-东软青年软件创新奖,其他,2018 （2）优秀导师（中国科学院软件研究所）,研究所（学校）,2018 （3）ACMSIGSOFTCAPSTravelAward,一等奖,专项,2014 （4）OutstandingAcademicPerformanceAward,一等奖,研究所（学校）,2013 （5）ResearchTuitionScholarship,一等奖,研究所（学校）,2013 专利成果 （1）一种用于数据竞争检测的程序调度方法,发明,2018,第1作者,专利号:201510399123.1 （2）一种基于锁提前获取的死锁自动修复方法,发明,2018,第1作者,专利号:201610069697.7 （3）一种基于硬件和线程本地时序的数据竞争采样检测方法,发明,2018,第1作者,专利号:201610565161.4 指导学生 已指导学生

曹玲微硕士研究生081203-计算机应用技术

朱碧云硕士研究生081202-计算机软件与理论

现指导学生

李海成硕士研究生085211-计算机技术

孟瑞杰硕士研究生083500-软件工程

云昊硕士研究生083500-软件工程

祝世豪博士研究生083500-软件工程

学生荣誉 曹玲微(2015-2018),工作:阿里巴巴 2018:北京市优秀毕业生，中国科学院大学优秀毕业生，中国科学院院长奖学金（院长优秀奖学金） 2017:国家奖学金,ACMSIGSOFTCAPSfunds(1250USD) 2016:ACMSIGSOFTCAPSfunds(1000USD) 2016-2017:中国科学院大学学业奖学金一等奖、三好学生,计算机科学国家重点实验室绩效奖学金一等奖 2015-2016:中国科学院大学学业奖学金二等奖,计算机科学国家重点实验室绩效奖学金一等奖 朱碧云(2016-2019),工作:百度 2018：中国科学院大学学业奖学金二等奖，三好学生 2019：中国科学院大学学业奖学金二等奖，三好学生，计算机科学国家重点实验室绩效奖学金二等奖

程序分析与测试、软件安全等

（1）Low-OverheadDeadlockPrediction,The42ndInternationalConferenceonSoftwareEngineering(ICSE'20),2020-05,第1作者 （2）ResourceRaceAttacksonAndroid,The27theditionoftheIEEEInternationalConferenceonSoftwareAnalysis,EvolutionandReengineering(SANER’20),2020-02,第1作者 （3）DetectingBugsbyDiscoveringExpectationsandTheirViolations.,IEEETransactionsonSoftwareEngineering(IEEETSE),2019-10,第6作者 （4）sCompile:CriticalPathIdentificationandAnalysisforSmartContracts,ICFEM’19,2019,第5作者 （5）DetectingConcurrencyMemoryCorruptionVulnerabilities,The27thACMJointEuropeanSoftwareEngineeringConferenceandSymposiumontheFoundationsofSoftwareEngineering(ESEC/FSE2019),2019,第1作者 （6）NAR-Miner:DiscoveringNegativeAssociationRulesfromCodeforBugDetection.,The26thACMJointEuropeanSoftwareEngineeringConferenceandSymposiumontheFoundationsofSoftwareEngineering(ESEC/FSE),2018,第5作者 （7）AtexRace:AcrossThreadandExecutionSamplingforIn-houseRaceDetection,The11thJointMeetingoftheEuropeanSoftwareEngineeringConferenceandTheACMSigSoftSymposiumontheFoundationsofSoftwareEngineering(ESEC/FSE2017),2017,第1作者 （8）AdaptivelyGeneratingHighQualityFixesforAtomicityViolations,The11thJointMeetingoftheEuropeanSoftwareEngineeringConferenceandTheACMSigSoftSymposiumontheFoundationsofSoftwareEngineering(ESEC/FSE2017),2017,第1作者 （9）DynamicTestingforDeadlocksviaConstraints,IEEETransactionsonSoftwareEngineering(TSE),2016,第1作者 （10）AntMiner:MiningMoreBugsbyReducingNoiseInterference,The38thInternationalConferenceonSoftwareEngineering(ICSE),2016,第4作者 （11）FixingDeadlocksviaLockPre-Acquisitions,The38thInternationalConferenceonSoftwareEngineering(ICSE),2016,第1作者 （12）5W+1Hpattern:Aperspectiveofsystematicmappingstudiesandacasestudyoncloudsoftwaretesting,JournalofSystemsandSoftware(JSS),2016,第2作者 （13）The31stIEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering(ASE2016),RadiusAwareProbabilisticTestingofDeadlockswithGuarantees,2016,第1作者 （14）The24thACMSIGSOFTInternationalSymposiumontheFoundationsofSoftwareEngineering(FSE2016),ADeployableSamplingStrategyforDataRaceDetection,2016,第1作者 （15）ASN:ADynamicBarrier-basedApproachtoConfirmationofDeadlocksfromWarningsforLarge-ScaleMultithreadedPrograms,IEEETransactionsonParallelandDistributedSystems(TPDS),2015,第1作者 （16）ASubsumptionHierarchyofTestCasePrioritizationforCompositeServices,IEEETransactionsonServicesComputing(TSC),2015,第2作者 （17）EffectiveandPreciseDynamicDetectionofHiddenRacesforJavaPrograms.,10thJointMeetingoftheEuropeanSoftwareEngineeringConferenceandtheACMSIGSOFTSymposiumontheFoundationsofSoftwareEngineering(FSE),2015,第1作者 （18）Magiclock:ScalableDetectionofPotentialDeadlocksinLarge-ScaleMultithreadedPrograms,IEEETransactionsonSoftwareEngineering(TSE),2014,第1作者 （19）ConLock:AConstraint-basedApproachtoDynamicCheckingonDeadlocksinMultithreadedPrograms,The36thInternationalConferenceonSoftwareEngineering(ICSE2014),2014,第1作者 （20）LockTraceReductionforMultithreadedPrograms,IEEETransactionsonParallelandDistributedSystems(TPDS),2013,第1作者 （21）TestPairSelectionforTestCasePrioritizationinRegressionTestingforWS-BPELPrograms,InternationalJournalofWebServicesResearch(IJWSR),2013,第2作者 （22）InQuestoftheScienceinStatisticalFaultLocalization,Software:PracticeandExperience(SPE),2013,第2作者 （23）TamingDeadlocksinMultithreadedPrograms,The13thInternationalConferenceonQualitySoftware2013(QSIC2013),2013,第1作者 （24）PrioritizingStructurallyComplexTestPairsforValidatingWS-BPELEvolutions,The20thIEEEInternationalConferenceonWebServices(ICWS2013),2013,第2作者 （25）TeamWork:SynchronizingThreadsGloballytoDetectRealDeadlocksforMultithreadedPrograms,The18thACMSIGPLANSymposiumonPrinciplesandPracticeofParallelProgramming(PPoPP2013),2013,第1作者 （26）MagicFuzzer:ScalableDeadlockDetectionforLarge-ScaleApplications,The34thInternationalConferenceonSoftwareEngineering(ICSE2012),2012,第1作者 （27）LOFT:RedundantSynchronizationEventRemovalforDataRaceDetection,The22ndannualInternationalSymposiumonSoftwareReliabilityEngineering(ISSRE2011),2011,第1作者