Xuanrui Qi

Registered user since Mon 31 Jul 2017

Name:Xuanrui Qi
Bio:

I am a master’s student in computer science at Tufts University, where I am advised by Sam Guyer. Previously, I was a research visitor with Jacques Garrigue, at Nagoya University, Japan, and before that an undergraduate student at Tufts University, where I graduated with a B.S. in 2018.

Affiliation:Tufts University
Personal website:https://www.xuanruiqi.com
Research interests:Dependent types, interactive proof assistants, functional programming languages, programming languages

Contributions

SPLASH 2018 A Practical and Extensible Framework for Garbage Collection Tracing
Show activities from other conferences

SPLASH 2018-profile
View general profile