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: University 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
339 title: >
340 Tock: From Research To Securing 10 Million Computers
341
342 authors:
343 - schuermann_leon@princeton
344 - campbell_brad@uva
345 - ghena_branden@northwestern
346 - levis_phillip@stanford
347 - levy_amit@princeton
348 - pannuto_pat@ucsd
349
350 doi: 10.1145/3731569.3764828
351
352 venue: SOSP25
353
354 osdi25-omniglot:
355 type: paper
356 date: '2025-07-07'
357 selected: true
358
359 title: >
360 Building Bridges: Safe Interactions with Foreign Languages
361 through Omniglot
362
363 authors:
364 - schuermann_leon@princeton
365 - toubes_jack@princeton
366 - potyondy_tyler@ucsd
367 - pannuto_pat@ucsd
368 - milano_mae@princeton
369 - levy_amit@princeton
370
371 webpage: https://www.usenix.org/conference/osdi25/presentation/schuermann
372
373 venue: OSDI25
374 best_paper: true
375
376 spices24-tabula-rasa:
377 type: paper
378 date: '2024-12-10'
379
380 title: >
381 Tabula Rasa: Starting Safe Stays Safe
382
383 authors:
384 - potyondy_tyler@ucsd
385 - rashid_samir@ucsd
386 - schuermann_leon@princeton
387 - tarbinian_anthony@ucsd
388 - pannuto_pat@ucsd
389
390 pdf: https://www.ewsn.org/file-repository/ewsn2024/SPICES_2024_CamReady_7.pdf
391
392 venue: SPICES24
393 best_paper: true
394
395 kisv24-bridge:
396 type: paper
397 date: '2024-11-03'
398
399 title: >
400 Bridge: A Leak-Free Hardware-Software Architecture for Parallel
401 Embedded Systems
402
403 authors:
404 - huang_gongqi@princeton
405 - schuermann_leon@princeton
406 - levy_amit@princeton
407
408 doi: 10.1145/3698576.3698765
409 venue: KISV24
410
411 rustnl2024-encapsulated-functions:
412 date: '2024-05-07'
413
414 title: >
415 Safe Interactions with Foreign Languages through Encapsulated
416 Functions
417
418 authors:
419 - schuermann_leon@princeton
420 - toubes_jack@princeton
421 - potyondy_tyler@ucsd
422 - milano_mae@princeton
423 - levy_amit@princeton
424
425 slides_pdf: /publications/2024_Schuermann_Encapsulated-Functions_RustNL24_Slides.pdf
426
427 type: talk
428 venue: RustNL24
429
430 sosp23-encapsulated-functions-poster:
431 type: poster
432 date: '2023-10-24'
433
434 title: >
435 Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems
436
437 authors:
438 - schuermann_leon@princeton
439 - thomas_arun@zerorisc
440 - levy_amit@princeton
441
442 pdf: /publications/2023_Schuermann_Encapsulated-Functions_SOSP23-poster.pdf
443 venue: SOSP23
444
445 kisv23-encapsulated-functions:
446 type: paper
447 date: '2023-10-23'
448
449 title: >
450 Encapsulated Functions: Fortifying Rust's FFI in Embedded
451 Systems
452
453 authors:
454 - schuermann_leon@princeton
455 - thomas_arun@zerorisc
456 - levy_amit@princeton
457
458 doi: 10.1145/3625275.3625397
459 venue: KISV23
460
461 osdi23-helix-poster:
462 date: '2023-07-10'
463 type: poster
464
465 title: >
466 HELIX: Co-designing the Hardware, Software and Network Protocol
467 for Reliable High-Bandwidth Communication in Constrained Systems
468
469 authors:
470 - schuermann_leon@princeton
471 - levy_amit@princeton
472 - duerr_frank@uni_stuttgart
473
474 pdf: /publications/2023_Schuermann_HELIX_OSDI23-poster.pdf
475
476 venue: OSDI23
477
478 2022-helix-master-thesis:
479 type: thesis
480 date: '2022-04-20'
481
482 title: >
483 Design and Evaluation of System Concepts and Protocols for
484 Lossless Hardware-Assisted Streaming of Real-Time Measurement
485 Data over IP Networks
486
487 authors:
488 - schuermann_leon@uni_stuttgart
489
490 thesisInstitution: >
491 University of Stuttgart, Institute of Parallel and Distributed
492 Systems
493 thesisLabel: Master' Thesis
494
495 doi: 10.18419/opus-12456
496
497 2021-ptp-time-sync-embedded-systems:
498 type: techreport
499 date: '2021-12-05'
500
501 title: >
502 Implementation and Evaluation of Time Synchronization Mechanisms
503 for Generic Embedded Systems for Time Sensitive Networking (TSN)
504
505 authors:
506 - schuermann_leon@uni_stuttgart
507 - duerr_frank@uni_stuttgart
508
509 techreportNumber: TR-2021-02
510 techreportPublisher: >
511 University of Stuttgart, Institute of Parallel and Distributed
512 Systems
513
514 pdf: /publications/2021_Schuermann_ptp-time-sync-embedded-systems.pdf
515 extraLinks:
516 - fontIcon:
517 - fontawesome4
518 - ''
519 label: Online Record
520 url: "http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2021-02&mod=1&engl=1&inst=FAK"
521
522# Publications that I'm **not** a (co-)author on, but have some other connection
523# to (e.g., as an acknowledgment) in reverse-chronological, and then
524# alphabetical order by title:
525acknowledged_contributions:
526 sosp25-radical:
527 type: paper
528 date: '2025-10-14'
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 doi: 10.1145/3731569.3764831
543
544 venue: SOSP25
545
546 sosp25-ticktock:
547 type: paper
548 date: '2025-10-14'
549 acknowledged: true
550
551 title: >
552 TickTock: Verified Isolation in a Production Embedded OS
553
554 authors:
555 - rindisbacher_vivien@ucsd
556 - johnson_evan@nyu
557 - lehmann_nico@ucsd
558 - potyondy_tyler@ucsd
559 - pannuto_pat@ucsd
560 - savage_stefan@ucsd
561 - stefan_deian@ucsd
562 - jhala_ranjit@ucsd
563
564 doi: 10.1145/3731569.3764856
565
566 venue: SOSP25