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: "3nd 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 unpublished: true
364
365 title: >-
366 End-to-End Encrypted Applications with Strong Consistency Under
367 Byzantine Actors
368
369 authors:
370 - popescu_natalie@princeton
371 - caspin_shai@princeton
372 - schuermann_leon@princeton
373 - chen_jingyuan@princeton
374 - levy_amit@princeton
375
376 venue: ACSAC25
377
378 sosp25-tock-decade:
379 type: paper
380 date: '2025-10-14'
381 selected: true
382
383 title: >-
384 Tock: From Research To Securing 10 Million Computers
385
386 authors:
387 - schuermann_leon@princeton
388 - campbell_brad@uva
389 - ghena_branden@northwestern
390 - levis_phillip@stanford
391 - levy_amit@princeton
392 - pannuto_pat@ucsd
393
394 doi: 10.1145/3731569.3764828
395 doi_repository: acmdl
396
397 venue: SOSP25
398
399 osdi25-omniglot:
400 type: paper
401 date: '2025-07-07'
402 selected: true
403
404 title: >-
405 Building Bridges: Safe Interactions with Foreign Languages
406 through Omniglot
407
408 authors:
409 - schuermann_leon@princeton
410 - toubes_jack@princeton
411 - potyondy_tyler@ucsd
412 - pannuto_pat@ucsd
413 - milano_mae@princeton
414 - levy_amit@princeton
415
416 webpage: https://www.usenix.org/conference/osdi25/presentation/schuermann
417
418 venue: OSDI25
419 best_paper: true
420
421 spices24-tabula-rasa:
422 type: paper
423 date: '2024-12-10'
424
425 title: >-
426 Tabula Rasa: Starting Safe Stays Safe
427
428 authors:
429 - potyondy_tyler@ucsd
430 - rashid_samir@ucsd
431 - schuermann_leon@princeton
432 - tarbinian_anthony@ucsd
433 - pannuto_pat@ucsd
434
435 pdf: https://www.ewsn.org/file-repository/ewsn2024/SPICES_2024_CamReady_7.pdf
436
437 venue: SPICES24
438 best_paper: true
439
440 kisv24-bridge:
441 type: paper
442 date: '2024-11-03'
443
444 title: >-
445 Bridge: A Leak-Free Hardware-Software Architecture for Parallel
446 Embedded Systems
447
448 authors:
449 - huang_gongqi@princeton
450 - schuermann_leon@princeton
451 - levy_amit@princeton
452
453 doi: 10.1145/3698576.3698765
454 doi_repository: acmdl
455 venue: KISV24
456
457 rustnl2024-encapsulated-functions:
458 date: '2024-05-07'
459
460 title: >-
461 Safe Interactions with Foreign Languages through Encapsulated
462 Functions
463
464 authors:
465 - schuermann_leon@princeton
466 - toubes_jack@princeton
467 - potyondy_tyler@ucsd
468 - milano_mae@princeton
469 - levy_amit@princeton
470
471 slides_pdf: /publications/2024_Schuermann_Encapsulated-Functions_RustNL24_Slides.pdf
472
473 type: talk
474 venue: RustNL24
475
476 sosp23-encapsulated-functions-poster:
477 type: poster
478 date: '2023-10-24'
479
480 title: >-
481 Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems
482
483 authors:
484 - schuermann_leon@princeton
485 - thomas_arun@zerorisc
486 - levy_amit@princeton
487
488 pdf: /publications/2023_Schuermann_Encapsulated-Functions_SOSP23-poster.pdf
489 venue: SOSP23
490
491 kisv23-encapsulated-functions:
492 type: paper
493 date: '2023-10-23'
494
495 title: >-
496 Encapsulated Functions: Fortifying Rust's FFI in Embedded
497 Systems
498
499 authors:
500 - schuermann_leon@princeton
501 - thomas_arun@zerorisc
502 - levy_amit@princeton
503
504 doi: 10.1145/3625275.3625397
505 doi_repository: acmdl
506 venue: KISV23
507
508 osdi23-helix-poster:
509 date: '2023-07-10'
510 type: poster
511
512 title: >-
513 HELIX: Co-designing the Hardware, Software and Network Protocol
514 for Reliable High-Bandwidth Communication in Constrained Systems
515
516 authors:
517 - schuermann_leon@princeton
518 - levy_amit@princeton
519 - duerr_frank@uni_stuttgart
520
521 pdf: /publications/2023_Schuermann_HELIX_OSDI23-poster.pdf
522
523 venue: OSDI23
524
525 2022-helix-master-thesis:
526 type: thesis
527 date: '2022-04-20'
528
529 title: >-
530 Design and Evaluation of System Concepts and Protocols for
531 Lossless Hardware-Assisted Streaming of Real-Time Measurement
532 Data over IP Networks
533
534 authors:
535 - schuermann_leon@uni_stuttgart
536
537 thesisInstitution: >-
538 University of Stuttgart, Institute of Parallel and Distributed
539 Systems
540 thesisLabel: Master' Thesis
541
542 doi: 10.18419/opus-12456
543 doi_repository: uni-stuttgart-opus
544
545 2021-ptp-time-sync-embedded-systems:
546 type: techreport
547 date: '2021-12-05'
548
549 title: >-
550 Implementation and Evaluation of Time Synchronization Mechanisms
551 for Generic Embedded Systems for Time Sensitive Networking (TSN)
552
553 authors:
554 - schuermann_leon@uni_stuttgart
555 - duerr_frank@uni_stuttgart
556
557 techreportNumber: TR-2021-02
558 techreportPublisher: >-
559 University of Stuttgart, Institute of Parallel and Distributed
560 Systems
561
562 pdf: /publications/2021_Schuermann_ptp-time-sync-embedded-systems.pdf
563 extraLinks:
564 - fontIcon:
565 - fontawesome4
566 - ''
567 label: Online Record
568 url: "http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2021-02&mod=1&engl=1&inst=FAK"
569
570# Publications that I'm **not** a (co-)author on, but have some other connection
571# to (e.g., as an acknowledgment) in reverse-chronological, and then
572# alphabetical order by title:
573acknowledged_contributions:
574 sosp25-radical:
575 type: paper
576 date: '2025-10-14'
577 acknowledged: true
578
579 title: >-
580 Running Consistent Applications Closer to Users with Radical for Lower
581 Latency
582
583 authors:
584 - kaashoek_nicolaas@princeton
585 - golev_oleg@sentient_foundation
586 - li_austin@cornell
587 - levy_amit@princeton
588 - lloyd_wyatt@princeton
589
590 doi: 10.1145/3731569.3764831
591 doi_repository: acmdl
592
593 venue: SOSP25
594
595 sosp25-ticktock:
596 type: paper
597 date: '2025-10-14'
598 acknowledged: true
599
600 title: >-
601 TickTock: Verified Isolation in a Production Embedded OS
602
603 authors:
604 - rindisbacher_vivien@ucsd
605 - johnson_evan@nyu
606 - lehmann_nico@ucsd
607 - potyondy_tyler@ucsd
608 - pannuto_pat@ucsd
609 - savage_stefan@ucsd
610 - stefan_deian@ucsd
611 - jhala_ranjit@ucsd
612
613 doi: 10.1145/3731569.3764856
614 doi_repository: acmdl
615
616 venue: SOSP25