-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
201 lines (180 loc) · 13.9 KB
/
index.html
File metadata and controls
201 lines (180 loc) · 13.9 KB
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
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="description" content="Homepage">
<meta name="author" content="Christoph Kirsch">
<link rel="shortcut icon" href="https://www.gravatar.com/avatar/178fde755ce86b7b12bf14a286098637?s=16">
<title>Christoph Kirsch</title>
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.2.3/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-rbsA2VBKQhggwzxH7pPCaAqO46MgnOM80zW1RWuH61DGLwZJEdK2Kadq2F9CUG65" crossorigin="anonymous">
</head>
<body>
<nav class="navbar navbar-expand-lg bg-light">
<div class="container-fluid">
<a class="navbar-brand" href="https://ckirsch.github.io">Christoph Kirsch</a>
<button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation">
<span class="navbar-toggler-icon"></span>
</button>
<div class="collapse navbar-collapse" id="navbarSupportedContent">
<ul class="navbar-nav me-auto mb-2 mb-lg-0">
<li class="nav-item">
<a class="nav-link active" aria-current="page" href="#">Home</a>
</li>
<li class="nav-item"><a class="nav-link" href="publications.pdf">Publications (pdf)</a></li>
<li class="nav-item"><a class="nav-link" href="publications.html">Publications (html)</a></li>
<li class="nav-item"><a class="nav-link" href="ck.bib">BibTeX</a></li>
<li class="nav-item"><a class="nav-link" href="talks.pdf">Talks (pdf)</a></li>
<li class="nav-item"><a class="nav-link" href="talks.html">Talks (html)</a></li>
<li class="nav-item"><a class="nav-link" href="ck.pdf">CV (pdf)</a></li>
<li class="nav-item"><a class="nav-link" href="ck.html">Bio (html)</a></li>
</ul>
<div class="nav-item dropdown">
<a class="nav-link dropdown-toggle" href="#" role="button" data-bs-toggle="dropdown" aria-expanded="false">Software and Projects</a>
<ul class="dropdown-menu">
<li><a class="dropdown-item" href="https://selfie.cs.uni-salzburg.at">Selfie</a></li>
<li><hr class="dropdown-divider"></li>
<li><a class="dropdown-item" href="https://github.com/cksystemsgroup/unicorn">Unicorn</a></li>
<li><hr class="dropdown-divider"></li>
<li><a class="dropdown-item" href="https://scalloc.cs.uni-salzburg.at">Scalloc</a></li>
<li><a class="dropdown-item" href="https://scal.cs.uni-salzburg.at">Scal</a></li>
<li><a class="dropdown-item" href="https://acdc.cs.uni-salzburg.at">ACDC</a></li>
<li><a class="dropdown-item" href="https://libscm.cs.uni-salzburg.at">libscm</a></li>
<li><a class="dropdown-item" href="https://github.com/cksystemsgroup/compact-fit">compact-fit</a></li>
<li><hr class="dropdown-divider"></li>
<li><a class="dropdown-item" href="https://cpcc.cs.uni-salzburg.at">CPCC</a></li>
<li><hr class="dropdown-divider"></li>
<li><a class="dropdown-item" href="https://javiator.cs.uni-salzburg.at">JAviator</a></li>
<li><a class="dropdown-item" href="https://jarol.cs.uni-salzburg.at">Jarol</a></li>
<li><hr class="dropdown-divider"></li>
<li><a class="dropdown-item" href="https://tiptoe.cs.uni-salzburg.at">Tiptoe</a></li>
<li><a class="dropdown-item" href="https://tap.cs.uni-salzburg.at">TAP</a></li>
<li><hr class="dropdown-divider"></li>
<li><a class="dropdown-item" href="https://htl.cs.uni-salzburg.at">HTL</a></li>
<li><a class="dropdown-item" href="http://embedded.eecs.berkeley.edu/giotto/">Giotto</a></li>
<li><hr class="dropdown-divider"></li>
<li><a class="dropdown-item" href="https://gist.github.com/ckirsch">Gists</a></li>
</ul>
</div>
</div>
</div>
</nav>
<div class="container-fluid">
<div class="row">
<div class="col-sm-6 col-md-4 col-lg-3">
<div class="card">
<img class="card-img-top rounded" style="width: 100%" src="https://www.gravatar.com/avatar/178fde755ce86b7b12bf14a286098637?s=260" alt="Christoph Kirsch">
<div class="card-body">
<div class="row">
<div class="col-sm-8">
<address>
<strong>Christoph Kirsch</strong><br>
Professor and Chair<br>
<a href="https://informatik.uni-salzburg.at">Department of Computer Science</a><br>
<a href="https://plus.ac.at">University of Salzburg</a><br>
Jakob-Haringer-Str. 2<br>
5020 Salzburg<br>
Austria (<a href="https://www.google.at/maps/place/Fachbereich+Computerwissenschaften+-+Universit%C3%A4t+Salzburg/@47.8220236,13.0385283,17z/data=!3m1!4b1!4m5!3m4!1s0x47769a9bc9f2e5b9:0xb1ef7ec58813aff3!8m2!3d47.82202!4d13.040717">Maps</a>, <a href="ck.vcf">vCard</a>)<br>
<a href="mailto:ck@cs.uni-salzburg.at">ck@cs.uni-salzburg.at</a><br><br>
Chair<br>
<a href="https://prl-prg.github.io">Programming Research Laboratory</a><br>
<a href="https://fit.cvut.cz">Faculty of Information Technology</a><br>
<a href="https://cvut.cz">CTU Prague</a>
</address>
</div>
<div class="col-sm-4">
<img class="card-img" src="ck.svg" alt="https://cs.uni-salzburg.at/~ck">
<p class="card-text">
</div>
</div>
<p class="card-text">
<a href="https://revolut.me/christophkirsch">Send me money on Revolut!</a><br>
<a href="https://github.com/sponsors/cksystemsteaching">Become a selfie sponsor on GitHub!</a><br>
<link href="https://assets.calendly.com/assets/external/widget.css" rel="stylesheet">
<script src="https://assets.calendly.com/assets/external/widget.js" type="text/javascript"></script>
<a href="" onclick="Calendly.initPopupWidget({url: 'https://calendly.com/christophkirsch'});return false;">Schedule time with me on Calendly!</a>
</p>
<p class="card-text">
<iframe src="https://www.google.com/calendar/embed?showTitle=0&showNav=0&showDate=0&showPrint=0&showTabs=0&showCalendars=0&showTz=0&mode=AGENDA&height=150&wkst=1&hl=en&bgcolor=%23ffffff&src=ckirsch%40gmail.com&color=%23711616&src=m8r2l3vmoff4p21nju72c6ejd0%40group.calendar.google.com&color=%2328754E&src=8sic4boj129rm0k4k85g428s7k%40group.calendar.google.com&color=%23AB8B00&ctz=Europe%2FBerlin" style=" border:solid 1px #777 " width="100%" frameborder="0" scrolling="no"></iframe>
</p>
</div>
</div>
</div>
<div class="col-sm-6 col-md-8 col-lg-9">
<div class="row">
<div class="col-md-6 col-lg-8">
<div class="row">
<div class="col-md-12 col-lg-5">
<h2 style="margin-top: .5rem">Group<font size="-1"> @<a href="https://github.com/cksystemsgroup">GitHub</a></font></h2>
<p>PhD Student:<br>
<a href="https://annbolotina.github.io">Anna Bolotina</a><br>
</p>
<p>PhD Graduates (with first post-graduate affiliation):<br>
<a href="https://www.cs.uni-salzburg.at/~aabyaneh/">Alireza Abyaneh</a><br>
<a href="https://www.cs.uni-salzburg.at/~maigner/">Martin Aigner</a>, Karajan Institute<br>
<a href="https://www.cs.uni-salzburg.at/~scraciunas/">Silviu Craciunas</a>, TTTech<br>
<a href="https://www.cs.uni-salzburg.at/~ahaas/">Andreas Haas</a>, Google<br>
<a href="http://www.aut.upt.ro/staff/diercan/index.html">Daniel Iercan</a> (co-advised)<br>
<a href="https://www.cs.uni-salzburg.at/~ckrainer/">Clemens Krainer</a>, Porsche<br>
<a href="https://www.cs.uni-salzburg.at/~mlippautz/">Michael Lippautz</a>, Google<br>
<a href="http://www.dcc.fc.up.pt/~edrdo">Eduardo Marques</a> (co-advised)<br>
<a href="https://research.google.com/pubs/HannesPayer.html">Hannes Payer</a>, Google<br>
<a href="https://www.cs.uni-salzburg.at/~hroeck/">Harald Röck</a>, Eurofunk<br>
Rainer Trummer, Roco
</p>
</div>
<div class="col-md-12 col-lg-7">
<h2 style="margin-top: .5rem">Research</h2>
<p>Systems:
<a href="https://ckirsch.github.io/publications/conferences/Onward17-Selfie.pdf">Selfie</a>, <a href="https://ckirsch.github.io/publications/conferences/AIAAGNC08-JAviator.pdf">The JAviator</a> (<a href="https://javiator.cs.uni-salzburg.at">Project</a>)
</p>
<p>Concurrency:
<a href="https://ckirsch.github.io/publications/invited/NETYS15-Scal.pdf">Scal</a>, <a href="https://ckirsch.github.io/publications/conferences/POPL15-TSStack.pdf">Timestamped Stack</a>, <a href="https://ckirsch.github.io/publications/conferences/POPL13-QuantitativeRelaxation.pdf">Quantitative Relaxation</a>, <a href="https://ckirsch.github.io/publications/invited/CF13-DistributedQueues.pdf">Distributed Queues</a>
</p>
<p>Memory:
<a href="https://ckirsch.github.io/publications/conferences/OOPSLA15-Scalloc.pdf">Scalloc</a>, <a href="https://ckirsch.github.io/publications/conferences/ISMM13-ACDC.pdf">ACDC</a>, <a href="https://ckirsch.github.io/publications/conferences/ISMM11-ShortTermMemory.pdf">Short-term Memory</a>, <a href="https://ckirsch.github.io/publications/conferences/USENIX08-CompactFit.pdf">Compact-fit</a>
</p>
<p>Time:
<a href="https://ckirsch.github.io/publications/invited/EMSOFT02-PrinciplesRTProgramming.pdf">Principles of Real-Time Programming</a>, <a href="http://dx.doi.org/10.1007/978-3-642-24349-3_5">Logical Execution Time</a>, <a href="https://ckirsch.github.io/publications/journals/ProcIEEE03-Giotto.pdf">Giotto</a>, <a href="https://ckirsch.github.io/publications/conferences/PLDI02-EmbeddedMachine.pdf">The Embedded Machine</a>, <a href="https://ckirsch.github.io/publications/conferences/EMSOFT03-ScheduleCarryingCode.pdf">Schedule-Carrying Code</a>, <a href="https://ckirsch.github.io/publications/journals/STTT12-VBS.pdf">Variable-Bandwidth Servers</a>
</p>
<p>Space:
<a href="https://ckirsch.github.io/publications/conferences/HotCloud10-CPCC.pdf">Cyber-Physical Cloud Computing</a>, <a href="https://ckirsch.github.io/publications/conferences/ICCPS13-BigActors.pdf">Big Actors</a>
</p>
<p>Logic:
<a href="https://ckirsch.github.io/publications/conferences/LICS99-TwoVariableGuardedFragment.pdf">Guarded Fragment</a>, <a href="https://ckirsch.github.io/publications/conferences/CADE97-SoftTyping.pdf">Soft Typing</a>
</p>
<p>Paradigms:
<a href="https://ckirsch.github.io/publications/conferences/ASE21-ASE.pdf">Abstract Symbolic Execution</a>, <a href="https://ckirsch.github.io/publications/conferences/DAC12-Incorrectness.pdf">Incorrect Systems</a>, <a href="https://ckirsch.github.io/publications/conferences/ACSD11-RuntimeProgramming.pdf">Runtime Programming</a>
</p>
</div>
</div>
<div class="row">
<div class="col-md-12 col-lg-5">
<h2 style="margin-top: .5rem">Teaching<font size="-1"> @<a href="https://github.com/cksystemsteaching">GitHub</a></font></h2>
Software: <a href="https://selfie.cs.uni-salzburg.at">The Selfie Project</a><br>
Book: <a href="https://github.com/cksystemsteaching/selfie/tree/main/book">Elementary Computer Science</a><br>
Curriculum: <a href="https://cksystemsteaching.github.io/CS4All">Computer Science for All</a><br>
History: <a href="classes.html">Past Classes</a>
</div>
<div class="col-md-12 col-lg-7">
<h2 style="margin-top: .5rem">Community</h2>
PC Member: <a href="https://www.eurosys.org">EuroSys 2026/2027</a>, <a href="https://conf.researchr.org/home/ismm-2026">ISMM 2026</a><br>
EC Member: <a href="http://eapls.org/pages/phd_award/">EAPLS Best 2022 PhD Dissertation Award</a><br>
</div>
</div>
</div>
<div class="col-md-6 col-lg-4">
<h2 style="margin-top: .5rem">News</h2>
<a rel="me" href="https://mastodon.social/@christophkirsch">Follow me on Mastodon!</a><br>
<a class="twitter-timeline" data-tweet-limit="2" href="https://twitter.com/christophkirsch?ref_src=twsrc%5Etfw">Tweets by christophkirsch</a> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
</div>
</div>
</div>
</div>
<footer>
<p style="margin-top: .5rem">© Christoph Kirsch. <a href="https://github.com/ckirsch/ckirsch.github.com">Website</a> built with <a href="https://getbootstrap.com">Bootstrap</a>.</p>
</footer>
</div>
<script src="https://cdn.jsdelivr.net/npm/bootstrap@5.2.3/dist/js/bootstrap.bundle.min.js" integrity="sha384-kenU1KFdBIe4zVF0s0G1M5b4hcpxyD9F7jL+jjXkk+Q2h455rYXK/7HAuoJl+0I4" crossorigin="anonymous"></script>
</body>
</html>