-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtalks.html
649 lines (632 loc) · 32.5 KB
/
talks.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
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html >
<head><title></title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="generator" content="TeX4ht (https://tug.org/tex4ht/)">
<meta name="originator" content="TeX4ht (https://tug.org/tex4ht/)">
<!-- html -->
<meta name="src" content="talks.tex">
<link rel="stylesheet" type="text/css" href="talks.css">
</head><body
>
<div class="center"
>
<!--l. 24--><p class="noindent" >
<!--l. 25--><p class="noindent" ><span
class="ptmrc8t-x-x-144">T<span
class="small-caps">A</span><span
class="small-caps">L</span><span
class="small-caps">K</span><span
class="small-caps">S</span></span><br /><br />
<span
class="ptmrc8t-x-x-120">C<span
class="small-caps">H</span><span
class="small-caps">R</span><span
class="small-caps">I</span><span
class="small-caps">S</span><span
class="small-caps">T</span><span
class="small-caps">O</span><span
class="small-caps">P</span><span
class="small-caps">H</span> M. K<span
class="small-caps">I</span><span
class="small-caps">R</span><span
class="small-caps">S</span><span
class="small-caps">C</span><span
class="small-caps">H</span></span><br />
<a
href="mailto:[email protected]" >[email protected]</a><br />
<a
href="https://www.cs.uni-salzburg.at/~ck" >www.cs.uni-salzburg.at/<span
class="cmsy-10">~</span>ck</a></div>
<!--l. 82--><p class="noindent" ><span class="underline"><span
class="ptmrc8t-x-x-120">I<span
class="small-caps">N</span><span
class="small-caps">V</span><span
class="small-caps">I</span><span
class="small-caps">T</span><span
class="small-caps">E</span><span
class="small-caps">D</span> T<span
class="small-caps">A</span><span
class="small-caps">L</span><span
class="small-caps">K</span><span
class="small-caps">S</span></span> </span>
<ol class="enumerate1" >
<li
class="enumerate" id="x1-3x1"><span
class="ptmri8t-">Take a Selfie: Self-Referentiality in the Automation of Everything</span>, ARGE Kulturelle Dynamiken, Vienna,
January 2020. <a
href="https://ckirsch.github.io/talks/ARGE20-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-5x2"><span
class="ptmri8t-">Take a Selfie in Class</span>, SPLASH-E Track on Computing Education, Boston, November 2018. <a
href="https://ckirsch.github.io/talks/SPLASH-E18-Selfie.pdf" >Click here for
PDF file</a>.
</li>
<li
class="enumerate" id="x1-7x3"><span
class="ptmri8t-">On the Self in Selfie</span>, SPLASH Workshop on Virtual Machines and Language Implementations (VMIL),
Boston, November 2018. <a
href="https://ckirsch.github.io/talks/VMIL18-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-9x4"><span
class="ptmri8t-">From Logical Execution Time to Principled Systems Engineering</span>, Dagstuhl Seminar on the Logical
Execution Time Paradigm, Schloss Dagstuhl, Wadern, Germany, February 2018. <a
href="https://ckirsch.github.io/talks/Dagstuhl18-LET-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-11x5"><span
class="ptmri8t-">You can program what you want but you cannot compute what you want</span>, Edward A. Lee Festschrift
Symposium, UC Berkeley, Berkeley, California, October 2017. <a
href="https://ckirsch.github.io/talks/Festschrift17-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-13x6"><span
class="ptmri8t-">Design versus Performance: From Giotto via the Embedded Machine to Selfie</span>, ACM SIGPLAN/SIGBED
Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Barcelona, Spain, June
2017. <a
href="https://ckirsch.github.io/talks/LCTES17-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-15x7"><span
class="ptmri8t-">Scalloc: From Relaxed Concurrent Data Structures to the Fastest Multicore-Scalable Memory Allocator</span>,
International Conference on Networked Systems (NETYS), Agadir, Morocco, May 2015. <a
href="https://ckirsch.github.io/talks/NETYS15-Scalloc.pdf" >Click here for
PDF file</a>.
</li>
<li
class="enumerate" id="x1-17x8"><span
class="ptmri8t-">Concurrent Data Structures: Fast but Relaxed versus Strict but Slow Semantics</span>, International Workshop on
the Chemistry of Concurrent and Distributed Programming (CCDP), Agadir, Morocco, May 2015. <a
href="https://ckirsch.github.io/talks/CCDP15-ConcurrentDataStructures.pdf" >Click
here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-19x9"><span
class="ptmri8t-">Distributed Queues in Shared Memory—Multicore Performance and Scalability through Quantitative</span>
<span
class="ptmri8t-">Relaxation</span>, ACM Computing Frontiers, Ischia, Italy, May 2013. <a
href="https://ckirsch.github.io/talks/CF13-DQ.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-21x10"><span
class="ptmri8t-">Inexact Software Is the Solution</span>, CASA Workshop, Tampere, Finland, October 2012. <a
href="https://ckirsch.github.io/talks/CASA12-ISIS.pdf" >Click here for PDF
file</a>.
</li>
<li
class="enumerate" id="x1-23x11"><span
class="ptmri8t-">Incorrect Systems: It’s not the Problem, It’s the Solution</span>, EC2 Workshop, Berkeley, California, July 2012.
<a
href="https://ckirsch.github.io/talks/EC212-Incorrectness.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-25x12"><span
class="ptmri8t-">Incorrect Systems: It’s not the Problem, It’s the Solution</span>, Austrian Computer Science Day, University of
Vienna, Austria, June 2012. <a
href="https://ckirsch.github.io/talks/ACSD12-Incorrectness.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-27x13"><span
class="ptmri8t-">Virtualizing Time, Space, and Power for Cyber-Physical Cloud Computing</span>, ARTIST Workshop on Rigorous
Embedded Design, Salzburg, Austria, April 2011. <a
href="https://ckirsch.github.io/talks/RED11-CPCC.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-29x14"><span
class="ptmri8t-">Short-term Memory for Self-collecting Mutators: Towards Time- and Space-predictable Virtualization</span>,
Computer Science Symposium, IST Austria, Klosterneuburg, Austria, May 2010. <a
href="https://ckirsch.github.io/talks/ISTA10-STMVirtualization.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-31x15"><span
class="ptmri8t-">Tiptoe: A Compositional Real-Time Operating System (Memory Management)</span>, ARTIST Workshop on
Foundations and Applications of Component-Based Design, Salzburg, Austria, September 2007. <a
href="https://ckirsch.github.io/talks/WFCD07-Tiptoe.pdf" >Click here
for PDF file</a>.
</li>
<li
class="enumerate" id="x1-33x16"><span
class="ptmri8t-">Trends and Challenges in Embedded Systems Research</span>, Österreichische Forschungsförderungsgesellschaft
(FFG), Vienna, Austria, May, 2007. <a
href="https://ckirsch.github.io/talks/FIT-IT07-TrendsChallenges.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-35x17"><span
class="ptmri8t-">Shaping Process Semantics (and the JAviator: A Flying MoCC Laboratory)</span>, ARTIST Workshop on Models
of Computation and Communication, Zürich, Switzerland, November 2006. <a
href="https://ckirsch.github.io/talks/ARTIST06-ProcessShaping-JAviator.pdf" >Click here for PDF file</a>
</li>
<li
class="enumerate" id="x1-37x18"><span
class="ptmri8t-">Shaping Process Semantics</span>, Monterey Workshop on Composition of Embedded Systems: Scientific and
Industrial Issues, Paris, France, October 2006. <a
href="https://ckirsch.github.io/talks/Monterey06-ProcessShaping.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-39x19"><span
class="ptmri8t-">Threading by Appointment</span>, Monterey Workshop on Software Engineering Tools: Compatibility and
Integration, Vienna, Austria, October 2004. <a
href="https://ckirsch.github.io/talks/Monterey04-TAP.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-41x20"><span
class="ptmri8t-">Embedded Systems Frontiers</span>, Bundesministerium für Verkehr, Innovation und Technologie, Vienna,
Austria, July 2003. <a
href="https://ckirsch.github.io/talks/BMVIT03-EmbeddedSystemsFrontier.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-43x21"><span
class="ptmri8t-">Principles of Real-Time Programming</span>, Second International Workshop on Embedded Software (EMSOFT),
Grenoble, France, October 2002. <a
href="https://ckirsch.github.io/talks/EMSOFT02-PrinciplesRTProgramming.pdf" >Click here for PDF file</a>.</li></ol>
<!--l. 93--><p class="noindent" ><span class="underline"><span
class="ptmrc8t-x-x-120">P<span
class="small-caps">A</span><span
class="small-caps">N</span><span
class="small-caps">E</span><span
class="small-caps">L</span><span
class="small-caps">S</span></span> </span>
<ol class="enumerate1" >
<li
class="enumerate" id="x1-45x1"><span
class="ptmri8t-">Looking at Past Data to Improve the Future</span>, Embedded Systems Week, Montreal, Canada, October 2013.
</li>
<li
class="enumerate" id="x1-47x2"><span
class="ptmri8t-">Vehicular Wireless Networks: What should the future hold?</span>, International Symposium on Wireless Vehicular
Communications (WiVeC), San Francisco, California, September 2011.
</li>
<li
class="enumerate" id="x1-49x3"><span
class="ptmri8t-">Collaboration and Virtualization in Cyber-Physical Systems</span>, CPS Forum, Cyber-Physical Systems Week,
San Francisco, California, April 2009. <a
href="https://ckirsch.github.io/talks/CPS-Forum-2009.pdf" >Click here for PDF file</a></li></ol>
<!--l. 105--><p class="noindent" ><span class="underline"><span
class="ptmrc8t-x-x-120">C<span
class="small-caps">O</span><span
class="small-caps">L</span><span
class="small-caps">L</span><span
class="small-caps">O</span><span
class="small-caps">Q</span><span
class="small-caps">U</span><span
class="small-caps">I</span><span
class="small-caps">A</span></span> </span>
<ol class="enumerate1" >
<li
class="enumerate" id="x1-51x1"><span
class="ptmri8t-">Time-Portable Programming the JAviator in Tiptoe OS</span>, Department of Computer Science and Engineering,
UC Riverside, California, October 2008. <a
href="https://ckirsch.github.io/talks/UCR08-JAviator.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-53x2"><span
class="ptmri8t-">Tiptoe: A Compositional Real-Time Operating System (Memory Management)</span>, Center for Embedded
Computer Systems, UC Irvine, California, March 2008. <a
href="https://ckirsch.github.io/talks/UCI08-Tiptoe.pdf" >Click here for PDF file</a>.</li></ol>
<!--l. 141--><p class="noindent" ><span class="underline"><span
class="ptmrc8t-x-x-120">S<span
class="small-caps">C</span><span
class="small-caps">H</span><span
class="small-caps">O</span><span
class="small-caps">O</span><span
class="small-caps">L</span><span
class="small-caps">S</span></span> </span>
<ol class="enumerate1" >
<li
class="enumerate" id="x1-55x1"><span
class="ptmri8t-">Scal, Scalloc, and Selfie: Fast Multicore-Scalable Concurrent Data Structures and Memory Management,</span>
<span
class="ptmri8t-">and Educational Self-referential Systems Software</span>, UPMARC Summer School on Multicore Computing,
Uppsala, Sweden, June 2016. <a
href="https://ckirsch.github.io/talks/UPMARC16-Scal-Scalloc-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-57x2"><span
class="ptmri8t-">Design of Concurrent and Distributed Data Structures</span>, International Spring School on Distributed Systems
(METIS), Agadir, Morocco, May 2015. <a
href="https://ckirsch.github.io/talks/METIS15-ConcurrentDataStructures.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-59x3"><span
class="ptmri8t-">Virtualizing Time, Space, and Power for Cyber-Physical Cloud Computing</span>, Georgia Tech Summer School
on Cyber-Physical Systems, Atlanta, Georgia, USA, June, 2011. <a
href="https://ckirsch.github.io/talks/GATECH11-CPCC.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-61x4"><span
class="ptmri8t-">Explicit, Dynamic Memory Management with Temporal and Spatial Guarantees</span>, ARTIST Summer School
on Embedded Systems Design, Buenos Aires, Argentina, August 2009. <a
href="https://ckirsch.github.io/talks/ARTIST09-Summer-School-Buenos-Aires.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-63x5"><span
class="ptmri8t-">Explicit, Dynamic Memory Management with Temporal and Spatial Guarantees</span>, ARTIST Summer School
on Embedded Systems Design, Beijing, China, July 2009. <a
href="https://ckirsch.github.io/talks/ARTIST09-Summer-School-Beijing.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-65x6"><span
class="ptmri8t-">Designing a Compositional Real-Time Operating System</span>, ARTIST Summer School on Embedded Systems
Design, Shanghai, China, July 2008. <a
href="https://ckirsch.github.io/talks/ARTIST08-Summer-School-Shanghai.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-67x7"><span
class="ptmri8t-">From Control Models to Real-Time Code Using Giotto</span>, Summer School on Embedded Systems (EmSys),
Salzburg, Austria, June 2003. <a
href="https://ckirsch.github.io/talks/EmSys03-ControlModels.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-69x8"><span
class="ptmri8t-">Principles of Real-Time Programming</span>, Summer School on Embedded Systems (EmSys), Salzburg, Austria,
June 2003. <a
href="https://ckirsch.github.io/talks/EmSys03-PrinciplesRTProgramming.pdf" >Click here for PDF file</a>.</li></ol>
<!--l. 148--><p class="noindent" ><span class="underline"><span
class="ptmrc8t-x-x-120">T<span
class="small-caps">U</span><span
class="small-caps">T</span><span
class="small-caps">O</span><span
class="small-caps">R</span><span
class="small-caps">I</span><span
class="small-caps">A</span><span
class="small-caps">L</span></span> </span>
<ol class="enumerate1" >
<li
class="enumerate" id="x1-71x1"><span
class="ptmri8t-">The Logical Execution Time Paradigm</span>, Tutorials on Time-Predictable and Composable Architectures for
Dependable Embedded Systems, ESWEEK, Taipei, Taiwan, October 2011. <a
href="https://ckirsch.github.io/talks/ESWEEK11-LET.pdf" >Click here for PDF file</a>.</li></ol>
<!--l. 342--><p class="noindent" ><span class="underline"><span
class="ptmrc8t-x-x-120">C<span
class="small-caps">O</span><span
class="small-caps">N</span><span
class="small-caps">F</span><span
class="small-caps">E</span><span
class="small-caps">R</span><span
class="small-caps">E</span><span
class="small-caps">N</span><span
class="small-caps">C</span><span
class="small-caps">E</span><span
class="small-caps">S</span> <span
class="small-caps">A</span><span
class="small-caps">N</span><span
class="small-caps">D</span> S<span
class="small-caps">E</span><span
class="small-caps">M</span><span
class="small-caps">I</span><span
class="small-caps">N</span><span
class="small-caps">A</span><span
class="small-caps">R</span><span
class="small-caps">S</span></span> </span>
<ol class="enumerate1" >
<li
class="enumerate" id="x1-73x1"><span
class="ptmri8t-">Quantum Advantage for All</span>, IFIP WG2.4 Workshop, Salzburg, Austria, July 2022. <a
href="https://ckirsch.github.io/talks/IFIP22-Unicorn.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-75x2"><span
class="ptmri8t-">Symbolic Execution Crash Course</span>, Czech Technical University, CVUT, Prague, February 2020. <a
href="https://ckirsch.github.io/talks/CTU20-Symbolic-Execution-Crash-Course.pdf" >Click here
for PDF file</a>.
</li>
<li
class="enumerate" id="x1-77x3"><span
class="ptmri8t-">On the Self in Selfie</span>, Université Diderot, IRIF, Paris, April 2019. <a
href="https://ckirsch.github.io/talks/IRIF19-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-79x4"><span
class="ptmri8t-">On the Self in Selfie</span>, INESC-ID, Lisbon, Portugal, October 2018. <a
href="https://ckirsch.github.io/talks/INESC18-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-81x5"><span
class="ptmri8t-">On the Self in Selfie</span>, Alpine Verification Meeting (AVM), Wagrain, Austria, September 2018. <a
href="https://ckirsch.github.io/talks/AVM18-Selfie.pdf" >Click here for
PDF file</a>.
</li>
<li
class="enumerate" id="x1-83x6"><span
class="ptmri8t-">Selfie: Towards Minimal Symbolic Execution</span>, ARC Group Meeting, UC Berkeley, Berkeley, California, July
2018. <a
href="https://ckirsch.github.io/talks/UCB18-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-85x7"><span
class="ptmri8t-">Selfie: Towards Minimal Symbolic Execution</span>, VDS Workshop, Essaouira, Morocco, May 2018. <a
href="https://ckirsch.github.io/talks/VDS18-Selfie.pdf" >Click here
for PDF file</a>.
</li>
<li
class="enumerate" id="x1-87x8"><span
class="ptmri8t-">Selfie: Towards Minimal Symbolic Execution</span>, MoreVMs Workshop, Nice, France, April 2018. <a
href="https://ckirsch.github.io/talks/MoreVMs18-Selfie.pdf" >Click here
for PDF file</a>.
</li>
<li
class="enumerate" id="x1-89x9"><span
class="ptmri8t-">Self-Referential Compilation, Emulation, Virtualization, and Symbolic Execution with Selfie</span>, Lund
University, Lund, Sweden, March 2018. <a
href="https://ckirsch.github.io/talks/Lund18-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-91x10"><span
class="ptmri8t-">Self-Referential Compilation, Emulation, Virtualization, and Symbolic Execution with Selfie</span>, Google,
Munich, Germany, March 2018. <a
href="https://ckirsch.github.io/talks/Google18-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-93x11"><span
class="ptmri8t-">Selfie and the Basics</span>, University of Freiburg, Germany, November 2017. <a
href="https://ckirsch.github.io/talks/Freiburg17-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-95x12"><span
class="ptmri8t-">Selfie and the Basics</span>, Onward!, Vancouver, British Columbia, October 2017. <a
href="https://ckirsch.github.io/talks/Onward17-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-97x13"><span
class="ptmri8t-">Selfie: A Sandbox for Principled Systems Engineering</span>, ARM Research Summit, Cambridge, UK, September
2017. <a
href="https://ckirsch.github.io/talks/ARMSummit17-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-99x14"><span
class="ptmri8t-">Scal, Scalloc, and Selfie</span>, University of Cambridge, Cambridge, UK, September 2017. <a
href="https://ckirsch.github.io/talks/Cambridge17-Scal-Scalloc-Selfie.pdf" >Click here for PDF
file</a>.
</li>
<li
class="enumerate" id="x1-101x15"><span
class="ptmri8t-">Selfie: Sandboxed Concurrency</span>, Research Seminar on Open Problems in Concurrency Theory (OPCT), IST
Austria, Klosterneuburg, Austria, June 2017. <a
href="https://ckirsch.github.io/talks/OPCT17-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-103x16"><span
class="ptmri8t-">Selfie: What is the Difference between Emulation and Virtualization?</span>, ETH Zurich, Zurich, Switzerland,
March 2017. <a
href="https://ckirsch.github.io/talks/ETH17-Selfie-Vipster.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-105x17"><span
class="ptmri8t-">Teaching Computer Science Through Self-Referentiality</span>, Helmut Veith Memorial Workshop, Obergurgl,
Austria, February 2017. <a
href="https://ckirsch.github.io/talks/HVM17-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-107x18"><span
class="ptmri8t-">Teaching Computer Science Through Self-Referentiality</span>, Hong Kong University of Science and Technology,
Hong Kong, China, January 2017. <a
href="https://ckirsch.github.io/talks/HKUST17-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-109x19"><span
class="ptmri8t-">Scal, Scalloc, and Selfie</span>, University of Melbourne, Melbourne, Australia, December 2016. <a
href="https://ckirsch.github.io/talks/MELBOURNE16-Scal-Scalloc-Selfie.pdf" >Click here for
PDF file</a>.
</li>
<li
class="enumerate" id="x1-111x20"><span
class="ptmri8t-">Scal, Scalloc, and Selfie</span>, Australien National University and DATA61, Canberra, Australia, December 2016.
<a
href="https://ckirsch.github.io/talks/ANU16-Scal-Scalloc-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-113x21"><span
class="ptmri8t-">Scal, Scalloc, and Selfie</span>, University of New South Wales and DATA61, Sydney, Australia, November 2016.
<a
href="https://ckirsch.github.io/talks/UNSW16-Scal-Scalloc-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-115x22"><span
class="ptmri8t-">Scal, Scalloc, and Selfie</span>, IST Austria, Klosterneuburg, Austria, September 2016. <a
href="https://ckirsch.github.io/talks/ISTA16-Scal-Scalloc-Selfie.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-117x23"><span
class="ptmri8t-">Scal, Scalloc, and Selfie</span>, Northeastern University, Boston, Massachusetts, November 2015. <a
href="https://ckirsch.github.io/talks/Northeastern15-Scal-Scalloc-Selfie.pdf" >Click here for
PDF file</a>.
</li>
<li
class="enumerate" id="x1-119x24"><span
class="ptmri8t-">Distributed Queues: Faster Pools and Better Queues</span>, Oracle, Belmont, California, December 2012. <a
href="https://ckirsch.github.io/talks/Oracle12-DQ.pdf" >Click
here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-121x25"><span
class="ptmri8t-">Distributed Queues: Faster Pools and Better Queues</span>, Stanford University, Palo Alto, California, December
2012. <a
href="https://ckirsch.github.io/talks/Stanford12-DQ.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-123x26"><span
class="ptmri8t-">Incorrect Systems: It’s not the Problem, It’s the Solution</span>, DREAMS Seminar, UC Berkeley, Berkeley,
California, July 2012. <a
href="https://ckirsch.github.io/talks/UCB12-Incorrectness.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-125x27"><span
class="ptmri8t-">The Next Frontier of Cloud Computing is in the Clouds, Literally</span>, AI-Systems-Robotics Seminar, CS
Department, Cornell University, Ithaca, New York, February 2011. <a
href="https://ckirsch.github.io/talks/Cornell11-CPCC.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-127x28"><span
class="ptmri8t-">The Next Frontier of Cloud Computing is in the Clouds, Literally</span>, CS Department, UC Davis, Davis,
California, February 2011. <a
href="https://ckirsch.github.io/talks/UCD11-CPCC.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-129x29"><span
class="ptmri8t-">Scal</span><span
class="skull-x-x-83">A</span><span
class="ptmri8t-">: Non-Linearizable Computing Breaks the Scalability Barrier</span>, Center for Hybrid and Embedded
Software Systems, UC Berkeley, Berkeley, California, November 2010. <a
href="https://ckirsch.github.io/talks/UCB10-Scal.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-131x30"><span
class="ptmri8t-">Short-term Memory for Self-collecting Mutators</span>, Center for Hybrid and Embedded Software Systems, UC
Berkeley, Berkeley, California, September 2010. <a
href="https://ckirsch.github.io/talks/UCB10-STM.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-133x31"><span
class="ptmri8t-">The Next Frontier of Cloud Computing is in the Clouds, Literally</span>, Google Tech Talk, Mountain View,
California, September 2010. <a
href="https://ckirsch.github.io/talks/Google10-CPCC.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-135x32"><span
class="ptmri8t-">Short-term Memory for Self-collecting Mutators</span>, CSAIL, MIT, Boston, Massachusetts, May 2010. <a
href="https://ckirsch.github.io/talks/MIT10-STM.pdf" >Click
here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-137x33"><span
class="ptmri8t-">Distributed, Modular HTL</span>, Department of Electrical Engineering and Information Technology, Technical
University of Munich, Munich, Germany, June 2009. <a
href="https://ckirsch.github.io/talks/TUM09-Modular-HTL.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-139x34"><span
class="ptmri8t-">Time-Portable Programming the JAviator in the Tiptoe VM</span>, Center for Hybrid and Embedded Software
Systems, UC Berkeley, Berkeley, California, January 2009. <a
href="https://ckirsch.github.io/talks/UCB09-JAviator.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-141x35"><span
class="ptmri8t-">The JAviator: Time-Portable Programming in Java and C</span>, Hitachi Global Storage Technologies, San Jose,
California, September 2008. <a
href="https://ckirsch.github.io/talks/Hitachi08-JAviator.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-143x36"><span
class="ptmri8t-">The JAviator: Time-Portable Programming in Java</span>, Sun Microsystems, Palo Alto, California, September
2008. <a
href="https://ckirsch.github.io/talks/Sun08-JAviator.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-145x37"><span
class="ptmri8t-">Tiptoe: A Compositional Real-Time Operating System (Process Model and Scheduler)</span>, EPFL, Lausanne,
Switzerland, May 2008. <a
href="https://ckirsch.github.io/talks/EPFL08-Tiptoe.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-147x38"><span
class="ptmri8t-">Tiptoe: A Compositional Real-Time Operating System (Process Model and Scheduler)</span>, ETHZ, Zürich,
Switzerland, May 2008. <a
href="https://ckirsch.github.io/talks/ETHZ08-Tiptoe.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-149x39"><span
class="ptmri8t-">Tiptoe: A Compositional Real-Time Operating System (Memory Management)</span>, IBM T.J. Watson Research
Center, Hawthorne, New York, September 2007. <a
href="https://ckirsch.github.io/talks/IBM07-Tiptoe.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-151x40"><span
class="ptmri8t-">Time-Portable Real-Time Programming with Exotasks</span>, Center for Hybrid and Embedded Software Systems,
UC Berkeley, Berkeley, California, February 2007. <a
href="https://ckirsch.github.io/talks/UCB07-Exotasks.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-153x41"><span
class="ptmri8t-">An Introduction to Logical Execution Time Programming</span>, Center for Collaborative Control of Unmanned
Vehicles, UC Berkeley, Berkeley, California, September 2006. <a
href="https://ckirsch.github.io/talks/UCB06-IntroductionLET.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-155x42"><span
class="ptmri8t-">High-Level Programming of Real-Time Software Systems</span>, University of Lugano, Lugano, Switzerland,
March 2006. <a
href="https://ckirsch.github.io/talks/Lugano06-HighLevelProgramming.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-157x43"><span
class="ptmri8t-">The JAviator Project</span>, Center for Hybrid and Embedded Software Systems, UC Berkeley, Berkeley,
California, February 2006. <a
href="https://ckirsch.github.io/talks/UCB06-JAviator.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-159x44"><span
class="ptmri8t-">High-Level Programming of Real-Time and Concurrent Software Systems</span>, Purdue University, West
Lafayette, Indiana, December 2005. <a
href="https://ckirsch.github.io/talks/Purdue05-HighLevelProgramming.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-161x45"><span
class="ptmri8t-">Traffic Shaping System Calls Using Threading by Appointment</span>, UC Berkeley, Berkeley, California,
September 2005. <a
href="https://ckirsch.github.io/talks/UCB05-TrafficShapingSystemCallsTAP.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-163x46"><span
class="ptmri8t-">Traffic Shaping System Calls Using Threading by Appointment</span>, UCLA, Los Angeles, California, August
2005. <a
href="https://ckirsch.github.io/talks/UCLA05-TrafficShapingSystemCallsTAP.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-165x47"><span
class="ptmri8t-">The Embedded Machine: Status and Future Directions</span>, IBM T.J. Watson Research Center, Hawthorne, New
York, March 2005. <a
href="https://ckirsch.github.io/talks/IBM05-EmbeddedMachine.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-167x48"><span
class="ptmri8t-">Threading by Appointment</span>, Center for Collaborative Control of Unmanned Vehicles, UC Berkeley, Berkeley,
California, February 2005. <a
href="https://ckirsch.github.io/talks/UCB05-TAP.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-169x49"><span
class="ptmri8t-">Real-Time Programming Based on Schedule-Carrying Code</span>, McGill University, Montreal, Canada, January,
2004. <a
href="https://ckirsch.github.io/talks/McGill04-RTProgrammingSCC.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-171x50"><span
class="ptmri8t-">The Embedded Machine: Predictable, Portable Real-Time Code</span>, Verimag, Grenoble, France, November
2001. <a
href="https://ckirsch.github.io/talks/Verimag01-EmbeddedMachine.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-173x51"><span
class="ptmri8t-">Giotto: A Time-triggered Language for Embedded Programming</span>, Honeywell, Minneapolis, Minnesota,
September 2001. <a
href="https://ckirsch.github.io/talks/Honeywell01-Giotto.pdf" >Click here for PDF file</a>.
</li>
<li
class="enumerate" id="x1-175x52"><span
class="ptmri8t-">Embedded Control Systems Development with Giotto</span>, Stanford University, Palo Alto, California, November
2000. <a
href="https://ckirsch.github.io/talks/Stanford00-Giotto.pdf" >Click here for PDF file</a>.</li></ol>
</body></html>