教师名录
邮箱:chenyt@sjtu.edu.cn
地址:电院3号楼511
所在研究所:智能软件与系统研究所
个人简介
陈雨亭,1946伟德国际源自英国研究员,博士生导师,主要研究系统软件、 编程语言与编译器等,在 TOSEM、 TSE、 PLDI、 ICSE、 FSE、ISSTA、 ASE 重要国际会议与期刊上发表或被接收过约 80 篇论文,授权技术发明专利 8项,软件著作权 4 项;主持国家重点研发项目课题1项,自然科学基金面上项目1项;曾参与国家 973 计划项目 1 项、自然科学基金重点项目 2 项、科技部重点研发项目 1 项。获 2020 年度上海市技术发明奖一等奖、 2018 年度 CCF NASAC-东软青年软件创新奖、 ACM SIGSOFT ICSE 2023 杰出论文奖、 ISSRE 2021 最佳论文提名等。
欢迎对如下科研方向感兴趣的同学和我进一步讨论:人工智能、编程语言、编译器和虚拟机。
教育背景
1996.9~2003.3 南京大学计算机系 本科/硕士
2003.4~2007.3 日本法政大学计算机专业 博士
工作履历
2007.4~2008.2 美国德州大学达拉斯分校,博士后
2008.5~2015.5 1946伟德国际源自英国软件公司,讲师
2014.9~2015.8 美国加州大学戴维斯分校,访问学者
2015.5~ 1946伟德国际源自英国计算机系/1946伟德国际源自英国,讲师,副教授(2016.12~2024.12)、研究员(2024.12~)、计算机系副系主任(2022.1~2025.3)
教授课程
教授计算机专业本科生课程《问题求解与实践》
论文发表
代表性论文:
1、Xuan Li, Shuai Yuan, Xiaodong Gu, Yuting Chen, Beijun Shen: Few-shot code translation via task-adapted prompt learning. J. Syst. Softw. 212: 112002 (2024)
2、Dong Liu, He Jiang, Shikai Guo, Yuting Chen, Lei Qiao: What's Wrong With Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs. IEEE Trans. Reliab. 73(1): 695-709 (2024)
3、Jinming Ma, Xiuhong Li, Zihan Wang, Xingcheng Zhang, Shengen Yan, Yuting Chen, Yueqian Zhang, Minxi Jin, Lijuan Jiang, Yun Liang, Chao Yang, Dahua Lin: A Holistic Functionalization Approach to Optimizing Imperative Tensor Programs in Deep Learning. DAC 2024: 200:1-200:6
4、Pengbo Nie, Zihan Wang, Chengcheng Wan, Ziyi Lin, He Jiang, Jianjun Zhao, Yuting Chen: OPASS: Orchestrating TVM's Passes for Lowering Memory Footprints of Computation Graphs. ICSME 2024: 175-186
5、Pengbo Nie, Chengcheng Wan, Jiayu Zhu, Ziyi Lin, Yuting Chen, Zhendong Su: Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations. ACM Trans. Softw. Eng. Methodol. 32(1): 3:1-3:32 (2023)
6、Xinyuan Miao, Ziyi Lin, Shaojun Wang, Lei Yu, Sanhong Li, Zihan Wang, Pengbo Nie, Yuting Chen, Beijun Shen, He Jiang:
7、Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX. ICSE 2023: 1648-1660
8、Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao: GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. ISSTA 2023: 904-916
9、Shuai Zhang, Xiaodong Gu, Yuting Chen, Beijun Shen: InfeRE: Step-by-Step Regex Generation via Chain of Inference. ASE 2023: 1505-1515
10、Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao: Automatically repairing tensor shape faults in deep learning programs. Inf. Softw. Technol. 151: 107027 (2022)
11、Zhide Zhou, He Jiang, Zhilei Ren, Yuting Chen, Lei Qiao: LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM. IEEE Trans. Reliab. 71(2): 896-910 (2022)
12、Zihan Wang, Chengcheng Wan, Yuting Chen, Ziyi Lin, He Jiang, Lei Qiao: Hierarchical memory-constrained operator scheduling of neural architecture search networks. DAC 2022: 493-498
13、Jingyu Wang, Shengan Zheng, Ziyi Lin, Yuting Chen, Linpeng Huang: Zebra: An Efficient, RDMA-Enabled Distributed Persistent Memory File System. DASFAA (1) 2022: 341-349
14、Yuetian Mao, Shuai Yuan, Nan Cui, Tianjiao Du, Beijun Shen, Yuting Chen: DeFiHap: Detecting and Fixing HiveQL Anti-Patterns. Proc. VLDB Endow. 14(12): 2671-2674 (2021)
15、Litong You, Tianxiao Gu, Shengan Zheng, Jianmei Guo, Sanhong Li, Yuting Chen, Linpeng Huang: JPDHeap: A JVM Heap Design for PM-DRAM Memories. DAC 2021: 31-36
16、Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao: Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems. ISSRE 2021: 11-21
17、Weizhao Yuan, Hoang H. Nguyen, Lingxiao Jiang, Yuting Chen, Jianjun Zhao, Haibo Yu: API recommendation for event-driven Android application development. Inf. Softw. Technol. 107: 30-47 (2019)
18、Litong You, Hao Xu, Qipeng Zhang, Tianyou Li, Chen Li, Yuting Chen, Linpeng Huang: JDap: Supporting in-memory data persistence in javascript using Intel's PMDK. J. Syst. Archit. 101 (2019)
19、Yuting Chen, Ting Su, Zhendong Su: Deep differential testing of JVM implementations. ICSE 2019: 1257-1268
20、Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su: Guided, stochastic model-based GUI testing of Android apps. ESEC/SIGSOFT FSE 2017: 245-256
21、Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao: Coverage-directed differential testing of JVM implementations. PLDI 2016: 85-99
22、Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao: Supporting Selective Undo for Refactoring. SANER 2016: 13-23
23、Christoph Bockisch, Marnix van 't Riet, Haihan Yin, Mehmet Aksit, Ziyi Lin, Yuting Chen, Jianjun Zhao: Trace-based debugging for advanced-dispatching programming languages. ICOOOLPS@ECOOP 2015: 3:1-3:10
24、Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao: JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). ASE 2015: 178-189
25、Yuting Chen, Zhendong Su: Guided differential testing of certificate validation in SSL/TLS implementations. ESEC/SIGSOFT FSE 2015: 793-804
26、Qiang Sun, Yuting Chen, Jianjun Zhao: Constraint-based locality analysis for X10 programs. PEPM 2013: 137-146
27、Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao: Extracting URLs from JavaScript via program analysis. ESEC/SIGSOFT FSE 2013: 627-630
28、Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid: Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. 38(5): 1100-1122 (2012)
29、Qiang Sun, Jianjun Zhao, Yuting Chen: Probabilistic Points-to Analysis for Java. CC 2011: 62-81
30、Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen: Frequency Estimation of Virtual Call Targets for Object-Oriented Programs. ECOOP 2011: 510-532
31、Cheng Zhang, Dacong Yan, Jianjun Zhao, Yuting Chen, Shengqian Yang: BPGen: an automated breakpoint generator for debugging. ICSE (2) 2010: 271-274
32、Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao: A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs. ASE 2009: 221-232
更多论文,请参考:https://dblp.org/pid/21/6510-1.html
资助项目
正主持国家重点研发计划项目课题1项、国家自然科学基金委项目1项,曾主持、参与多个国家自然科学基金委重点项目、科技部项目及横向项目。
获奖信息
曾获ACM SigSoft ICSE 2023杰出论文奖及多个会议的最佳论文奖;担任SFPVV 2025的程序委员会主席,担任多个国际会议的程序委员会委员。
学术服务
中国计算机学会系统软件专委会常务委员、形式化专委会委员