招生简介致考生书招生院系与专业导师介绍参考书籍联系方式信息公告
陈海波

导师姓名
陈海波
研究方向系统软件;系统结构
联系方式通讯地址：上海市东川路800号软件楼1-307室

邮政编码：200240

联系电话：13701830272

Email：haibochen
个人简介

陈海波，男，上海交通大学软件学院教授，主要研究方向为系统结构,操作系统与系统虚拟化等。曾在麻省理工学院参与众核操作系统研究，并曾在著名虚拟化公司VMWare加州总部从事可信虚拟化的研究。曾担任国际著名学术会议ACM亚太系统会议(APSys2011)的共同主席并担任多个国际顶级学术会议如国际操作系统原理大会(SOSP2013),欧洲系统大会(EuroSys2013,2014)，国际并行体系结构与编译技术(PACT2013),USENIX技术年会(UsenixATC’2012)等的程序委员会委员。相关研究成果发表在诸多国际顶级会议如国际操作系统原理大会(SOSP)，USENIX操作系统设计与实现大会(OSDI)，国际体系结构大会(ISCA),国际微处理结构大会(MICRO),国际高性能体系结构大会(HPCA)，国际软件工程大会(ICSE),国际并行处理原理与实践大会(PPoPP)与IEEETransactionsonSoftwareEngineering等。博士论文"云计算平台可信性增强技术的研究"获得2011年全国优秀博士论文及2009年中国计算机学会优秀博士论文奖。
代表性论著
[1]YubinXia,YutaoLiuandHaiboChen.ArchitectureSupportforGuest-TransparentVMProtectionfromUntrustedHypervisorandPhysicalAttacks.InProceedingsof2013InternalSymposiumonHighPerformanceComputerArchitecture(HPCA2013),February,2013.[2]YufeiChenandHaiboChen.ScalableDeterministicReplayinaParallelFull-systemEmulator.InProceedingsof2013ACMSymposiumonPrinciplesandPracticeofParallelProgramming(PPoPP2013),Feburary,2013.[3]RongChenandHaiboChen.Tiled-MapReduce:EfficientandFlexibleMapReduceProcessingonMulticorewithTiling.ACMTransactionsonArchitectureandCodeOptimization(TACO).Volume10,Issue1,ArticalNo.3.April,2013.[4]YubinXia,YutaoLiu,HaiboChenandBinyuZang.CFIMon:DetectingViolationofControlFlowIntegrityusingPerformanceCounters.InProceedingsofThe42ndAnnualIEEE/IFIPInternationalConferenceonDependableSystemsandNetworks(DSN2012,DCCSTrack),Boston,MassachusettsUSA,June,2012.[5]ZhenmanFang,QinghaoMin,YibinHu,YiLu,KeyongZhou,WeihuaZhang,HaiboChen,BinyuZangandJianLi.“Transformer:AnExtensible,FastandCycle-AccurateFull-systemMulti-coreSimulator.”Inthe49thDesignAutomationConference(DAC2012).SanFrancisco,USA,June,2012.[6]FengzheZhang,JinChen,HaiboChenandBinyuZang.CloudVisor:RetrofittingProtectionofVirtualMachinesinMulti-tenantCloudwithNestedVirtualization.23rdACMSymposiumonOperatingSystemsPrinciples(SOSP'11).pp.203-216,Cascais,Portugal,October,2011.[7]HaiboChen,JieYu,ChengqunHang,BinyuZangandPen-chungYew.DynamicSoftwareUpdatingUsingaRelaxedConsistencyModel.IEEETransactionsonSoftwareEngineering(IEEETSE),37(5),pp.679-694,September,2011[8]ZheminYang,MinYang,LvcaiXu,HaiboChen,BinyuZang.ORDER:ObjectcentRicDEterministicReplayforJava.The2011USENIXAnnualTechnicalConference(UsenixATC'11).Portland,Oregon,USA,June2011.[9]XiangSong,HaiboChen,RongChen,YuanxuanWang,BinyuZang.ACaseforScalingApplicationstoMany-corePlatformswithOSClustering.In2011ACMSIGOPSEuropeanConferenceonComputerSystems(Eurosys'11).pp.76-61,Salzburg,Austria.April,2011.[10]ZhaoguoWang,RanLiu,YufeiChen,XiWu,HaiboChen,WeihuaZang,BinyuZang.COREMU:aScalableandPortableParallelFull-systemEmulator.ACMSIGPLANSymposiumonPrinciplesandPracticeofParallelProgramming(PPoPP'11).pp.213-222SanAntonio,USA,February,2011.[11]RongChen,HaiboChen,BinyuZang.TiledMapReduce:OptimizingResourceUsagesofData-parallelApplicationsonMulticorewithTiling.TheNineteenthInternationalConferenceonParallelArchitecturesandCompilationTechniques(PACT'10).pp.523-534,Vienna,Austria,September,2010.[12]HaiboChen,LiweiYuan,XiWu,BoHuang,Pen-chungYewandBinyuZang.ControlFlowObfuscationwithInformationFlowTracking.In42ndinternationalConferenceonMicroarchitecture(Micro'09).pp.391-400.NewYork,USA.December,2009.[13]HaiboChen,XiWu,LiweiYuan,BinyuZang,Pen-chungYewandFredericChong.PracticalandEfficientInformationFlowTrackingUsingSpeculativeHardware.InProceedingsof35thInternationalSymposiumonComputerArchitecture(ISCA'08),pp.401-412,BeijingChina,June,2008.[14]HaiboChen,RongChen,FengzheZhang,BinyuZangandPen-chungYew.Mercury:CombiningPerformancewithDependabilityUsingSelf-virtualization.InProceedingsof36thInternationalConferenceonParallelProcessing(ICPP'07,BestPaperAward),XiAnChina,September,2007.[15]HaiboChen,JieYu,RongChen,BinyuZang,andPen-chungYew.POLUS:APOwerfulLiveUpdatingSystem.InProceedingsof29thInternationalConferenceonSoftwareEngineering(ICSE'07),pp.271-281.Minneapolis,MN,USA,May2007.
傅育熙

导师姓名
傅育熙
研究方向并行理论及其应用;并行理论及其应用
联系方式通讯地址：上海东川路800号上海交通大学计算机系

邮政编码：200240

联系电话：021-34205088

Email：fu-yx@cs.sjtu.edu.cn
个人简介

傅育熙博士、教授、博士生导师。1981年就读于同济大学计算机系，1988年由国家教委公派至英国曼彻斯特大学计算机系攻读博士学位，1992年获博士学位。1993年在曼彻斯特大学计算机系作研究助理，参与欧共体项目"CLICS-II"的研究。1994年1月起在上海交通大学计算机科学与工程系工作，现为上海交通大学计算机科学与工程系主任、软件学院院长、上海高校软件理论研究中心主任、中国计算机学会理事会理事、中国数学会数理逻辑专业委员会常务理事、教育部高等学校计算机科学与技术教学指导委员会专业教学指导分委员会委员、教育部高等学校计算机科学与技术教学指导委员会计算机科学与技术专业教学指导分委员会副主任委员、上海市计算机学会副理事长、AsianAssociationforFoundationofSoftware(AAFS)的执行委员、上海市计算机行业协会副会长、全国示范性软件学院院长联席会主席（2004年度），是《MathematicalStructuresinComputerScience》等十多个学术刊物的编委。主要从事理论计算机科学研究，在国际学术刊物上发表论文三十余篇，曾先后在法国国家信息研究所、日本东京大学、法国巴黎七大进行访问研究。近五年先后担任的五个国际会议的cochair，多个国际会议（如ICSE2006）的程序委员会成员。曾负责十余个国家级科研项目的研究，是国家杰出青年基金获得者。目前担任国务院学位委员会第六届学科评议组成员。主要研究方向有：计算机科学理论、程序理论、生物信息学、形式化方法与验证、软件工程。
代表性论著
YuxiFu.TheoryofInteraction,2011.Submitted.YuxiFu,HanZhu.TheName-PassingCalculus,2011.Submitted.YuxiFu.TheValue-PassingCalculus,2011.Submitted.XiaojuanCai,YuxiFu.Theλ-Calculusintheπ-Calculus,acceptedbyMathematicalStructuresinComputerScience,2011.YuxiFu.TheorybyProcess.InProceedingsofCONCUR2010,volume6296ofLectureNotesinComputerScience,pages403-416,Springer,2010.YuxiFu,HaoLu.OntheExpressivenessofInteraction.TheoreticalComputerScience,411:1387-1451,2010.ChaodongHe,YuxiFu,HongfeiFu.DecidabilityofBehavioralEquivalencesinProcessCalculiwithNameScoping.InProceedingsofFSEN2011.YuxiFu.Fairambients,ActaInformatica,43(8):535-594,2007.YuxiFu.Onquasiopenbisimulation.TheoreticalComputerScience,338:96-126,2005.YuxiFu,ZhengrongYang.Taulawsforpicalculus.TheoreticalComputerScience,308:55-130,2003.YuxiFu,ZhengrongYang.Understandingthemismatchcombinatorinchicalculus.TheoreticalComputerScience,290:779-830,2003.YuxiFu.Bisimulationcongruencesofchicalculus.InformationandComputation,184:201-226,2003.
胡飞

导师姓名
胡飞
研究方向软件工程;
联系方式通讯地址：上海市闵行区东川路800号软件学院1411室

邮政编码：200240

联系电话：13564220522

Email：hufei@cs.sjtu.edu.cn
个人简介

1990获计算机软件理学学士，1993获西北工业大学工学硕士，1998获西北工业大学工学博士。1993/4~2006/8为西北工业大学计算机科学与工程系讲师、副教授、系副主任、教授、副院长，2006/9至今，为上海交通大学软件学院常务副院长、教授。教育部计算机科学教学指导委员会软件工程分会委员、中国航空协会测试技术分会委员、中国软件测试认证委员会(CSTQB)资深专家组成员、《测控技术》杂志编委、《航空计算技术》杂志编委。
代表性论著
1.HairuiZhou,XiaoHan,JianLi,LinaHe,FeiHu.AnEnergyEfficientPreambleSamplingMACProtocolforWirelessSensorNetworks.submittedto57thIEEEGlobalCommunicationsConference(GLOBECOM2013)2.HairuiZhou,JianLi,GuangyuHu,XiaoqiangJi,FeiHu.DeterministicEnd-To-EndDelayAnalysisinanAvionicsNetwork.JournalofAerospaceEngineering,PartG.2012-83.WenhuaLiu,JieAn,FeiHu,JianguoYao,CalibrationofSwashplateforAHelicopterwithVisionBasedMeasurements,2012InternationalConferenceonConnectedVehiclesandExpo(ICCVE2012),Beijing,China.4.HairuiZhou,JianLi,YazhouRen,FeiHu.ActiveDelayVariationControlforImprovingFaultToleranceinanAvionicsNetwork.9thIEEEInternationalWorkshoponFactoryCommunicationSystems(WFCS2012),Lemgo/Detmold,Germany,2012.5.JianguoYao,XiaopingZhu,JianLi,FeiHu,BacksteppingbasedAdaptiveCriticDesignforUncertainNonlinearSystems,TheJournalofControlandIntelligentSystems,vol.38,no.3.pp.139-146,20106.JianLi,XiaoQiangJi,XueLiu,JianGuoYao,andFeiHu,“Topic-BasedResourceAllocationforReal-TimePublish/SubscribeCommunicationSystems”5thInternationalICSTConferenceonCommunicationsandNetworkinginChina,CHINACOM'2010(invitedpaper)
杨旭波

导师姓名
杨旭波
研究方向虚拟现实与数字媒体;计算机图形学
联系方式通讯地址：上海东川路800号软件大楼

邮政编码：200240

联系电话：021-34204142

Email：yangxubo@sjtu.edu.cn
个人简介

1998年博士毕业于浙江大学计算机辅助设计与图形学(CAD&CG)国家重点实验室。1998年至2001年于德国Fraunhofer-IMK研究所虚拟现实系做博士后。2001年至2003年在新加坡国立大学混合现实实验室工作。2003年作为学院引进人才加入上海交通大学电信学院计算机系和软件学院，负责开展图形学、虚拟现实和数字媒体领域的科研工作，并主讲和开设了计算机图形学、游戏程序设计、数字媒体与人机交互等课程。现任中国图学学会计算图学专委会副主任委员,中国系统仿真学会数字娱乐专委会委员,中国系统仿真学会体育仿真与虚拟现实专委会委员,上海市图像图形学会委员。主要研究方向为计算机图形学、虚拟现实与数字媒体，目前主要研究兴趣包括基于物理的流体动画技术、基于投影的增强现实技术和新型互动媒体的设计研发。主持国家自然科学基金、国家863计划、国际企业合作等多项科研项目。已在国际学术会议和期刊上发表学术论文40余篇，获得国家发明专利授权5项。主持的主要科研项目：1.大规模流体动画的压缩采样理论与方法，国家自然科学基金项目，2012-20152.高精度流体动画细节模拟的理论与方法，国家自然科学基金项目，2010-20123.基于投影设备的空间增强现实关键技术研究，国家863课题，2006-20094.ImageBasedRelightingandViewSynthesis，Omron企业合作课题，2006-20085.数字媒体关键支撑技术研究，国家863子课题，2004-20056.面向无准备环境的增强现实技术，教育部留学回国人员启动基金，2005-20087.基于增强现实的移动游戏关键技术研究，华为科技基金项目，2003-2005
代表性论著
1.XiaoyueWu,XuboYang,YangYang.ANovelProjectionTechniquewithDetailCaptureandShapeCorrectionforSmokeSimulation.ComputerGraphicsForum(SpecialIssueofEurographics2013),Volume32,Issue2,pages389–397,May2013.2.Maimone,A.,Yang,X.,Dierk,N.,State,A.,Dou,M.,andFuchs,H.“General-PurposeTelepresencewithHead-WornOpticalSee-ThroughDisplaysandProjector-BasedLighting.”IEEEVirtualReality2013(Orlando,FL,USA,March16-23,2013)(BestShortPaperAward).3.JiaotuanWang,XuboYang,WenlongLu.FFT-UpsamplingforSmokeAnimation.ACM/EurographicsSymposiumonComputerAnimation2011poster.(BestPosterAward)4.BoZhu,XuboYang,YeFan.CreatingandPreservingVorticalDetailsinSPHFluid.ComputerGraphicsForum，Volume29，Number7，2010,(SpecialIssueofPacificGraphics2010).5.BoZhu,XuboYang.AnimatingSandasaSurfaceFlow.Eurographics’2010(shortpaper),Norrkoeping,Sweden,May,2010.6.XuboYang,MiloYip,XiaoyueXu.SpecialEffectsinComputerGames.IEEEComputer,July,2009.7.XinZhao,XuboYang.Real-TimeScreen-SpaceReflectionOcclusion.SiggraphAsia2009sketch.8.JieTan,XuboYang.PhysicallybasedFluidAnimation:ASurvey.ScienceinChina,FSeries,Mar,2009.9.OliverBimber,XuboYang.ChapteronProjector-CameraSystemsinEntertainmentandArt,HandbookofMultimediaforDigitalEntertainmentandArts,Springer(publisher),BorkoFurht(editor),2009.10.WeibinSun,XuboYang,ShuangjiuXiao,WencongHu.RobustCheckerboardRecognitionforEfficientNonplanarGeometryRegistrationinProjector-cameraSystems.IEEE/ACMInternationalWorkshoponProCams,2008.11.XinliChen,XuboYang,ShuangjiuXiao,MengLi.ColorMixingPropertyofaProjector-CameraSystem.IEEE/ACMInternationalWorkshoponProCams,2008.12.JieTan,XuboYang,XinZhao,ZhanxinYang.FluidAnimationwithMulti-LayerGrids.ACMSIGGRAPH/EurographicsSymposiumonComputerAnimation2008poster.13.QiDuan,J.Yu,X.Yang,S.Xiao.APracticalFrameworkforVirtualViewingandRelighting.InternationalConferenceonEntertainmentComputing(ICEC),Shanghai,2007.14.J.Yu,X.Yang,S.Xiao.InteractiveImagebasedrelightingwithphysicallightacquisition.InternationalConferenceonEntertainmentComputing(ICEC),Shanghai,2007.15.M.Yuan,X.Yang,S.Xiao,Z.Ren.GPU-basedRenderingandAnimationforChinesePaintingCartoons.ProceedingsofGraphicsInterface,Canada,2007.