Research

Science is the work of the human mind, which is destined rather to study than to know, to seek the truth rather than to find it.
— Évariste Galois

Publications

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

  • The 800 Pound Python in the Machine Learning Room
    James M. Decker, Dan Moldovan, Guannan Wei, Vritant Bhardwaj, Gregory Essertel, Fei Wang, Alexander B. Wiltschko, Tiark Rompf
    working draft

  • Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce: What Static Analysis can Learn From High-Performance DSLs
    Gregory Essertel, Guannan Wei, Tiark Rompf
    working draft

  • Refunctionalization of Abstract Abstract Machines (Functional Pearl)
    Guannan Wei, James Decker, Tiark Rompf
    International Conference on Functional Programming (ICFP ‘18). St. Louis, MO, USA. September 2018
    PDF (Author’s copy w/ corrections) | PDF (ACM DL) | Artifact

Talks

  • Refunctionalization of Abstract Abstract Machines (Functional Pearl)
    International Conference of Functional Programming (ICFP ‘18). September 24, 2018. St. Louis, MO
    Slides (PDF)

  • Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce
    Purdue Programming Language Seminar. January 26, 2018. West Lafayette, IN
    Slides (PDF)
    Midwest Programming Languages Summit (MWPLS ‘17). December 1, 2017. Bloomington, IN
    Slides (PDF)

Posters

  • Refunctionalization of Abstract Abstract Machines (Functional Pearl)
    International Conference of Functional Programming (ICFP ‘18). September 24, 2018. St. Louis, MO
    Poster (PDF)

  • Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce
    Huawei Research Summit. March 8, 2018. Urbana-Champaign, IL
    Poster (PDF)

Translation