1# Conference venues in reverse-chronological order:
2venues:
3 ACSAC25:
4 type: conference
5 abbrev: "ACSAC '25"
6 name: "The 41st Annual Computer Security Applications Conference"
7 website: "https://www.acsac.org/"
8 start: 2025-12-08T00:00:00-10:00
9 end: 2025-12-12T23:59:59-10:00
10
11 SOSP25:
12 type: conference
13 abbrev: "SOSP '25"
14 name: "The 31st ACM Symposium on Operating Systems Principles"
15 website: "https://sigops.org/s/conferences/sosp/2025/index.html"
16 start: 2025-10-14T00:00:00+09:00
17 end: 2025-10-16T23:59:59+09:00
18
19 KISV25:
20 type: workshop
21 abbrev: "KISV '25"
22 name: "3nd Workshop on Kernel Isolation, Safety and Verification"
23 remark: "Co-located with SOSP '25"
24 website: "https://kisv-workshop.github.io/"
25 start: 2025-10-13T00:00:00+09:00
26 end: 2025-10-13T23:59:59+09:00
27
28 OSDI25:
29 type: conference
30 abbrev: "OSDI '25"
31 name: "19th USENIX Symposium on Operating Systems Design and Implementation"
32 website: "https://www.usenix.org/conference/osdi25"
33 start: 2025-07-07T00:00:00-04:00
34 end: 2025-07-09T23:59:59-04:00
35
36 SPICES24:
37 type: workshop
38 abbrev: "SPICES 2024"
39 name: "The 3rd Workshop on Security and Privacy in Connected Embedded Systems"
40 remark: "Co-located with EWSN 2024"
41 website: "https://www.tii.ae/workshop/spices"
42 start: 2024-12-10T00:00:00+04:00
43 end: 2024-12-10T23:59:59+04:00
44
45 KISV24:
46 type: workshop
47 abbrev: "KISV '24"
48 name: "2nd Workshop on Kernel Isolation, Safety and Verification"
49 remark: "Co-located with SOSP '24"
50 website: "https://kisv-workshop.github.io/archive/2024/"
51 start: 2024-11-03T00:00:00-05:00
52 end: 2024-11-03T23:59:59-05:00
53
54 RustNL24:
55 type: conference
56 name: "RustNL 2024"
57 website: "https://2024.rustnl.org/"
58 start: 2024-05-07T00:00:00+01:00
59 end: 2024-05-08T23:59:59+01:00
60
61 SOSP23:
62 type: conference
63 abbrev: "SOSP '23"
64 name: "The 29th ACM Symposium on Operating Systems Principles"
65 website: "https://sosp2023.mpi-sws.org/"
66 start: 2023-10-24T00:00:00+01:00
67 end: 2023-07-26T23:59:59+01:00
68
69 KISV23:
70 type: workshop
71 abbrev: "KISV '23"
72 name: "1st Workshop on Kernel Isolation, Safety and Verification"
73 remark: "Co-located with SOSP '23"
74 website: "https://kisv-workshop.github.io/archive/2023/"
75 start: 2023-10-23T00:00:00+01:00
76 end: 2023-07-23T23:59:59+01:00
77
78 OSDI23:
79 type: conference
80 abbrev: "OSDI '23"
81 name: "17th USENIX Symposium on Operating Systems Design and Implementation"
82 website: "https://www.usenix.org/conference/osdi23"
83 start: 2023-07-10T00:00:00-04:00
84 end: 2023-07-12T23:59:59-04:00
85
86# Institutions in alphabetical order:
87institutions:
88 cornell:
89 country: USA
90 institution: Cornell University
91 northwestern:
92 country: USA
93 institution: Northwestern University
94 nyu:
95 contry: USA
96 institution: New York University
97 princeton:
98 country: USA
99 institution: Princeton University
100 sentient_foundation:
101 country: USA
102 institution: Sentient Foundation
103 stanford:
104 country: USA
105 institution: Stanford University
106 ucsd:
107 country: USA
108 institution: University of Californina, San Diego
109 uni_stuttgart:
110 country: Germany
111 institution: University of Stuttgart
112 uva:
113 country: USA
114 institution: Unversity of Virginia
115 zerorisc:
116 country: USA
117 institution: zeroRISC Inc.
118
119# Authors in alphabetical order:
120authors:
121 campbell_brad:
122 affiliations:
123 uva:
124 first: Brad
125 last: Campbell
126 website: https://engineering.virginia.edu/faculty/brad-campbell
127
128 caspin_shai:
129 affiliations:
130 princeton:
131 first: Shai
132 last: Caspin
133 website: https://www.cs.princeton.edu/~sc4479/
134
135 chen_jingyuan:
136 affiliations:
137 princeton:
138 first: Jingyuan
139 last: Chen
140 website: https://leochanj105.github.io/
141 native_lang_name: "陈静远"
142
143 duerr_frank:
144 affiliations:
145 uni_stuttgart:
146 first: Frank
147 last: Duerr
148 website: https://www.ipvs.uni-stuttgart.de/institute/team/Duerr/
149
150 ghena_branden:
151 affiliations:
152 northwestern:
153 first: Branden
154 last: Ghena
155 website: https://brandenghena.com/
156
157 golev_oleg:
158 affiliations:
159 sentient_foundation:
160 first: Oleg A.
161 last: Golev
162 website: https://oleggolev.github.io/
163
164 huang_gongqi:
165 affiliations:
166 princeton:
167 first: Gongqi
168 last: Huang
169 website: https://gongqihuang.com/
170 native_lang_name: "黄功奇"
171
172 jhala_ranjit:
173 affiliations:
174 ucsd:
175 first: Ranjit
176 last: Jhala
177 website: https://ranjitjhala.github.io/
178
179 johnson_evan:
180 affiliations:
181 nyu:
182 first: Evan
183 last: Johnson
184 website: https://enjhnsn2.github.io/
185
186 kaashoek_nicolaas:
187 affiliations:
188 princeton:
189 first: Nicolaas
190 last: Kaashoek
191 website: https://nickaashoek.gitlab.io/
192
193 lehmann_nico:
194 affiliations:
195 ucsd:
196 first: Nico
197 last: Lehmann
198
199 levis_phillip:
200 affiliations:
201 stanford:
202 first: Phillip
203 last: Levis
204 website: https://csl.stanford.edu/~pal/
205
206 levy_amit:
207 affiliations:
208 princeton:
209 first: Amit
210 last: Levy
211 website: https://www.amitlevy.com/
212
213 li_austin:
214 affiliations:
215 cornell:
216 first: Austin T.
217 last: Li
218 website: https://atli2001.github.io/
219
220 lloyd_wyatt:
221 affiliations:
222 princeton:
223 first: Wyatt
224 last: Lloyd
225 website: https://www.cs.princeton.edu/~wlloyd/
226
227 milano_mae:
228 affiliations:
229 princeton:
230 first: Mae
231 last: Milano
232 website: https://www.languagesforsyste.ms/
233
234 pannuto_pat:
235 affiliations:
236 ucsd:
237 first: Pat
238 last: Pannuto
239 website: https://patpannuto.com/
240
241 popescu_natalie:
242 affiliations:
243 princeton:
244 first: Natalie
245 last: Popescu
246 website: https://www.cs.princeton.edu/~npopescu/
247
248 potyondy_tyler:
249 affiliations:
250 ucsd:
251 first: Tyler
252 last: Potyondy
253 website: https://tylerpotyondy.com/
254
255 rashid_samir:
256 affiliations:
257 ucsd:
258 first: Samir
259 last: Rashid
260 website: https://godsped.com/
261
262 rindisbacher_vivien:
263 affiliations:
264 ucsd:
265 first: Vivien
266 last: Rindisbacher
267 website: https://www.vivienrindisbacher.com/
268
269 savage_stefan:
270 affiliations:
271 ucsd:
272 first: Stefan
273 last: Savage
274 website: https://cseweb.ucsd.edu/~savage/
275
276 schuermann_leon:
277 affiliations:
278 princeton:
279 uni_stuttgart:
280 from: 2019-10
281 to: 2022-04
282 first: Leon
283 last: Schuermann
284 website: https://leon.schuermann.io/
285 native_lang_name: "Leon Schürmann"
286
287 stefan_deian:
288 affiliations:
289 ucsd:
290 first: Deian
291 last: Stefan
292 website: https://cseweb.ucsd.edu/~dstefan/
293
294 tarbinian_anthony:
295 affiliations:
296 ucsd:
297 first: Anthony
298 last: Tarbinian
299 website: https://atarbinian.com/
300
301 thomas_arun:
302 affiliations:
303 zerorisc:
304 first: Arun
305 last: Thomas
306
307 toubes_jack:
308 affiliations:
309 princeton:
310 first: Jack
311 last: Toubes
312 website: https://jacktoubes.com/
313
314# Publications that I'm a (co-)author on, in reverse-chronological order:
315own_publications:
316 acsac25-scuba:
317 type: paper
318 date: '2025-12-08'
319 unpublished: true
320
321 title: >
322 End-to-End Encrypted Applications with Strong Consistency Under
323 Byzantine Actors
324
325 authors:
326 - popescu_natalie@princeton
327 - caspin_shai@princeton
328 - schuermann_leon@princeton
329 - chen_jingyuan@princeton
330 - levy_amit@princeton
331
332 venue: ACSAC25
333
334 sosp25-tock-decade:
335 type: paper
336 date: '2025-10-14'
337 selected: true
338 unpublished: true
339
340 title: >
341 Tock: From Research To Securing 10 Million Computers
342
343 authors:
344 - schuermann_leon@princeton
345 - campbell_brad@uva
346 - ghena_branden@northwestern
347 - levis_phillip@stanford
348 - levy_amit@princeton
349 - pannuto_pat@ucsd
350
351 venue: SOSP25
352
353 osdi25-omniglot:
354 type: paper
355 date: '2025-07-07'
356 selected: true
357
358 title: >
359 Building Bridges: Safe Interactions with Foreign Languages
360 through Omniglot
361
362 authors:
363 - schuermann_leon@princeton
364 - toubes_jack@princeton
365 - potyondy_tyler@ucsd
366 - pannuto_pat@ucsd
367 - milano_mae@princeton
368 - levy_amit@princeton
369
370 webpage: https://www.usenix.org/conference/osdi25/presentation/schuermann
371
372 venue: OSDI25
373 best_paper: true
374
375 spices24-tabula-rasa:
376 type: paper
377 date: '2024-12-10'
378
379 title: >
380 Tabula Rasa: Starting Safe Stays Safe
381
382 authors:
383 - potyondy_tyler@ucsd
384 - rashid_samir@ucsd
385 - schuermann_leon@princeton
386 - tarbinian_anthony@ucsd
387 - pannuto_pat@ucsd
388
389 pdf: https://www.ewsn.org/file-repository/ewsn2024/SPICES_2024_CamReady_7.pdf
390
391 venue: SPICES24
392 best_paper: true
393
394 kisv24-bridge:
395 type: paper
396 date: '2024-11-03'
397
398 title: >
399 Bridge: A Leak-Free Hardware-Software Architecture for Parallel
400 Embedded Systems
401
402 authors:
403 - huang_gongqi@princeton
404 - schuermann_leon@princeton
405 - levy_amit@princeton
406
407 doi: 10.1145/3698576.3698765
408 venue: KISV24
409
410 rustnl2024-encapsulated-functions:
411 date: '2024-05-07'
412
413 title: >
414 Safe Interactions with Foreign Languages through Encapsulated
415 Functions
416
417 authors:
418 - schuermann_leon@princeton
419 - toubes_jack@princeton
420 - potyondy_tyler@ucsd
421 - milano_mae@princeton
422 - levy_amit@princeton
423
424 slides_pdf: /publications/2024_Schuermann_Encapsulated-Functions_RustNL24_Slides.pdf
425
426 type: talk
427 venue: RustNL24
428
429 sosp23-encapsulated-functions-poster:
430 type: poster
431 date: '2023-10-24'
432
433 title: >
434 Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems
435
436 authors:
437 - schuermann_leon@princeton
438 - thomas_arun@zerorisc
439 - levy_amit@princeton
440
441 pdf: /publications/2023_Schuermann_Encapsulated-Functions_SOSP23-poster.pdf
442 venue: SOSP23
443
444 kisv23-encapsulated-functions:
445 type: paper
446 date: '2023-10-23'
447
448 title: >
449 Encapsulated Functions: Fortifying Rust's FFI in Embedded
450 Systems
451
452 authors:
453 - schuermann_leon@princeton
454 - thomas_arun@zerorisc
455 - levy_amit@princeton
456
457 doi: 10.1145/3625275.3625397
458 venue: KISV23
459
460 osdi23-helix-poster:
461 date: '2023-07-10'
462 type: poster
463
464 title: >
465 HELIX: Co-designing the Hardware, Software and Network Protocol
466 for Reliable High-Bandwidth Communication in Constrained Systems
467
468 authors:
469 - schuermann_leon@princeton
470 - levy_amit@princeton
471 - duerr_frank@uni_stuttgart
472
473 pdf: /publications/2023_Schuermann_HELIX_OSDI23-poster.pdf
474
475 venue: OSDI23
476
477 2022-helix-master-thesis:
478 type: thesis
479 date: '2022-04-20'
480
481 title: >
482 Design and Evaluation of System Concepts and Protocols for
483 Lossless Hardware-Assisted Streaming of Real-Time Measurement
484 Data over IP Networks
485
486 authors:
487 - schuermann_leon@uni_stuttgart
488
489 thesisInstitution: >
490 University of Stuttgart, Institute of Parallel and Distributed
491 Systems
492 thesisLabel: Master' Thesis
493
494 doi: 10.18419/opus-12456
495
496 2021-ptp-time-sync-embedded-systems:
497 type: techreport
498 date: '2021-12-05'
499
500 title: >
501 Implementation and Evaluation of Time Synchronization Mechanisms
502 for Generic Embedded Systems for Time Sensitive Networking (TSN)
503
504 authors:
505 - schuermann_leon@uni_stuttgart
506 - duerr_frank@uni_stuttgart
507
508 techreportNumber: TR-2021-02
509 techreportPublisher: >
510 University of Stuttgart, Institute of Parallel and Distributed
511 Systems
512
513 pdf: /publications/2021_Schuermann_ptp-time-sync-embedded-systems.pdf
514 extraLinks:
515 - fontIcon:
516 - fontawesome4
517 - ''
518 label: Online Record
519 url: "http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2021-02&mod=1&engl=1&inst=FAK"
520
521# Publications that I'm **not** a (co-)author on, but have some other connection
522# to (e.g., as an acknowledgment) in reverse-chronological, and then
523# alphabetical order by title:
524acknowledged_contributions:
525 sosp25-radical:
526 type: paper
527 date: '2025-10-14'
528 unpublished: true
529 acknowledged: true
530
531 title: >
532 Running Consistent Applications Closer to Users with Radical for Lower
533 Latency
534
535 authors:
536 - kaashoek_nicolaas@princeton
537 - golev_oleg@sentient_foundation
538 - li_austin@cornell
539 - levy_amit@princeton
540 - lloyd_wyatt@princeton
541
542 venue: SOSP25
543
544 sosp25-ticktock:
545 type: paper
546 date: '2025-10-14'
547 unpublished: true
548 acknowledged: true
549
550 title: >
551 TickTock: Verified Isolation in a Production Embedded OS
552
553 authors:
554 - rindisbacher_vivien@ucsd
555 - johnson_evan@nyu
556 - lehmann_nico@ucsd
557 - potyondy_tyler@ucsd
558 - pannuto_pat@ucsd
559 - savage_stefan@ucsd
560 - stefan_deian@ucsd
561 - jhala_ranjit@ucsd
562
563 venue: SOSP25