-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdemo.html
170 lines (133 loc) · 6.4 KB
/
demo.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>reveal.js – The HTML Presentation Framework</title>
<meta name="description" content="A framework for easily creating beautiful presentations using HTML">
<meta name="author" content="Hakim El Hattab">
<meta name="apple-mobile-web-app-capable" content="yes">
<meta name="apple-mobile-web-app-status-bar-style" content="black-translucent">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="css/reset.css">
<link rel="stylesheet" href="css/reveal.css">
<link rel="stylesheet" href="css/theme/black.css" id="theme">
<!-- Theme used for syntax highlighting of code -->
<link rel="stylesheet" href="lib/css/monokai.css">
<!-- Printing and PDF exports -->
<script>
var link = document.createElement( 'link' );
link.rel = 'stylesheet';
link.type = 'text/css';
link.href = window.location.search.match( /print-pdf/gi ) ? 'css/print/pdf.css' : 'css/print/paper.css';
document.getElementsByTagName( 'head' )[0].appendChild( link );
</script>
<!--[if lt IE 9]>
<script src="lib/js/html5shiv.js"></script>
<![endif]-->
</head>
<body>
<div class="reveal">
<!-- Any section element inside of this container is displayed as a slide -->
<div class="slides">
<section>
<p><font color="cyan"><h1>Super-optimisation</h1></font></p>
<h3>Assembly-Level Codes</h3>
<p>
<p>By: Shrinish Donde</p>
</p>
</section>
<section>
<p><font color="cyan"><h2>What is Super-Optimisation ?</h2></font></p>
<p><font size=" +15"><span class = "fragment">
Randomised automated approach to find the optimal code sequence for loop-free sequence of instructions</span>
</p></font>
</section>
<!-- Example of nested vertical slides -->
<section>
<p><font color = "cyan"><h2>STOKE Project</h2></font></p>
<ul><font size = "=15"<p><span class="fragment">⇒ Optimiser for   <img src="index.png" width=100 height = 75></img><p></p> x86-64 Instruction Set Architecture</span></p></font></ul>
<ul></ul>
<ul></ul>
<ul><font size = "=15"<p><span class = "fragment">⇒ Built on the MCMC Optimisation Algorithm</span></p></font></ul>
</section>
<section>
<section>
<p><font color = "cyan"><h2>Steps for Experiment</h2></font></p>
<font size = "+1000"><p><span class = "fragment">     1. Code compilation using g++ -O3 optimising options</span></p></font>
<section data-markdown>
<script type="text/template"><span class = "fragment">
$ g++ -std=c++11 -O3 -fno-inline main.cc
</script></span>
</section><p><span class = "fragment">⇒ Gives full Optimised Codes according to -O3 Optimisations of the GCC Compiler</span></p>
</section>
<section>
<font size = "+1000"><p>2. Testcase Generation</p></font>
<font size = "+1000"><p>⇒ Randomised generation and backtracking</p></font>
<img src="testcasegeneration.png" width = 750 height = 450></img>
</section>
<section>
<p>3. Synthesize/search the code for Optimisation</p>
<p><font size = "+1000">⇒ Gives lowest cost verified rewrite as output code</p></font>
<img src = "synthesizepic.png" width = 550 height = 400></img>
<br>
</section>
<section>
<p><font size = "+1000">4. Rewriting the Binary for the optimised code</font></p>
<section data-markdown>
<script type="text/template">
$ stoke replace --config replace.conf
$ time ./a.out 100000000
</script>
</section><p >⇒ Replaces Binary Code by Optimised Version of the code</p>
<p>⇒ Can be verified by timeout</p>
</section>
</section>
<section>
<p><font color = "cyan"><h2>Some Code Snippets</h2></font></p>
<p>
<figure>
<img src = "main.png" width = 300 height = 500 ></img>
<img src = "original.png" width = 300 height = 500 ></img>
<img src = "results.png" width = 300 height = 200></img>
</p>
</section>
<section>
<p><font color = "cyan"><h2>Final Updates and Statistics</h2></font></p>
<img src = "stats.png" height = 520 width = 400></img>
<img src="finals.png" height = 520 width = 400></img>
</section>
<section>
<h2>Real-Life Examples</h2>
<p><img src = "nacl.png"></img></p>
<p><span class = "fragment">“We demonstrate that super-optimization can dramatically improve the performance of Google Native Client"</span></p>
</section>
<section data-transition="slide" data-background="#b5533c" data-background-transition="zoom">
<h2>STOKE by Alex Aiken extended by-- > Rudy Banel </h2>
<img src = "stanford.png" height = 300 width = 300></img>
<p><font color = "cyan">https://github.com/StanfordPL/stoke</font></p>
</section>
<section data-transition="slide" data-background="#b5533c" data-background-transition="zoom">
<h2>Thank You and Questions ? Suggestions...</h2>
</section>
<script src="js/reveal.js"></script>
<script>
// More info https://github.com/hakimel/reveal.js#configuration
Reveal.initialize({
controls: true,
progress: true,
center: true,
hash: true,
transition: 'slide', // none/fade/slide/convex/concave/zoom
// More info https://github.com/hakimel/reveal.js#dependencies
dependencies: [
{ src: 'plugin/markdown/marked.js', condition: function() { return !!document.querySelector( '[data-markdown]' ); } },
{ src: 'plugin/markdown/markdown.js', condition: function() { return !!document.querySelector( '[data-markdown]' ); } },
{ src: 'plugin/highlight/highlight.js', async: true },
{ src: 'plugin/search/search.js', async: true },
{ src: 'plugin/zoom-js/zoom.js', async: true },
{ src: 'plugin/notes/notes.js', async: true }
]
});
</script>
</body>
</html>