Guannan Wei
Research
Publications
Talks/  Posters
Services
Teaching
Quotes
1/8/2022

Guannan Wei

Email: guannanwei at purdue.edu
Address: 305 N. University Street, West Lafayette, IN 47907
Github | Twitter | Google Scholar

I’m a Ph.D. student in Computer Science at Purdue University, working with Tiark Rompf since 2017. 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, working in Matt Might’s research group. I majored in Laws and Business Management as an undergraduate at the China University of Geosciences, Beijing.

I was an intern at SambaNova Systems (Summer 2020, remote), Galois (Summer 2018, Portland), Baidu (Fall 2013, Beijing), and two tech-startups (2012-2013, 2014-2015, Beijing).

In my Blog, I occasionally take notes of what I read, collect elegant programs, or post personal thoughts. I like taking pictures, check out my gallery and Instagram. I’m also interested in economics, Austrian Economics, and astronomy.

Research

My research interest is programming languages. Specifically, I’m interested in functional programming, metaprogramming, program analysis, type/effect systems, and language design and implementation.

Publications

Conference Papers

  1. Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
    Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, Tiark Rompf
    Proceedings of the ACM on Programming Languages, Volume 5 (OOPSLA 2021). Online/Chicago, IL, USA
    [pdf] [acm dl] [artifact]

  2. LLSC: A Parallel Symbolic Execution Compiler for LLVM IR (Demo)
    Guannan Wei, Shangyin Tan, Oliver Bračevac, Tiark Rompf
    Proceedings of The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)
    [pdf] [acm dl] [demo]

  3. Compiling Symbolic Execution with Staging and Algebraic Effects
    Guannan Wei, Oliver Bračevac, Shangyin Tan, Tiark Rompf
    Proceedings of the ACM on Programming Languages, Volume 4 (OOPSLA 2020). Online
    [pdf] [acm dl] [artifact]

  4. 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]

  5. 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]

  6. 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]

  7. 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]

Workshop Papers

  1. Towards Partially Evaluating Symbolic Interpreters for All
    Shangyin Tan, Guannan Wei, Tiark Rompf
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), co-located with POPL 2022. Philadelphia, PA, USA

  2. 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] [bib]

  3. 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. Long Beach, CA, USA
    [pdf] [bib]

Talks/Posters

Services

Open Source Contribution

Teaching

Quotes

Keep fun in computing — Alan Perlis