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 languages, functional programming, metaprogramming, and program analysis. I’m also a member of the 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, 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
Artifact Evaluation Committee Member: OOPSLA 2020, ICFP 2020, CAV 2020, ICFP 2019
Student Volunteer: MWPLS & PurPL Fest 2019, ICFP 2019
Sub-reviewer: ICLR 2019
Voluntary translator, Software Foundations (Chinese edition)
Contributed to Scala documentation, LMS, Highlight.js, etc.
Teaching
Lead 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