Guannan Wei

I’m a third-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 the 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 was an intern at Galois (Summer 2018, Portland), Baidu (Fall 2013, Beijing), and two tech-startups (2012-2013, 2014-2015, Beijing).

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

In my Blog, I occasionally take notes of what I read, or collect interesting and elegant programs, or share personal thoughts.

Research

Papers

• Towards Verified Binary Raising
  Joe Hendrix, Guannan Wei, Simon Winwood
  Workshop on Instruction Set Architecture Specification (co-located with ITP 2019). Portland, OR, USA
  [pdf]

• Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-Programming
  Guannan Wei, Yuxuan Chen, Tiark Rompf
  Proceedings of the ACM on Programming Languages, Volume 3 (OOPSLA 2019). Athens, Greece
  [pdf] [acm dl] [artifact]

• Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
  Grégory Essertel, Guannan Wei, Tiark Rompf
  Proceedings of the ACM on Programming Languages, Volume 3 (OOPSLA 2019). Athens, Greece
  [pdf] [acm dl] [artifact]

• BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, Xiangyu Zhang
  Proceedings of the ACM on Programming Languages, Volume 3 (OOPSLA 2019). Athens, Greece
  [pdf] [acm dl] [artifact]

• 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
  Proceedings of the ACM on Programming Languages, Volume 2 (ICFP 2018). St. Louis, MO, USA
  [pdf] [acm dl] [artifact]

Talks and Posters

• Staged Abstract Interpreters
  OOPSLA 2019. Athens, Greece. October 23, 2019 [slides]
  

• 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: MWPLS & PurPL Fest 2019, ICFP 2019

• Artifact Evaluation Committee Member: CAV 2020, ICFP 2019

• Sub-reviewer: ICLR 2019

Teaching

• Teaching Assistant, CS352 Compilers (undergraduate), Purdue University, Spring 2020

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

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

Quotes

Keep fun in computing — Alan Perlis

Contact

Email: guannanwei at purdue.edu

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

Github: @Kraks

Twitter: @GuannanWei