Guannan Wei

I’m a second-year Ph.D. student in Computer Science at Purdue University, working with Tiark Rompf. I’m interested in programming and programming languages. I’m also a member of Purdue’s Programming Languages (PurPL) group.

Previously I received M.S. degree in Computer Science from University of Utah, under Matt Might’s research group. I majored in Laws and Business Management as an undergraduate at China University of Geosciences, Beijing.

I worked as an intern at Galois (Summer 2018) in Portland, Baidu (Fall 2013), and two tech-startups (2012-2013, 2014-2015) in Beijing.

I like photography, check out my gallery and Instagram. I’m also interested in economics, Austrian Economics, and astronomy.

I occasionally write something in my Blog about computer science or what I read recently.

Research

Papers

• Staged Abstract Interpreter: Fast and Modular Whole-Program Analysis via Meta-Programming
  Guannan Wei, Yuxuan Chen, Tiark Rompf
  In submission

• Snek: Overloading Python Semantics via Virtualization
  James M. Decker, Dan Moldovan, Andrew A. Johnson, Guannan Wei, Fei Wang, Grégory Essertel, Alexander B. Wiltschko, Tiark Rompf
  In submission

• Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce: What Static Analysis can Learn From High-Performance DSLs
  Grégory Essertel, Guannan Wei, Tiark Rompf
  In submission

• Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
  Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf
  Workshop on Learning and Reasoning with Graph-Structured Representations (co-located with ICML 2019)
  [pdf]

• Refunctionalization of Abstract Abstract Machines (Functional Pearl)
  Guannan Wei, James M. Decker, Tiark Rompf
  International Conference on Functional Programming (ICFP 2018). St. Louis, MO, USA. September 2018
  [pdf][acm dl][artifact]

Talks and Posters

• Refunctionalization of Abstract Abstract Machines (Functional Pearl)
  ICFP 2018. St. Louis, MO. September 24, 2018 [slides][poster]
  

• Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce
  Purdue PL Seminar. West Lafayette, IN. January 26, 2018 [slides]
  Midwest PL Summit (MWPLS 2017). Bloomington, IN. December 1, 2017 [slides]
  Huawei Research Summit. Urbana-Champaign, IL. March 8, 2018 [slides]
  

Services

• Student Volunteer, ICFP 2019

• Artifact Evaluation Committee Member, ICFP 2019

• Subreviewer, ICLR 2019

Translation

• Voluntary translator, Software Foundation (Chinese edition)

Teaching

• Teaching Assistant, CS502 Compilers (graduate), Purdue University, Fall 2019

• Lab Instructor, CS252 System Programming (undergraduate), Purdue University, Fall 2017, Spring 2018

Contact

Email: guannanwei at purdue.edu

Address: 305 N. University Street, West Lafayette, IN 47907

Github: @Kraks

Twitter: @GuannanWei