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