No Description

Théophile Bastian 4bf67a0aa0 Add source article 2 years ago
img dbe16362f6 Add conclusion slide 2 years ago
.gitignore 4bf67a0aa0 Add source article 2 years ago
Makefile f6798ea678 Enhance Makefile 2 years ago
README.md 227f6ceed3 Initial commit 2 years ago
article.pdf 4bf67a0aa0 Add source article 2 years ago
math.sty a91d6a3075 Add hot path stitching 2 years ago
my_listings.sty de48b650b1 Initialize tex project 2 years ago
slides.tex 2ae3e1aa2b Add correctness proof sketches 2 years ago

README.md

mpri-absint-article

Article presentation for "Tracing compilation by abstract interpretation", Stefano Dissegna, Francesco Logozzo, Francesco Ranzato.

Fulltext version