forked from emeryberger/COMPSCI-630
-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
424 lines (403 loc) · 16.6 KB
/
index.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
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
<!DOCTYPE HTML>
<html lang="en-US">
<head>
<meta charset="UTF-8" />
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="shortcut icon"
href="wp-content/uploads/2013/10/favicon-2.ico"
type="image/x-icon" />
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0/css/bootstrap.min.css" integrity="sha384-Gn5384xqQ1aoWXA+058RXPxPg6fy4IWvTNh0E263XmFcJlSAwiGgFAW/dAiS6JXm" crossorigin="anonymous">
<script src="https://code.jquery.com/jquery-3.2.1.slim.min.js"
integrity="sha384-KJ3o2DKtIkvYIK3UENzmM7KCkRr/rE9/Qpg6aAZGJwFDMVNA/GpGFF93hXpG5KkN"
crossorigin="anonymous"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.12.9/umd/popper.min.js"
integrity="sha384-ApNbgh9B+Y1QKtv3Rn7W3mgPxhU9K/ScQsAP7hUibX39j7fakFPskvXusvfa0b4Q"
crossorigin="anonymous"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0/js/bootstrap.min.js"
integrity="sha384-JZR6Spejh4U02d8jOt6vLEHfe/JQGiRRSQQxSfFWpi1MquVdAyjUar5+76PVCmYl"
crossorigin="anonymous"></script>
<title>Systems (COMPSCI 630)</title>
<link href='http://fonts.googleapis.com/css?family=Open+Sans:300,400,400italic,500,600,700,700italic&subset=latin,greek-ext,cyrillic,latin-ext,greek,cyrillic-ext,vietnamese'
rel='stylesheet' type='text/css' />
<link href='http://fonts.googleapis.com/css?family=Oswald:300,400,400italic,500,600,700,700italic&subset=latin,greek-ext,cyrillic,latin-ext,greek,cyrillic-ext,vietnamese'
rel='stylesheet' type='text/css' />
<style>
body { font: Helvetica,Arial; padding-top: 3.5rem; }
.blackened { background-color: black; }
</style>
</head>
<body>
<div>
<div class="jumbotron blackened">
<div class="container">
<h1>
<font color="white">
Grad Systems (COMPSCI 630)
</font>
</h1>
</div>
</div>
<div class="container" width="100%">
<div class="w-100 p-3 row">
<table width="100%">
<tr>
<td>
<div class="card mb-12">
<div class="card-header">
<h4 class="my-0 font-weight-normal">Course
Description</h4>
</div>
<div class="card-body">
<p>In this course, we will discuss classic papers across the broad area of Systems, in roughly chronological order by area: programming languages, architecture, runtime systems, operating systems, and system design in general. This is a lecture-driven class (<em>not a seminar</em>); you will not be expected to present papers, but you are expected to have read every paper before class and participate in in-class discussions.</p>
<p>This course can be used to satisfy core requirements for Systems for the M.S. and PhD degrees.</p>
<p>Grades will be based on in-class participation and paper reviews (15%), projects (50%), and exams (35%). <em>These percentages are anticipated but subject to change.</em> Exams will cover course material covered in lectures and assigned readings. There is no textbook for this course.<br />
You must submit your reviews <b><a href="https://umass-gradsys23.hotcrp.com/">via the review submission site</a></b> <em>before each class</em>. <strong>Do not modify and re-submit your reviews: just submit once.</strong></p>
<p>See <a href="http://www.cs.berkeley.edu/~fox/paper_writing.html#rev">these notes by John Ousterhout</a> on writing reviews. Focus on the positive: these are classics for a reason!</p>
<p>Here are two examples of reviews: the first is a real conference review for a paper you will be reading, and the second is a real student review for this class that you should use a model: <b><a href="example-reviews.pdf">Example reviews</a></b>
<p>Your reviews must address the following points:</p>
<ul>
<li><b>Summary:</b> (at least two paragraphs) What is the problem that this work addressed? What are the big ideas / key insights / technical contributions?</li>
<li><b>Significance / Contributions:</b> How have the assumptions / context this work was based on changed? What is the practical significance of these results today?</li>
<li><b>Discussion Points:</b> Include at least two discussion points to bring up in class.</li>
</ul>
<p>You will be expected to scribe at least one lecture’s notes. <a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/example-scribe-notes.tex">Here is an example</a> to use as a template (in LaTeX).</p>
<p>TA: <a href="mailto:jpizzorno@cs.umass.edu">Juan Altmayer Pizzorno</a>: Thursday 1:30-2:30pm, CS 207</p>
</div>
</div>
</td>
</tr>
<tr>
<td>
<div class="card mb-12">
<div class="card-header">
<h4 class="my-0 font-weight-normal">Course
Schedule</h4>
</div>
<div class="card-body">
All paper reviews should be submitted
using <a href="https://umass-gradsys23.hotcrp.com/">the
class HotCRP site</a>.
<p />
<table width="100%">
<tr>
<td>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Monday, February 28
— no class
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Tuesday, February 07
</h4></div>
<div class="card-body">
<h5><em>
Introduction
</em></h5>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Thursday, February 09
</h4></div>
<div class="card-body">
<h5><em>
Compilers
</em></h5>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/PL/p243-hopper.pdf">The Education of a Computer</a>, Hopper [read]<br/>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/PL/FORTRAN-102663113.05.01.acc.pdf">The FORTRAN Automatic Coding System</a>, Backus <font color="red">[review]</font><br/>
<a href="http://scholar.harvard.edu/files/mickens/files/thenightwatch.pdf">The Night Watch</a>, Mickens [read]<br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Tuesday, February 14
</h4></div>
<div class="card-body">
<h5><em>
Programming Languages
</em></h5>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/PL/LISP.pdf">Recursive Functions of Symbolic Expressions and Their Computation by Machine</a>, McCarthy <font color="red">[review]</font><br/>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/PL/Algol60-Dijkstra-MR35.PDF">Algol-60 Translation</a>, Dijsktra <font color="red">[review]</font><br/>
<a href="https://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf">Go To Statement Considered Harmful</a>, Dijkstra [read]<br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Thursday, February 16
</h4></div>
<div class="card-body">
<h5><em>
Runtime Systems
</em></h5>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/PL/GC-Uncooperative.pdf">Garbage Collection in an Uncooperative Environment</a>, Boehm and Weiser <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Tuesday, February 21
</h4></div>
<div class="card-body">
<h5><em>
Computer Architecture
</em></h5>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/Arch/Architecture-of-the-IBM-System-360.pdf">Architecture of the IBM System/360</a>, Amdahl et al. <font color="red">[review]</font><br/>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/Arch/liptay68.pdf">Structural aspects of the System/360 Model 85: The cache</a>, Liptay [read]<br/>
<a href="https://people.mpi-sws.org/~rossberg/papers/Haas,%20Rossberg,%20Schuff,%20Titzer,%20Gohman,%20Wagner,%20Zakai,%20Bastien,%20Holman%20-%20Bringing%20the%20Web%20up%20to%20Speed%20with%20WebAssembly.pdf">Bringing the Web Up to Speed with WebAssembly</a>, Rossberg et al. <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Thursday, February 23
— no class
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Thursday, March 02
</h4></div>
<div class="card-body">
<h5><em>
Multicore And Parallelism
</em></h5>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/Arch/moorespaper.pdf">Cramming More Components onto Integrated Circuits</a>, Moore <font color="red">[review]</font><br/>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/Conc/Amdahl-04785615.pdf">Validity of the Single Processor Approach to Achieving Large Scale Computing Capabilities</a>, Amdahl <font color="red">[review]</font><br/>
<a href="http://www.cs.wisc.edu/multifacet/papers/ieeecomputer08_amdahl_multicore.pdf">Amdahl’s Law in the Multicore Era</a>, Hill <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Tuesday, March 07
</h4></div>
<div class="card-body">
<h5><em>
Hardware/Software Interface
</em></h5>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/Arch/RISC-patterson.pdf">The Case for the Reduced Instruction Set Computer</a>, Patterson & Ditzel <font color="red">[review]</font><br/>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/Arch/RISC-clark.pdf">Comments on the Case for RISC</a>, Clark & Strecker <font color="red">[review]</font><br/>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/Arch/p272-jouppi.pdf">Available Instruction-Level Parallelism for Superscalar and Superpipelined Machines</a>, Jouppi <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Thursday, March 09
</h4></div>
<div class="card-body">
<h5><em>
Concurrency
</em></h5>
<a href="http://www.cs.umass.edu/~emery/classes/cmpsci691st/readings/Conc/Mesa.pdf">Experience with Processes and Monitors in Mesa</a>, Lampson & Redell <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Tuesday, March 14
— no class
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Thursday, March 16
— no class
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Tuesday, March 21
</h4></div>
<div class="card-body">
<h5><em>
Os Design And Internals
</em></h5>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/unix.pdf">The Evolution of the UNIX Time-Sharing System</a>, Ritchie & Thompson <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Thursday, March 23
— Exam 1
</font>
</h4></div>
<div class="card-body">
<h5><em>
</em></h5>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Tuesday, March 28
— no class
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Thursday, March 30
— no class
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Tuesday, April 04
</h4></div>
<div class="card-body">
<h5><em>
Networked Systems Principles
</em></h5>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/hints.pdf">Hints for Computer System Design</a>, Lampson <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Thursday, April 06
</h4></div>
<div class="card-body">
<h5><em>
Security
</em></h5>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/lampson73.pdf">A Note on the Confinement Problem</a>, Lampson <font color="red">[review]</font><br/>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/spectre.pdf">Spectre Attacks: Exploiting Speculative Execution</a>, Many People <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Friday, April 07
— <a href="">Project 1: Ouroboros</a>
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Tuesday, April 11
</h4></div>
<div class="card-body">
<h5><em>
Distributed Systems
</em></h5>
<a href="https://bitcoin.org/bitcoin.pdf">Bitcoin: A Peer-to-Peer Electronic Cash System</a>, Bitcoin <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Thursday, April 13
</h4></div>
<div class="card-body">
<h5><em>
Fault-Tolerance (Hardware)
</em></h5>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/RAID.pdf">A Case for Redundant Arrays of Inexpensive Disks (RAID)</a>, Patterson, Gibson & Katz <font color="red">[review]</font><br/>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/gray-85.pdf">Why Do Computers Stop and What Can Be Done About It?</a>, Gray <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Tuesday, April 18
— no class
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Thursday, April 20
</h4></div>
<div class="card-body">
<h5><em>
Performance Analysis
</em></h5>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/gprof.pdf">GProf: A Call-Graph Execution Profiler</a>, Graham et al. [read]<br/>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/coz.pdf">Coz: Finding Code that Counts with Causal Profiling</a>, Curtsinger & Berger <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Tuesday, April 25
— no class
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Thursday, April 27
— no class
</font>
</h4></div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Tuesday, May 02
</h4></div>
<div class="card-body">
<h5><em>
Static Analysis
</em></h5>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/coverity.pdf">A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World</a>, Engler et al. <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Thursday, May 04
</h4></div>
<div class="card-body">
<h5><em>
Dynamic Analysis
</em></h5>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/valgrind.pdf">Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation</a>, Nethercote & Seward <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
Tuesday, May 09
</h4></div>
<div class="card-body">
<h5><em>
Testing
</em></h5>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/fuzz.pdf">An empirical study of the reliability of UNIX utilities</a>, Miller et al. [read]<br/>
<a href="https://github.com/emeryberger/COMPSCI-630/raw/master/papers/dart.pdf">DART: Directed Automated Random Testing</a>, Goderfroid et al. <font color="red">[review]</font><br/>
</div>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Thursday, May 11
— Exam 2
</font>
</h4></div>
<div class="card-body">
<h5><em>
</em></h5>
</div>
<div class="card mb-12">
<div class="card-header"><h4 id="users" class="my-0 font-weight-normal">
<font color="red">
Friday, May 19
— <a href="">Project 2: TBD</a>
</font>
</h4></div>
</td>
</tr>
</table>
</div>
</div>
</td>
</tr>
</table>
</div>
<div class="page-footer">
<div class="copyright text-muted">
<font size="-1">
<a href="http://plasma.cs.umass.edu">PLASMA @ UMass</a>
</font>
</div>
</div>
</div>
</div>
</body>
</html>