Commit graph

30 commits

Author SHA1 Message Date
f21ad366e7 Conclusive slide 2019-10-15 13:09:29 +02:00
a1cc44cfd8 eh_elf sketch instead of "Compilation overview" 2019-10-15 13:09:29 +02:00
ebb16df755 "Demo time!": unify fonts 2019-10-15 10:44:37 +02:00
a10def8e4c Working on an example: state assumptions 2019-10-15 10:43:04 +02:00
4143216317 Gdb backtrace: clean up, RA colours 2019-10-14 20:16:20 +02:00
8dd9195a52 Redesign call stack image 2019-10-14 20:08:08 +02:00
a59dec512e Add Torvalds' picture 2019-10-14 19:08:12 +02:00
bf3d847cf6 Squash "why does slow matter" into prev slide 2019-10-14 19:07:34 +02:00
79f6500721 The real DWARF: use .PLT expression 2019-10-14 17:59:08 +02:00
9d6d60737b DW. unwinding data: explain table 2019-10-14 17:34:51 +02:00
e943b3d799 Remove useless slide titles 2019-10-14 16:55:43 +02:00
e17dab21e4 Footer: only slide number 2019-10-14 16:53:16 +02:00
2f4d546b20 Intro slide: webpage + funding 2019-10-14 16:29:41 +02:00
93dcc441a3 Modifications made with Francesco + remove useless section title slides 2019-10-14 16:06:59 +02:00
f350dfa4d6 Remove tons of \pause{} 2019-10-11 11:57:32 +02:00
4f585c0f13 Update speedup results tables 2019-10-11 11:45:35 +02:00
a93a884718 make upload updated 2019-10-11 11:45:23 +02:00
4ccd4618f7 Cut out a bit more 2019-10-08 12:13:01 +02:00
7cd581fbd0 Cut out a large part of the content 2019-10-08 12:00:43 +02:00
a22b55e086 Change README for OOPSLA19 2019-10-08 12:00:27 +02:00
dad989d757 Last minute changes 2018-11-14 10:13:19 +01:00
ede4714a01 Few amends on the slides 2018-11-08 20:35:15 +01:00
b6197a7d7c Add synthesis 2018-11-08 19:37:04 +01:00
e74efb43d5 Start synthesis § 2018-11-07 08:50:04 +01:00
751ff79d67 Fill in main content for §2 2018-11-06 13:14:35 +01:00
f0d2f6bca5 Fix moving boxes in Example slide (§2) 2018-11-06 12:52:05 +01:00
31587ff8bb Finish "a real bug" 2018-11-06 12:28:17 +01:00
420eeb6a30 Work on synthesis, "A real bug!" to be finished 2018-11-05 16:19:19 +01:00
f2b188bd7a Import files from m2 internship defense slides 2018-10-26 15:42:37 +02:00
c2bef9c053 Initial commit 2018-10-26 15:24:14 +02:00