Research

Publications

  • Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce
    Gregory Essertel, Guannan Wei, Tiark Rompf
    under submission

  • 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