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 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:

CPSC 311 Definition of Programming Languages (Racket), Graduate Teaching Assistant

Past terms:

121 Discrete Mathematics and Digital Circuits
210 Software Construction (Java)
221 Data Structures and Algorithms (C++)
303 Numerical Approximation and Discretisation (MATLAB)
304 Relational Databases
312 Functional and Logic Programming (Haskell, Prolog)
322 Artificial Intelligence
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.