Rui Ge

E-mail: rge [at] cs [dot] ubc [dot] ca

Mail: 201-2366 Main Mall, Vancouver, BC V6T 1Z4 Canada

Rui Ge (葛 瑞) is a PhD candidate in the Department of Computer Science at the University of British Columbia. He studies programming languages and verification under the co-supervision of Dr. Ronald Garcia and Dr. Alexander J. Summers. He received his BEng from Zhejiang University, BSc (with Distinction) from Simon Fraser University, and MSc from the University of British Columbia.

Research Interests

formal methods; automated reasoning; satisfiability modulo theories (SMT); multi-stage programming; knowledge representation and reasoning

Recent Refereed Publications

[J1]

Refining Semantics for Multi-Stage Programming
Rui Ge, and Ronald Garcia
Journal of Computer Languages. 51, 222–240. April 2019
[DOI]

[C2]

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations
Rui Ge, Ronald Garcia, and Alexander J. Summers
In IJCAR ’24: International Joint Conference of Automated Reasoning. July 2024
[DOI]
[Rui's talk at PNW PLSE '24] (No recording of Rui's IJCAR talk available)

[C1]

Refining Semantics for Multi-stage Programming
Rui Ge, and Ronald Garcia
In GPCE ’17: 16th ACM SIGPLAN Conference on Generative Programming: Concepts and Experiences. October 2017
[DOI]
[Rui's talk]

Teaching

Current term:

Past terms:

CPSC 121 Discrete Mathematics and Digital Circuits
CPSC 210 Software Construction (Java)
CPSC 221 Data Structures and Algorithms (C++)
CPSC 303 Numerical Approximation and Discretisation (MATLAB)
CPSC 304 Relational Databases
CPSC 311 Definition of Programming Languages (Racket)
CPSC 312 Functional and Logic Programming (Haskell, Prolog)
CPSC 322 Artificial Intelligence
CPSC 411 Compiler Construction (Java)

We acknowledge the support of the Natural Sciences and Engineering Research Council of Canada (NSERC). Nous remercions le Conseil de recherches en sciences naturelles et en génie du Canada (CRSNG) de son soutien.