Introduction to Staged Abstract Interpreters
Exploring Staged Abstract Interpreters reveals several interesting facts. Authors: Guannan Wei, Yuxuan Chen, Tiark Rompf Presented at SPLASH 2019.
Staged Abstract Interpreters Comprehensive Overview
SAIL: Sound Specifically, we define the problem as calculating the probability of the Authors: Sven Keidel, Sebastian Erdweg Presented at SPLASH 2019.
Using
Summary & Highlights for Staged Abstract Interpreters
- Abstract interpreters
- Hi, this is @GuannanWei, a PhD student at @PurdueCS working with @etaconversion, @ShangyinT, and @tiarkrompf.
- Presenter: David Darais.
- https://pldi22.sigplan.org/details/pldi-2022-pldi/28/
- Recorded at the 2017 Oregon Programming Languages Summer School.
Stay tuned for more updates related to Staged Abstract Interpreters.
