Dosyaya git
Théophile Bastian 4bf67a0aa0 Add source article 2018-03-07 09:50:54 +01:00
img Add conclusion slide 2018-03-04 13:42:59 +01:00
.gitignore Add source article 2018-03-07 09:50:54 +01:00
Makefile Enhance Makefile 2018-03-04 00:11:23 +01:00
README.md Initial commit 2018-03-03 23:51:42 +01:00
article.pdf Add source article 2018-03-07 09:50:54 +01:00
math.sty Add hot path stitching 2018-03-04 22:33:53 +01:00
my_listings.sty Initialize tex project 2018-03-04 00:06:49 +01:00
slides.tex Add correctness proof sketches 2018-03-05 00:29:59 +01:00

README.md

mpri-absint-article

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

Fulltext version