Commit graph

44 commits

Author SHA1 Message Date
fc1c6dff2a Add synthesize.sh in demo -- silences useless warnings 2019-10-18 11:43:20 +02:00
fc080b8d15 Add slides about fixpoint 2019-10-18 11:34:17 +02:00
baca8da49a Add pictures on title slide 2019-10-18 10:40:13 +02:00
c5a0398449 Increase itemize itemsep 2019-10-17 16:33:56 +02:00
36722963a1 Increase font size 2019-10-17 16:29:18 +02:00
3b9768c76a Refactor "complex & slow" 2019-10-17 16:18:08 +02:00
2870f6a51d Slide 11 not moving anymore 2019-10-17 15:21:32 +02:00
cfb31b5c3e Add slide before Unwinding data compilation 2019-10-17 15:17:58 +02:00
67a5fbfe20 Enhance stack image
Different stack frame sizes, no main RA, %rsp -> stack pointer
2019-10-16 10:18:48 +02:00
cf661b00a5 Amends while doing beta test 2019-10-15 15:57:52 +02:00
5ecaeca632 Add demo files 2019-10-15 13:09:30 +02:00
fe242b9ac6 Add old demo files 2019-10-15 13:09:29 +02:00
bb80c3be9a Remove "(ABI)" (unclear) 2019-10-15 13:09:29 +02:00
7a443bba1b Clean overlays 2019-10-15 13:09:29 +02:00
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