Rongxiao Fu

Research Interests

Programming Languages, Type Systems, Functional Programming, Row Polymorphism

Research Projects

• Typed ELEVATE (2019 ~ Now) - GitHub Repo.
  • A strategy language which describes program transformations as compositions of rewrite rules.
  • Designed a row polymorphic type system with traces helping reject unproductive compositions of strategies, proved the soundness of the type system, and showed that unproductive strategies always evaluate to failures at run-time.
  • Implemented in Haskell.
• RISE (2019 ~ 2020) - GitHub Repo.
  • A functional language with dependent datatype for describing data-parallel computations.
  • Improved the type inference algorithm for RISE, avoiding repeated type inference during rewriting while ensuring the rewrite rules are type-preserving.
  • Implemented in Scala.

Publications

• Traces and Threads for Strategic Rewriting - Submission to ESOP 2022
• Row-Polymorphic Types for Strategic Rewriting - arXiv

Other Research Activities

• On Traces and Threads for Safe Strategic Rewriting - Talk at PLInG seminar in the University of Edinburgh (2021)
• Organiser of an Agda workshop within the FATA section in the University of Glasgow (2020)
• Strategic Rewriting with Mini-Elevate - Talk at Intra-Systems Seminar in the University of Glasgow (2020)
• Committee Member in Artifact Evaluation Committee within the Research Artifacts-track of CC 2020

Education and Qualifications

• 2021 ~ Now (in progress): PhD in Informatics: ICSA
  • University of Edinburgh, College of Science and Engineering, School of Informatics
• 2019 ~ 2021 (transferred): PhD in Computing Science
  • University of Glasgow, College of Science & Engineering, School of Computing Science
  • Transferred to the University of Edinburgh
• 2017 ~ 2018: MSc in Computer Science
  • University of Edinburgh, College of Science and Engineering, School of Informatics
  • Class of Award: With Distinction
• 2013 ~ 2017: BEng (Honours) in Electronics and Electrical Engineering, BSc in Electronic and Information Engineering
  • University of Electronic Science and Technology of China, Glasgow College
  • UoG Degree Classification: Upper Second Class Honours (2:1)

Programming Languages

codewars 1 kyu

Haskell, JavaScript, Scala, Java, Coq, Agda, C, C++, Python, MATLAB

Work Experience and Student Activities

• Lab Assistant at the School of Computing Science, University of Glasgow (2021)
  • Worked as a lab assistant for the course Programming Languages (H) COMPSCI4016 (2021).
• Teaching Assistant at the Glasgow College, UESTC (2016~2017)
  • Worked as a teaching assistant for the course Introductory Programming (2016~2017).
  • Worked as a teaching assistant for the course Microelectronic Systems (2017).