At the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP), Hotel Westin, Seattle, Washington, US! @icfp_conference #icfp2023 #MirageOS #Multicore #OCaml #Satellite #SpaceOS @tarides_