Students

Current Students

Ph.D. Students

1. Yifan Chen, Enrolled at 2019, Worked with me since 2017

   • Publications: [ISSTA18b][SAS21][CIE24]
   • Awards: Presidental Scholarship

2. Ruyi Ji, Enrolled at 2020, Worked with me since 2017

   • Publications: [PLDI20][TOSEM20][OOPSLA20][ICSME21][OOPSLA21][OOPSLA23a][TOPLAS24][PLDI24][FSE24DEMO][FM24]
   • Awards: Presidental Scholarship, National Scholarship, Microsoft Research Asia Fellowship

3. Yunfan Zhang, Enrolled at 2020, Worked with me since 2019

   • Publications: [ASE22]

4. Yican Sun, Enrolled at 2021, Worked with me since 2018

   • Publications: [AAAI20][OOPSLA20][OOPSLA23b][FSE24DEMO][FM24]
   • Awards: Presidental Scholarship, National Scholarship

5. Yiqian Wu, Enrolled at 2021, Worked with me since 2019

   • Publications: [ICSE22a][ISSRE23][CIE24]

6. Zhentao Ye, Enrolled at 2021, Worked with me since 2019

   • Publications: [ICSE22a]

7. Yuanan Xiao, Enrolled at 2022, Worked with me since 2020

   • Publications: [FSE21b][ASE23Demo][TSE24][APR-C24]

8. Jian Fang, Enrolled at 2023, Worked with me since 2023

   • Publications: [FM24]

9. Zhao Zhang, Enrolled at 2023, Worked with me since 2022

   • Publications: [FSE24DEMO]

10. Zhechong Huang, Enrolled at 2024, Worked with me since 2022

    • Publications: [FSE24DEMO]

11. Yuwei Zhao, Enrolled at 2024, Worked with me since 2022

    • Publications: [TOPLAS24][PLDI24]

Master Students

Undergraduates

1. Guanlin Chen, Enrolled at 2021, Worked with me since 2024

2. Weixuan Wang, Enrolled at 2021, Worked with me since 2023

3. Shuhao Zhang, Enrolled at 2021, Worked with me since 2024

4. Tingxuan Xia, Enrolled at 2022, Worked with me since 2024

5. Qianyu Xiao, Enrolled at 2022, Worked with me since 2024

6. Junqi Xu, Enrolled at 2022, Worked with me since 2024

7. Qihao Kong, Enrolled at 2023, Worked with me since 2024

8. Chengwei Shi, Enrolled at 2023, Worked with me since 2024

Alumni

Ph.D.

1. Jun Li, Enrolled at 2009, Worked with me since 2012, Graduated at 2015

   • Publications: [ICWS13][PEPM15][SciChina16][ECOOP16]
   • Thesis Title: API-Oriented Program Migration
   • First job after graduation: Architect, Founder Group

2. Qing Gao, Enrolled at 2011, Worked with me since 2012, Graduated at 2016

   • Publications: [ICSE15a][ASE15][SciChina16][ISSTA18a]
   • Thesis Title: Research on Pattern-Based Automatic Bug-Fixing Techniques
   • Awards: Qualcomm Fellowship (One of the highest fellowships in EECS)
   • First job after graduation: Postdoctoral Researcher, Beida Software

3. Hao Tang, Enrolled at 2013, Worked with me since 2014, Graduated at 2019

   • Publications: [ESOP17][SAS21]
   • Thesis Title: Summary-Based Acceleration of Static Program Analysis
   • Awards: Microsoft Fellowship (One of the highest fellowships in EECS)
   • First job after graduation: Software Engineer, Alibaba

4. Junjie Chen, Enrolled at 2014, Worked with me since 2013, Graduated at 2019

   • Publications: [ASE14][ICST16b][ICSE16][ICSE17b][TSE18][CSUR19][SCIS19c][ISSRE19][ASE19b][FSE20-ITb][JOS20b][FSE21a][ASE23]
   • Thesis Title: Data-Driven Compiler Testing and Debugging
   • Awards: CCF Outstanding Doctorial Dissertation Award, Presidential Fellowship, Qualcomm Fellowship (Two of the highest fellowships in EECS)
   • First job after graduation: Associate Professor, Tianjin University

5. Ruru Yue, Enrolled at 2014, Worked with me since 2016

   • Publications: [ICSME18]
   • First job after graduation: Gaosi Education

6. Jiajun Jiang, Enrolled at 2015, Worked with me since 2015, Graduated at 2020

   • Publications: [ECOOP16][ISSTA18a][SCIS19b][ASE19a][ASE19c][JOS20][FSE20-ITb][JOS20b][ICST21][ICSME21]
   • Thesis Title: Research on Automatic Program Repair Technology for Infrequent Defects
   • Awards: National Scholarship, Ministry of Education; Merit Student Pacesetter Awards, Peking University; Outstanding Graduate Students, Peking University
   • First job after graduation: Associate Research Professor, Tianjin University (Three-year Tenure-Track Position)

7. Bo Wang, Enrolled at 2015, Worked with me since 2014, Graduated at 2021

   • Publications: [ISSTA17][GI18][JOS20][TOSEM20][ASE21][TOSEM22][ASE23Demo][TSE24]
   • Thesis Title: Approaches for Automated Program Repair Based on Program Estimation
   • First job after graduation: Lecturer, Beijing Jiaotong University

8. Daming Zou, Enrolled at 2015, Worked with me since 2013, Graduated at 2020

   • Publications: [ICSE15b][FSE16][TSE19][POPL20][OOPSLA22]
   • Thesis Title: Search-Based Methods for Testing and Analyzing Floating-Point Errors
   • Awards: Outstanding Ph.D. Thesis in Peking University; Presidental Fellowship (One of the highest fellowships in EECS)
   • First job after graduation: Postdoctoral Researcher, ETH Zurich

9. Jingjing Liang, Enrolled at 2016, Worked with me since 2014, Graduated at 2022

   • Publications: [TSE19][ISSRE19][PLDI20][ICSME21]
   • Thesis Title: Improving the Review Process of Automatically Generated Patches
   • First job after graduation: Software Engineer, Huawei

10. Guancheng Wang, Enrolled at 2018, Worked with me since 2017, Graduated at 2024

    • Publications: [TSE18][ASE19b][FSE21a][ISSRE23][ASE23][CIE24]
    • Thesis Title: Research on Probabilistic Delta Debugging
    • First job after graduation: Postdoctoral Researcher, Queen's University, Canada

11. Zeyu Sun, Enrolled at 2019, Worked with me since 2017, Graduated at 2022

    • Publications: [AAAI19][AAAI20][IJCAI20][ASE20][FSE21b][AAAI22][ICSE22b][IJCAI22a][IJCAI22b][SCIS22b][ICSE23a][CJC23][ICSE24]
    • Thesis Title: Research on Key-Constraints-Aware Program Generation Based on Deep Learning
    • Awards: Presidental Scholarship
    • First job after graduation: Assistant Researcher, Zhongguancun Lab->Assistant Researcher, Institute of Software, Chinese Academy of Science

12. Qihao Zhu, Enrolled at 2019, Worked with me since 2017, Graduated at 2024

    • Publications: [AAAI19][AAAI20][IJCAI20][ASE20][FSE21b][AAAI22][IJCAI22a][IJCAI22b][SCIS22b][ICSE23a][ISSRE23][arXiv24][APR-C24][ICSE24]
    • Thesis Title: Deep Learning for Code with Language Definition Awareness: Techniques and Applications
    • Awards: Distinguished Ph.D. Thesis of School of Computer Science, Presidental Scholarship, National Scholarship, ByteDance Scholarship
    • First job after graduation: Founding Team Member, DeepSeek

Master

1. Hansheng Zhang, Enrolled at 2012, Worked with me since 2012, Graduated at 2015

   • Publications: [TSE15][ASE15]
   • Thesis Title: Techniques for Fixing Class-specific Software Defects
   • First job after graduation: Engineer, Hulu.com

2. Yaqing Mi, Enrolled at 2013, Worked with me since 2013, Graduated at 2016

   • Publications: [ICSE15a]
   • Thesis Title: Design and Implementation of an Automatic Memory-Leak Fixing Tool for C Programs
   • First job after graduation: Software Engineer, Agricultural Bank of China

3. Jie Wang, Enrolled at 2014, Worked with me since 2012

   • Publications: [TSE15][ASE15][ICSE17a]
   • Thesis Title: Design and Implementation of a Precise Condition Synthesis Tool for Program Repair
   • First job after graduation: Software Engineer, Gaming Department, Tencent

4. Xiaodong Yang, Enrolled at 2014, Worked with me since 2014

   • Thesis Title: Code Normalization for Statistics
   • First job after graduation: Software Engineer, Advertising Department, Tencent

5. Linfei Zang, Enrolled at 2014, Worked with me since 2014

   • Publications: [GI18]
   • Thesis Title: The Design and Implementation of an Automatic Condition Generator Based on Machine Learning
   • First job after graduation: State Information Center

6. Ran Wang, Enrolled at 2015, Worked with me since 2013

   • Publications: [ICSE15b][FSE16][ASE19c]
   • Thesis Title: The Design and Implementation of a Fault Localization Tool Based on Predicate Spectrum
   • First job after graduation: Google

7. Zhaoping Zhou, Enrolled at 2015, Worked with me since 2014

   • Publications: [ICSE15a]
   • Thesis Title: Improving Defect Prediction Data Sets
   • First job after graduation: Software Engineer, Sohu

8. Zhe Gao, Enrolled at 2017, Worked with me since 2016

   • Publications: [ICSME18]
   • Thesis Title: Design and Implementation of API Migration Tool Supporting Type Mapping
   • First job after graduation: Google, Software Engineer

9. Jiachen Zhang, Enrolled at 2017, Worked with me since 2016

   • Publications: [ICSE17a]
   • Thesis Title: Probabilistic Reasoning-Based Patch Correctness Identification Technique
   • First job after graduation: Biren Technology, Engineer

10. Xinyuan Liu, Enrolled at 2018, Worked with me since 2016, Graduated at 2021

    • Publications: [ICSE18a]
    • Thesis Title: Automatic Domain-Specific Language Adjustment in Program Synthesis
    • First job after graduation: Software Engineer, Amazon

11. Muhan Zeng, Enrolled at 2018, Worked with me since 2016, Graduated at 2021

    • Publications: [ICSE18a][POPL20][ICSE22a]
    • Thesis Title: Fault Localization Based on Probabilistic Graph Models
    • First job after graduation: Software Engineer, Huawei

Bachelor

1. Cong Du, Enrolled at 2010, Worked with me since 2014, Graduated at 2014

   • Thesis Title: An Empirical Study on the Stability of Multi-Process BrowserArchitecture Based on Bug Reports
   • First job after graduation: Joined a startup

2. Jie Wang, Enrolled at 2010, Worked with me since 2012, Graduated at 2014

   • Publications: [TSE15][ASE15][ICSE17a]
   • Thesis Title: Data Retrieval and Pattern Extraction in Bug-Fixing
   • First job after graduation: Master Student, Peking University

3. Chu-Pan Wong, Enrolled at 2010, Worked with me since 2013, Graduated at 2014

   • Publications: [ICSME14]
   • First job after graduation: Ph.D. Student, CMU

4. Kai Zhao, Enrolled at 2010, Worked with me since 2014, Graduated at 2014

   • Thesis Title: Implementaion of a Unit Test Tool on Internal States Checking for Eclipse Platform
   • First job after graduation: Alibaba

5. Chenglong Wang, Enrolled at 2011, Worked with me since 2014, Graduated at 2015

   • Publications: [PEPM15][ECOOP16]
   • Thesis Title: PATL: a Transformation Language for Code Adaptation between APIs
   • Awards: Excellent Bachelor Thesis in Peking University
   • First job after graduation: Ph.D. Student, University of Washington

6. Ran Wang, Enrolled at 2011, Worked with me since 2013, Graduated at 2015

   • Publications: [ICSE15b][FSE16][ASE19c]
   • Thesis Title: An Empirical Study on Precision-Specific Operations
   • First job after graduation: Master Student, Peking Univeristy

7. Yangyi Wu, Enrolled at 2011, Worked with me since 2013, Graduated at 2015

   • Publications: [NASAC14][FCST14]
   • Thesis Title: String Transformation Model based on Context-free Grammars
   • First job after graduation: Engineer, Netease Games

8. Yiming Wu, Enrolled at 2011, Worked with me since 2013, Graduated at 2015

   • Publications: [NASAC14][FCST14][Interwa17]
   • Thesis Title: A Bidirectional C Preprocessor: Design and Implementation
   • First job after graduation: Master Student, CMU

9. Weikun Yang, Enrolled at 2011, Worked with me since 2014, Graduated at 2015

   • Publications: [ICSE15a]
   • Thesis Title: Integrating a String Constraint Solver into Symbolic Execution Engine
   • First job after graduation: Ph.D. Student, Princeton

10. Daming Zou, Enrolled at 2011, Worked with me since 2013, Graduated at 2015

    • Publications: [ICSE15b][FSE16][TSE19][POPL20][OOPSLA22]
    • Thesis Title: A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
    • Awards: Rising Star in EECS (Highest academic honor for undergraduate students in EECS), Top 10 Graduate Thesis in EECS
    • First job after graduation: Master Student, Peking Univeristy

11. Xinrui He, Enrolled at 2012, Worked with me since 2014, Graduated at 2016

    • Publications: [FSE16]
    • First job after graduation: Master Student, CMU

12. Xiangyu Luo, Enrolled at 2012, Worked with me since 2015, Graduated at 2016

    • Publications: [ECOOP16]
    • Thesis Title: A control flow analysis algorithm for Hindley-Milner type system
    • First job after graduation: Engineer, Google, USA

13. Yangqingwei Shi, Enrolled at 2012, Worked with me since 2014, Graduated at 2016

    • Publications: [ISSTA17]
    • Thesis Title: Design and Implementation of Dynamic Mutation Analysis
    • First job after graduation: Master Student, CMU

14. Zhengkai Wu, Enrolled at 2012, Worked with me since 2014, Graduated at 2016

    • Publications: [Interwa17]
    • Thesis Title: Analysis and Implementation of Statistical Multi-Execution Model
    • First job after graduation: Ph.D. Student, UIUC

15. Yufeng Cheng, Enrolled at 2013, Worked with me since 2014

    • Publications: [ICST16a][Interwa17]
    • Thesis Title: Theoretical Proof and Tool Implementation of Bidirectional C Preprocessor
    • First job after graduation: Face++

16. Zhe Gao, Enrolled at 2013, Worked with me since 2016

    • Publications: [ICSME18]
    • Thesis Title: A Realization of Sorting for Refactoring Clones
    • First job after graduation: Master Student, Peking University

17. Tiancheng Jin, Enrolled at 2013, Worked with me since 2015

    • First job after graduation: Master Student, Michigan University

18. Di Wang, Enrolled at 2013, Worked with me since 2015

    • Publications: [ESOP17][TOPLAS24]
    • Thesis Title: Accelerating Program Analyses by Conditional Summarization with Datalog
    • First job after graduation: Ph.D. Student, CMU

19. Runfa Yan(UESTC), Enrolled at 2013, Worked with me since 2016

    • Publications: [ICSE17a]
    • First job after graduation: Yonyou Software

20. Zhixuan Yang, Enrolled at 2013, Worked with me since 2017

    • Thesis Title: A Flow-sensitive and Context-sensitive Points-to Analysis Algorithm
    • First job after graduation: Ph.D. Student, NII

21. Jiachen Zhang, Enrolled at 2013, Worked with me since 2016

    • Publications: [ICSE17a]
    • Thesis Title: An Implementation of API Search Engine based on Signature
    • First job after graduation: Master Student, Peking University

22. Zexuan Zhong, Enrolled at 2013, Worked with me since 2015

    • First job after graduation: Master Student, UIUC

23. Guirong Fu, Enrolled at 2014, Worked with me since 2017

    • Publications: [GI18]
    • First job after graduation: Master Student, ETH Zurich

24. Xinyuan Liu, Enrolled at 2014, Worked with me since 2016

    • Publications: [ICSE18a]
    • Thesis Title: An Implementation of API Search Engine based on Signature
    • Awards: Excellent Bachelor Thesis in Peking University
    • First job after graduation: Master Student, Peking University

25. Xianghao Tang, Enrolled at 2014, Worked with me since 2018

    • Thesis Title: Cost Reduction Techniques for Mutation Analysis under Semi-interpreting Framework
    • First job after graduation: Software Engineer, Microsoft

26. Muhan Zeng, Enrolled at 2014, Worked with me since 2016

    • Publications: [ICSE18a][POPL20][ICSE22a]
    • Thesis Title: Identifying Patch Correctness in Automatic Program Repair
    • First job after graduation: Master Student, Peking University

27. Zhengnan Zhu(Beihang University), Enrolled at 2014, Worked with me since 2017

    • First job after graduation: Master Student, University of Southern California

28. Yifan Chen, Enrolled at 2015, Worked with me since 2017, Graduated at 2019

    • Publications: [ISSTA18b][SAS21][CIE24]
    • Thesis Title: Design of merging-based heuristic summary of Datalog program analysis
    • First job after graduation: Ph.D. Student, Peking University

29. Xiaotao Liu, Enrolled at 2015, Worked with me since 2019, Graduated at 2019

    • Thesis Title: APR Patch Assessment via Mutation Testing

30. Yuhao Zhang, Enrolled at 2015, Worked with me since 2017, Graduated at 2019

    • Publications: [ISSTA18b][FSE20][ICSE23b]
    • Thesis Title: Detection and Repair for Numerical Bugs in Deep Learning Programs
    • Awards: Top 10 Graduation Thesis, EECS, Peking University
    • First job after graduation: Ph.D. Student, University of Wisconsin-Madison

31. Qihao Zhu, Enrolled at 2015, Worked with me since 2017, Graduated at 2019

    • Publications: [AAAI19][AAAI20][IJCAI20][ASE20][FSE21b][AAAI22][IJCAI22a][IJCAI22b][SCIS22b][ICSE23a][ISSRE23][arXiv24][APR-C24][ICSE24]
    • Thesis Title: A Grammar-Based Structural CNN Decoder for Code Generation
    • First job after graduation: Ph.D. Student, Peking University

32. Ruyi Ji, Enrolled at 2016, Worked with me since 2017

    • Publications: [PLDI20][TOSEM20][OOPSLA20][ICSME21][OOPSLA21][OOPSLA23a][TOPLAS24][PLDI24][FSE24DEMO][FM24]
    • Thesis Title: Question Selection for Interactive Program Synthesis
    • Awards: Top 10 Graduate Thesis, EECS, Peking University; Excellent Graduate Thesis in Beijing
    • First job after graduation: Ph.D. Student, Peking University

33. Sirui Lu, Enrolled at 2016, Worked with me since 2018

    • Publications: [JOS20][ASE21]
    • Thesis Title: Acceleration of Fork­based Mutation Analysis
    • First job after graduation: Ph.D. Student, University of Washington

34. Luyao Ren, Enrolled at 2016, Worked with me since 2018

    • Publications: [ASE19a][FSE20][ICSE23b]
    • Thesis Title: Systematic Editing via Learning from Singular Examples: Approach and Tool Implementation
    • First job after graduation: Ph.D. Student, Peking University

35. Ziyi Yang, Enrolled at 2016, Worked with me since 2018

36. Hanliang Zhang, Enrolled at 2016, Worked with me since 2018

37. Yunfan Zhang, Enrolled at 2016, Worked with me since 2019

    • Publications: [ASE22]
    • Thesis Title: Test Generation for Complex Heap Inputs Based on Syntax-Guided Synthesis
    • First job after graduation: Ph.D. Student, Peking University

38. Ruobing Shen, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Publications: [FSE21a]
    • Thesis Title: Probabilistic Delta Debugging
    • First job after graduation: Software Engineerer, Hudson River Trade, Singapore

39. Yican Sun, Enrolled at 2017, Worked with me since 2018, Graduated at 2021

    • Publications: [AAAI20][OOPSLA20][OOPSLA23b][FSE24DEMO][FM24]
    • Thesis Title: Quantitative Analysis of Assertion Violations in Probabilistic Programs
    • Awards: Top 10 Graduate Thesis, EECS, Peking University
    • First job after graduation: Ph.D. Student, Peking University

40. Yiqian Wu, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Publications: [ICSE22a][ISSRE23][CIE24]
    • Thesis Title: The Design and Implementation of Probabilistic Fault Localization
    • First job after graduation: Ph.D. Student, Peking University

41. Chenyang Yang, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Publications: [SAS21][ASE23Demo][TSE24]
    • Thesis Title: Generating Documentation for Data Wrangling Code
    • First job after graduation: Ph.D. Student, Carnegie Mellon University

42. Zhentao Ye, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Publications: [ICSE22a]
    • Thesis Title: Test generation based on probability inference and abstract interpretation
    • First job after graduation: Ph.D. Student, Peking University

43. Shiran Zhang, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Thesis Title: Bug Detection and Repair Based on Single Example: Interactive Language Design and Tool Implementation
    • First job after graduation: Master Student, New York University

44. Yuchen Gu, Enrolled at 2018, Worked with me since 2020, Graduated at 2022

    • Publications: [OOPSLA22]
    • Thesis Title: Multiple Precision Targeting for Numerical Programs
    • First job after graduation: Ph.D. Student, ETH Zurich

45. Siyuan Li, Enrolled at 2018, Worked with me since 2021

    • Publications: [FSE24DEMO]
    • Thesis Title: ICPM: A Competitive Programming Dataset Based on a Constraint Modelling Language
    • First job after graduation: Ph.D. Student, Peking University

46. Yuanfeng Shi, Enrolled at 2018, Worked with me since 2020

    • Publications: [OOPSLA22]

47. Jingtao Xia, Enrolled at 2018, Worked with me since 2020, Graduated at 2022

    • Publications: [OOPSLA21]
    • Thesis Title: A new approach to recursive program synthesis based on STUN
    • First job after graduation: Ph.D. Student, UCSB

48. Yuanan Xiao, Enrolled at 2018, Worked with me since 2020, Graduated at 2022

    • Publications: [FSE21b][ASE23Demo][TSE24][APR-C24]
    • Thesis Title: Accelerating Patch Validation in Program Repair with Mutation Testing Techniques
    • First job after graduation: Ph.D. Student, Peking University

49. Chaozhe Kong, Enrolled at 2019, Worked with me since 2022, Graduated at 2023

    • Publications: [OOPSLA23a]
    • Thesis Title: Pruning grammar using input-output examples for accelerating oracle-guided inductive synthesis
    • First job after graduation: Software Engineering, Metabit

50. Xuanyu Peng, Enrolled at 2019, Worked with me since 2021, Graduated at 2023

    • Publications: [OOPSLA23b][FSE24DEMO]
    • First job after graduation: Ph.D. Student, Univeristy of Wisconsin-Madison

51. Zhao Zhang, Enrolled at 2019, Worked with me since 2022, Graduated at 2023

    • Publications: [FSE24DEMO]
    • Thesis Title: Improvement and Application of Algorithm Synthesis Datasets
    • First job after graduation: Ph.D. Student, Peking University

52. Ruidong Zhu, Enrolled at 2019, Worked with me since 2020

    • Publications: [ASE22]

53. Tianran Zhu, Enrolled at 2019, Worked with me since 2021, Graduated at 2023

    • Publications: [FSE24DEMO]
    • Thesis Title: Automated Proof of a Class of Program Equivalence Problems

54. Zhechong Huang, Enrolled at 2020, Worked with me since 2022, Graduated at 2024

    • Publications: [FSE24DEMO]
    • Thesis Title: Automatic code synthesis with proof for type correctness
    • First job after graduation: Ph.D. Student, Peking University

55. Yujie Liu, Enrolled at 2020, Worked with me since 2022

56. Yicheng Qian, Enrolled at 2020, Worked with me since 2022, Graduated at 2024

    • Thesis Title: A practical monomorphization procedure for dependent type theory
    • First job after graduation: Ph.D. Student, Stanford University

57. Yi Yin, Enrolled at 2020, Worked with me since 2022

58. Yuwei Zhao, Enrolled at 2020, Worked with me since 2022, Graduated at 2024

    • Publications: [TOPLAS24][PLDI24]
    • Thesis Title: Automatically Synthesis Dynamic Programming Algorithms -- A Perspective from Abstract Interpretation
    • First job after graduation: Ph.D. Student, Peking University

59. Kaiwen Zhou, Enrolled at 2020, Worked with me since 2023, Graduated at 2024

    • Thesis Title: Proving properties of list functions by switching representation

60. Xuanlin Jiang, Enrolled at 2021, Worked with me since 2023

    • Publications: [FM24]