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