No Description

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

README.md

mpri-absint-article

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

Fulltext version