%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Mon May 13 07:40:59 MDT 2024 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{{2018}}{% Johnson:2018:HFP,% Kolodin:2019:HMR,% Matzinger:2019:HDS,% Matzinger:2019:RPC,% Sharma:2019:MRL% }. \NAMECITE{{7}}{% Baumgartner:2019:BDB% }. \NAMECITE{Abstractions}{% Holk:2013:GPR% }. \NAMECITE{Action}{% McNamara:2021:RAS% }. \NAMECITE{Actor}{% Oda:2017:DIS% }. \NAMECITE{Advanced}{% Sharma:2019:CRP% }. \NAMECITE{Advantages}{% Bagnara:2023:CRA% }. \NAMECITE{Adventure}{% Thy:2023:ALE% }. \NAMECITE{{Aeneas}}{% Ho:2022:ARV% }. \NAMECITE{Agent}{% Antelmi:2019:ERP,% Cimler:2016:CRC% }. \NAMECITE{Agent-Based}{% Antelmi:2019:ERP,% Cimler:2016:CRC% }. \NAMECITE{Algorithms}{% Matzinger:2019:HDS% }. \NAMECITE{Aliasing}{% Emre:2023:ALT,% Wei:2024:PRT,% Jung:2020:SBA% }. \NAMECITE{Alignment}{% Cogo:2023:AAB% }. \NAMECITE{{Alzheimer}}{% Cimler:2016:CRC% }. \NAMECITE{am}{% Terber:2016:DSC% }. \NAMECITE{Analysis}{% Chakraborty:2019:EAG,% Cui:2023:SDM,% Ardito:2020:RCA,% Lindner:2018:HLB% }. \NAMECITE{analyze}{% Ardito:2020:RCA% }. \NAMECITE{Any}{% Kruppe:2019:ELL,% Popescu:2021:SSA% }. \NAMECITE{{APIs}}{% Mindermann:2018:HUR% }. \NAMECITE{{Appendix}}{% Beebe:2019:ARR% }. \NAMECITE{Applications}{% Bhattacharjee:2020:PML,% EguiaMoraza:2018:RHP,% Gomez:2018:RPE,% Johnson:2018:HFP,% Lyu:2021:PRW,% Romano:2020:WVT% }. \NAMECITE{Applied}{% Hardin:2022:HSC% }. \NAMECITE{Approach}{% Takano:2020:ACC,% Lindner:2019:VSF% }. \NAMECITE{Apps}{% Matzinger:2019:RPC,% Nusairat:2020:RI% }. \NAMECITE{Architecture}{% Hardin:2022:HSC,% Terber:2016:DSC% }. \NAMECITE{Assessing}{% Cogo:2023:AAB% }. \NAMECITE{Assurance}{% Hardin:2022:HSC% }. \NAMECITE{Atomics}{% Bos:2023:RAL% }. \NAMECITE{automatic}{% Popescu:2021:SSA% }. \NAMECITE{Avoid}{% Shetty:2019:CCC% }. \NAMECITE{aware}{% Popescu:2021:SSA% }. \NAMECITE{{B}}{% Baumgartner:2019:BDB% }. \NAMECITE{{B-DTN7}}{% Baumgartner:2019:BDB% }. \NAMECITE{Based}{% Antelmi:2019:ERP,% Cimler:2016:CRC,% Denisov:2018:MIM,% Lankes:2020:RSR,% Lyu:2021:PRW,% Matsushita:2020:RCB,% Oda:2017:DIS,% Youens-Clark:2022:CLR,% Baumgartner:2019:BDB,% Kyriakou:2019:ECC,% Lindner:2018:HLB,% Lindner:2019:VSF,% Matsushita:2021:RCB% }. \NAMECITE{Beautiful}{% Blandy:2015:RPL% }. \NAMECITE{Beginning}{% Milanesi:2018:BRN% }. \NAMECITE{Beispiel}{% Terber:2016:DSC% }. \NAMECITE{between}{% Cogo:2023:AAB% }. \NAMECITE{Beyond}{% Balasubramanian:2017:SPR% }. \NAMECITE{blockchain}{% Ning:2020:SMD% }. \NAMECITE{Borrowing}{% Pearce:2021:LFR% }. \NAMECITE{borrows}{% Jung:2020:SBA% }. \NAMECITE{Bounded}{% Toman:2015:CBV% }. \NAMECITE{Bring}{% Wen:2020:WBE% }. \NAMECITE{Browser}{% Anderson:2016:ESW,% Baumgartner:2019:BDB% }. \NAMECITE{Browser-based}{% Baumgartner:2019:BDB% }. \NAMECITE{Bugs}{% Cui:2023:SDM% }. \NAMECITE{Build}{% Chanda:2018:NPR,% Johnson:2018:HFP,% Kolodin:2019:HMR,% Matzinger:2019:HDS,% Troutwine:2018:HCR% }. \NAMECITE{Building}{% Gomez:2018:RPE,% Lyu:2021:PRW,% Matzinger:2019:RPC,% Nusairat:2020:RI% }. \NAMECITE{{Bundle}}{% Baumgartner:2019:BDB% }. \NAMECITE{Byte}{% Couprie:2015:NBO% }. \NAMECITE{{C}}{% Bagnara:2023:CRA,% Emre:2021:TCS,% Emre:2023:ALT,% Kyriakou:2018:ICC,% Kyriakou:2019:ECC,% Shetty:2019:CCC,% Tomb:2020:STC% }. \NAMECITE{{C\#}}{% Cimler:2016:CRC% }. \NAMECITE{{C}-rusted}{% Bagnara:2023:CRA% }. \NAMECITE{{C/C}}{% Kyriakou:2018:ICC,% Kyriakou:2019:ECC,% Shetty:2019:CCC% }. \NAMECITE{Can}{% Lyu:2020:WEC% }. \NAMECITE{Case}{% Cogo:2023:AAB,% Emmerich:2019:CWN% }. \NAMECITE{{CBRJS}}{% Kyriakou:2019:ECC% }. \NAMECITE{C{\'e}u}{% Terber:2016:DSC,% Terber:2016:DSC% }. \NAMECITE{Challenge}{% Xu:2022:MSC% }. \NAMECITE{Challenges}{% Chakraborty:2019:EAG,% Pipek:2019:RCI% }. \NAMECITE{{CHC}}{% Matsushita:2020:RCB,% Matsushita:2021:RCB% }. \NAMECITE{{CHC}-Based}{% Matsushita:2020:RCB,% Matsushita:2021:RCB% }. \NAMECITE{Classic}{% Miller:2022:RCF% }. \NAMECITE{Clients}{% Chanda:2018:NPR% }. \NAMECITE{{CLIs}}{% Youens-Clark:2022:CLR% }. \NAMECITE{Closer}{% Zheng:2024:CLS% }. \NAMECITE{closures}{% Wolff:2021:MSV% }. \NAMECITE{Cloud}{% Lyu:2021:PRW% }. \NAMECITE{{CLP}}{% Dewey:2015:FRT% }. \NAMECITE{Co}{% Hardin:2022:HSC% }. \NAMECITE{Co-Assurance}{% Hardin:2022:HSC% }. \NAMECITE{{Cocoon}}{% Lamba:2024:CSI% }. \NAMECITE{Code}{% Matzinger:2019:HDS,% Shetty:2019:CCC,% Ardito:2020:RCA,% Ardito:2021:ERC,% Lee:2018:RHL% }. \NAMECITE{codebases}{% Kyriakou:2019:ECC% }. \NAMECITE{codes}{% Ardito:2020:RCA% }. \NAMECITE{Coding}{% Takano:2020:ACC% }. \NAMECITE{Combinators}{% Couprie:2015:NBO% }. \NAMECITE{Command}{% Youens-Clark:2022:CLR% }. \NAMECITE{Command-line}{% Youens-Clark:2022:CLR% }. \NAMECITE{Comparison}{% Cimler:2016:CRC% }. \NAMECITE{Complete}{% Sharma:2019:CRP% }. \NAMECITE{complexity}{% Ardito:2021:ERC% }. \NAMECITE{Computing}{% Lyu:2020:PCR% }. \NAMECITE{Concepts}{% McNamara:2021:RAS% }. \NAMECITE{Conceptual}{% Crichton:2023:GCM% }. \NAMECITE{Concurrency}{% Bos:2023:RAL,% Chanda:2018:NPR,% Sharma:2019:MRL,% Troutwine:2018:HCR% }. \NAMECITE{Concurrent}{% Gomez:2018:RPE% }. \NAMECITE{Confidently}{% Troutwine:2018:HCR% }. \NAMECITE{Considered}{% Xu:2022:MSC% }. \NAMECITE{Constructs}{% Sharma:2019:CRP% }. \NAMECITE{context}{% Popescu:2021:SSA% }. \NAMECITE{context-aware}{% Popescu:2021:SSA% }. \NAMECITE{Control}{% Lamba:2024:CSI,% Oda:2017:DIS% }. \NAMECITE{Conventions}{% Takano:2020:ACC% }. \NAMECITE{Convert}{% Takano:2020:ACC% }. \NAMECITE{Converting}{% Takano:2020:DDC% }. \NAMECITE{Cookbook}{% Matzinger:2019:RPC% }. \NAMECITE{copy}{% Couprie:2015:NBO% }. \NAMECITE{Course}{% Evans:2013:URU% }. \NAMECITE{Creating}{% Bhattacharjee:2020:PML% }. \NAMECITE{Creation}{% Cimler:2016:CRC% }. \NAMECITE{Critical}{% Pinho:2019:TRC% }. \NAMECITE{{CRUST}}{% Shetty:2019:CCC,% Toman:2015:CBV% }. \NAMECITE{Cryptography}{% Mindermann:2018:HUR% }. \NAMECITE{{CVEs}}{% Xu:2022:MSC% }. \NAMECITE{Data}{% Cui:2023:SDM,% Matzinger:2019:HDS,% Yanovski:2021:PGS% }. \NAMECITE{Data-flow}{% Cui:2023:SDM% }. \NAMECITE{deadlock}{% Ning:2020:SMD% }. \NAMECITE{Deallocation}{% Cui:2023:SDM% }. \NAMECITE{Deep}{% Oda:2017:DIS% }. \NAMECITE{Delay}{% Georgiou:2018:WYP% }. \NAMECITE{Dependency}{% Kikas:2017:SEP% }. \NAMECITE{Deploy}{% Kolodin:2019:HMR,% Sharma:2019:CRP% }. \NAMECITE{Depth}{% Xu:2022:MSC% }. \NAMECITE{Design}{% Oda:2017:DIS,% Sharma:2019:CRP,% Takano:2020:DDC% }. \NAMECITE{Detecting}{% Cui:2023:SDM% }. \NAMECITE{detector}{% Ning:2020:SMD% }. \NAMECITE{Develop}{% Sharma:2019:CRP% }. \NAMECITE{Developers}{% Cogo:2023:AAB,% Evans:2020:RUS% }. \NAMECITE{Development}{% Blandy:2021:PRF,% Hardin:2022:HSC,% Kyriakou:2019:ECC% }. \NAMECITE{Disadvantages}{% Bagnara:2023:CRA% }. \NAMECITE{Discoverability}{% Kyriakou:2018:ICC,% Kyriakou:2019:ECC% }. \NAMECITE{Disease}{% Cimler:2016:CRC% }. \NAMECITE{Disruption}{% Baumgartner:2019:BDB% }. \NAMECITE{Disruption-tolerant}{% Baumgartner:2019:BDB% }. \NAMECITE{Do}{% Lyu:2020:WEC,% Astrauskas:2020:HDP% }. \NAMECITE{Documentation}{% Cogo:2023:AAB% }. \NAMECITE{{Domain}}{% Terber:2016:DSC% }. \NAMECITE{{Domain}-oriented}{% Terber:2016:DSC% }. \NAMECITE{{Dom{\"a}nenorientierte}}{% Terber:2016:DSC% }. \NAMECITE{Drivers}{% Emmerich:2019:CWN% }. \NAMECITE{{DSL}}{% Takano:2020:DDC% }. \NAMECITE{{DTN7}}{% Baumgartner:2019:BDB% }. \NAMECITE{during}{% Rivera:2021:PMS% }. \NAMECITE{Easily}{% Kruppe:2019:ELL% }. \NAMECITE{Ecosystem}{% Zheng:2024:CLS% }. \NAMECITE{Ecosystems}{% Kyriakou:2018:ICC% }. \NAMECITE{Edge}{% Wen:2020:WBE% }. \NAMECITE{Edition}{% Sharma:2019:MRL% }. \NAMECITE{Effective}{% Matzinger:2019:HDS,% Sharma:2019:CRP% }. \NAMECITE{Efficient}{% Sydow:2020:TPG,% Troutwine:2018:HCR% }. \NAMECITE{Else}{% Lyu:2020:WEC% }. \NAMECITE{Empirical}{% Chakraborty:2019:EAG,% Li:2023:ESY% }. \NAMECITE{Enabling}{% Han:2020:SMF% }. \NAMECITE{Encryption}{% Han:2020:SMF% }. \NAMECITE{Energy}{% Georgiou:2018:WYP% }. \NAMECITE{Energy-Delay}{% Georgiou:2018:WYP% }. \NAMECITE{Engaging}{% Gomez:2018:RPE% }. \NAMECITE{Engine}{% Anderson:2016:ESW% }. \NAMECITE{Engineering}{% Anderson:2016:ESW% }. \NAMECITE{enhancement}{% Popescu:2021:SSA% }. \NAMECITE{Enhancing}{% Kyriakou:2019:ECC% }. \NAMECITE{Enter}{% Gomez:2018:RPE% }. \NAMECITE{Environment}{% Lankes:2020:RSR% }. \NAMECITE{{ERC}}{% Dreyer:202x:EPR% }. \NAMECITE{Errors}{% vanOorschot:2023:MEMb% }. \NAMECITE{Essentials}{% Balbaert:2015:RE% }. \NAMECITE{{EU}}{% Cimler:2016:CRC% }. \NAMECITE{Evaluating}{% Antelmi:2019:ERP% }. \NAMECITE{Evaluation}{% Ardito:2021:ERC% }. \NAMECITE{Evolution}{% Kikas:2017:SEP% }. \NAMECITE{Evolving}{% Jung:2020:UER% }. \NAMECITE{Example}{% Gomez:2018:RPE,% Terber:2016:DSC% }. \NAMECITE{Executable}{% Wang:2018:KFE% }. \NAMECITE{Execution}{% Lankes:2020:RSR,% Lindner:2018:NPV,% Lindner:2019:VSF% }. \NAMECITE{Experience}{% Fluet:2022:ERT% }. \NAMECITE{Explore}{% Matzinger:2019:RPC% }. \NAMECITE{Extending}{% Kruppe:2019:ELL% }. \NAMECITE{Extract}{% Thy:2023:ALE,% Ardito:2020:RCA% }. \NAMECITE{Fast}{% Blandy:2015:RPL,% Blandy:2021:PRF,% Chanda:2018:NPR,% Matzinger:2019:RPC% }. \NAMECITE{Features}{% Chanda:2018:NPR,% Matzinger:2019:RPC,% Sharma:2019:MRL% }. \NAMECITE{{Fernparametrisierung}}{% Terber:2016:DSC% }. \NAMECITE{Fern{\"u}berwachung}{% Terber:2016:DSC% }. \NAMECITE{Flow}{% Lamba:2024:CSI,% Cui:2023:SDM% }. \NAMECITE{{Flux}}{% Lehmann:2023:FLT% }. \NAMECITE{Formal}{% Wang:2018:KFE% }. \NAMECITE{Formalism}{% Pearce:2021:LFR% }. \NAMECITE{foundations}{% Jung:2018:RSF% }. \NAMECITE{Framework}{% Han:2020:SMF,% Kyriakou:2019:ECC% }. \NAMECITE{Freshness}{% Wei:2024:PRT% }. \NAMECITE{Friendly}{% Sydow:2018:SUF% }. \NAMECITE{Functional}{% Johnson:2018:HFP,% Ho:2022:ARV% }. \NAMECITE{Functions}{% Lindner:2019:VSF% }. \NAMECITE{Future}{% Antelmi:2019:ERP% }. \NAMECITE{Fuzz}{% Miller:2022:RCF% }. \NAMECITE{Fuzzing}{% Dewey:2015:FRT% }. \NAMECITE{gateway}{% Terber:2016:DSC% }. \NAMECITE{Generic}{% Wei:2024:PRT% }. \NAMECITE{{German}}{% Terber:2016:DSC% }. \NAMECITE{Ghost}{% Lattuada:2023:VVR% }. \NAMECITE{{GhostCell}}{% Yanovski:2021:PGS% }. \NAMECITE{{GPU}}{% Holk:2013:GPR% }. \NAMECITE{Graphical}{% Sydow:2018:SUF% }. \NAMECITE{Grounded}{% Crichton:2023:GCM% }. \NAMECITE{Growth}{% Chakraborty:2019:EAG% }. \NAMECITE{Guide}{% Sharma:2019:CRP% }. \NAMECITE{Guided}{% Sydow:2020:TPG% }. \NAMECITE{Hands}{% Johnson:2018:HFP,% Kolodin:2019:HMR,% Matzinger:2019:HDS,% Troutwine:2018:HCR% }. \NAMECITE{Hands-on}{% Johnson:2018:HFP,% Kolodin:2019:HMR,% Matzinger:2019:HDS,% Troutwine:2018:HCR% }. \NAMECITE{Hardware}{% Hardin:2022:HSC,% Lindner:2018:HLB% }. \NAMECITE{Hardware-in-the-loop}{% Lindner:2018:HLB% }. \NAMECITE{Hardware/Software}{% Hardin:2022:HSC% }. \NAMECITE{heating}{% Terber:2016:DSC% }. \NAMECITE{Heizungsgateways}{% Terber:2016:DSC% }. \NAMECITE{Hierarchy}{% Tsai:2018:RMH% }. \NAMECITE{High}{% EguiaMoraza:2018:RHP,% Emmerich:2019:CWN,% Holk:2013:GPR,% Lee:2018:RHL% }. \NAMECITE{High-Level}{% Emmerich:2019:CWN,% Holk:2013:GPR,% Lee:2018:RHL% }. \NAMECITE{Higher}{% Wei:2024:PRT% }. \NAMECITE{Higher-Order}{% Wei:2024:PRT% }. \NAMECITE{Implementation}{% Oda:2017:DIS% }. \NAMECITE{Implemented}{% Lindner:2019:VSF% }. \NAMECITE{Implementing}{% Holk:2013:GPR,% Lagaillardie:2020:IMS% }. \NAMECITE{Implications}{% Georgiou:2018:WYP% }. \NAMECITE{Improving}{% Kyriakou:2018:ICC% }. \NAMECITE{In-Depth}{% Xu:2022:MSC% }. \NAMECITE{Information}{% Cogo:2023:AAB,% Lamba:2024:CSI,% Ardito:2020:RCA% }. \NAMECITE{Input}{% Pipek:2019:RCI% }. \NAMECITE{Instructions}{% Kruppe:2019:ELL% }. \NAMECITE{Intelligent}{% Bhattacharjee:2020:PML% }. \NAMECITE{Interactions}{% Rivera:2021:PMS% }. \NAMECITE{interface}{% Beebe:2019:ARR% }. \NAMECITE{{Internet}}{% Nusairat:2020:RI,% Uzlu:2017:URP% }. \NAMECITE{{IoT}}{% Nusairat:2020:RI% }. \NAMECITE{Issues}{% Shetty:2019:CCC% }. \NAMECITE{{Java}}{% vanOorschot:2023:MEMb% }. \NAMECITE{Kernel}{% Lundberg:2018:SKP% }. \NAMECITE{{KLEE}}{% Lindner:2018:HLB% }. \NAMECITE{{KRust}}{% Wang:2018:KFE% }. \NAMECITE{Language}{% Antelmi:2019:ERP,% Blandy:2015:RPL,% Georgiou:2018:WYP,% Hardin:2022:HSC,% Holk:2013:GPR,% Jung:2020:UER,% Klabnik:2017:RPL,% Kruppe:2019:ELL,% Takano:2020:DDC,% Jung:2018:RSF,% Klabnik:2019:RPL,% Matsakis:2014:RL,% Uzlu:2017:URP% }. \NAMECITE{Languages}{% Chakraborty:2019:EAG,% Cogo:2023:AAB,% Emmerich:2019:CWN,% Rivera:2021:PMS,% Tsai:2018:RMH% }. \NAMECITE{Large}{% Cimler:2016:CRC% }. \NAMECITE{Latest}{% Matzinger:2019:RPC% }. \NAMECITE{Learn}{% EguiaMoraza:2018:RHP,% Matzinger:2019:HDS,% Sharma:2019:MRL% }. \NAMECITE{Learning}{% Bhattacharjee:2020:PML% }. \NAMECITE{Legacy}{% Shetty:2019:CCC,% Kyriakou:2019:ECC% }. \NAMECITE{Level}{% Bos:2023:RAL,% Emmerich:2019:CWN,% Holk:2013:GPR,% Lee:2018:RHL% }. \NAMECITE{Leveraging}{% Astrauskas:2019:LRT,% Chanda:2018:NPR,% Fiala:2023:LRT% }. \NAMECITE{Library}{% Couprie:2015:NBO,% Ardito:2020:RCA% }. \NAMECITE{Lifetime}{% Thy:2023:ALE% }. \NAMECITE{Lifetimes}{% Pearce:2021:LFR% }. \NAMECITE{Lightweight}{% Kruppe:2019:ELL,% Pearce:2021:LFR% }. \NAMECITE{Like}{% Chifflier:2017:WPL% }. \NAMECITE{Limits}{% Emre:2023:ALT% }. \NAMECITE{line}{% Youens-Clark:2022:CLR% }. \NAMECITE{Linear}{% Lattuada:2023:VVR% }. \NAMECITE{Liquid}{% Lehmann:2023:FLT% }. \NAMECITE{{LLVM}}{% Denisov:2018:MIM,% Kruppe:2019:ELL,% Lee:2018:RHL% }. \NAMECITE{Locks}{% Bos:2023:RAL% }. \NAMECITE{{Lola}}{% Finkbeiner:2020:VRM% }. \NAMECITE{Look}{% Zheng:2024:CLS,% vanOorschot:2023:MEMb% }. \NAMECITE{loop}{% Lindner:2018:HLB% }. \NAMECITE{Low}{% Bos:2023:RAL,% Lee:2018:RHL% }. \NAMECITE{Low-Level}{% Bos:2023:RAL,% Lee:2018:RHL% }. \NAMECITE{Machine}{% Bhattacharjee:2020:PML% }. \NAMECITE{maintainability}{% Ardito:2020:RCA% }. \NAMECITE{Maintainable}{% Matzinger:2019:HDS% }. \NAMECITE{Massive}{% Antelmi:2019:ERP% }. \NAMECITE{Mastering}{% Sharma:2019:MRL% }. \NAMECITE{me}{% Ning:2020:SMD% }. \NAMECITE{meets}{% Dang:2020:RMR% }. \NAMECITE{Memory}{% Chanda:2018:NPR,% Cui:2023:SDM,% Rivera:2021:PMS,% Sharma:2019:MRL,% Troutwine:2018:HCR,% Tsai:2018:RMH,% Xu:2022:MSC,% vanOorschot:2023:MEMb,% Dang:2020:RMR% }. \NAMECITE{Memory-safe}{% Troutwine:2018:HCR% }. \NAMECITE{Memory-Safety}{% Xu:2022:MSC,% Chanda:2018:NPR% }. \NAMECITE{Method}{% Thy:2023:ALE% }. \NAMECITE{Methodology}{% Shetty:2019:CCC% }. \NAMECITE{Microservices}{% Kolodin:2019:HMR% }. \NAMECITE{Middlebox}{% Han:2020:SMF% }. \NAMECITE{Mobile}{% Oda:2017:DIS% }. \NAMECITE{Model}{% Crichton:2023:GCM,% Sydow:2018:SUF,% Jung:2020:SBA% }. \NAMECITE{Modern}{% Tsai:2018:RMH% }. \NAMECITE{Modular}{% Johnson:2018:HFP,% Wolff:2021:MSV,% Astrauskas:2019:LRT% }. \NAMECITE{monitoring}{% Terber:2016:DSC% }. \NAMECITE{Monitors}{% Finkbeiner:2020:VRM% }. \NAMECITE{{Mull}}{% Denisov:2018:MIM% }. \NAMECITE{Multiparty}{% Lagaillardie:2020:IMS% }. \NAMECITE{Multiple}{% Han:2020:SMF% }. \NAMECITE{Mutation}{% Denisov:2018:MIM% }. \NAMECITE{N}{% Toman:2015:CBV% }. \NAMECITE{Nano}{% Shetty:2019:CCC% }. \NAMECITE{Nano-parser}{% Shetty:2019:CCC% }. \NAMECITE{Needs}{% Cogo:2023:AAB% }. \NAMECITE{Network}{% Chanda:2018:NPR,% Emmerich:2019:CWN,% Oda:2017:DIS% }. \NAMECITE{Networking}{% Baumgartner:2019:BDB% }. \NAMECITE{Networks}{% Kikas:2017:SEP,% Oda:2017:DIS% }. \NAMECITE{No}{% Lindner:2018:NPV% }. \NAMECITE{Node}{% Oda:2017:DIS% }. \NAMECITE{Node.js}{% Kyriakou:2019:ECC,% Kyriakou:2018:ICC% }. \NAMECITE{{Nom}}{% Couprie:2015:NBO% }. \NAMECITE{Novice}{% Milanesi:2018:BRN% }. \NAMECITE{One}{% Miller:2022:RCF% }. \NAMECITE{Open}{% Kyriakou:2018:ICC% }. \NAMECITE{Optimization}{% Sydow:2020:TPG% }. \NAMECITE{optimizations}{% Lee:2018:RHL% }. \NAMECITE{Optimized}{% Lunnikivi:2020:TPR% }. \NAMECITE{Order}{% Wei:2024:PRT% }. \NAMECITE{oriented}{% Couprie:2015:NBO,% Terber:2016:DSC% }. \NAMECITE{{OSS}}{% Kyriakou:2019:ECC% }. \NAMECITE{Ownership}{% Crichton:2023:GCM% }. \NAMECITE{Package}{% Kikas:2017:SEP,% Li:2023:ESY% }. \NAMECITE{Panic}{% Lindner:2018:NPV% }. \NAMECITE{Parallel}{% Sydow:2018:SUF,% Sydow:2020:TPG,% Troutwine:2018:HCR% }. \NAMECITE{parameterization}{% Terber:2016:DSC% }. \NAMECITE{Parser}{% Couprie:2015:NBO,% Shetty:2019:CCC% }. \NAMECITE{Parsers}{% Chifflier:2017:WPL% }. \NAMECITE{Parsing}{% Pipek:2019:RCI% }. \NAMECITE{Patients}{% Cimler:2016:CRC% }. \NAMECITE{Performance}{% EguiaMoraza:2018:RHP,% Lunnikivi:2020:TPR% }. \NAMECITE{permissions}{% Yanovski:2021:PGS% }. \NAMECITE{Physical}{% Lyu:2020:PCR% }. \NAMECITE{{Pi}}{% Nusairat:2020:RI% }. \NAMECITE{Polymorphic}{% Wei:2024:PRT% }. \NAMECITE{Population}{% Cimler:2016:CRC% }. \NAMECITE{Practical}{% Bhattacharjee:2020:PML,% Lyu:2020:PRP,% Lyu:2021:PRW% }. \NAMECITE{Practice}{% Bos:2023:RAL% }. \NAMECITE{Prediction}{% Cimler:2016:CRC% }. \NAMECITE{Preserving}{% Rivera:2021:PMS% }. \NAMECITE{Primer}{% Youens-Clark:2022:CLR% }. \NAMECITE{Processing}{% Sydow:2018:SUF,% Sydow:2020:TPG% }. \NAMECITE{Professional}{% Milanesi:2018:BRN% }. \NAMECITE{Profile}{% Sydow:2020:TPG% }. \NAMECITE{Profile-Guided}{% Sydow:2020:TPG% }. \NAMECITE{Program}{% Fiala:2023:LRT% }. \NAMECITE{programmers}{% Astrauskas:2020:HDP% }. \NAMECITE{Programming}{% Antelmi:2019:ERP,% Balasubramanian:2017:SPR,% Blandy:2015:RPL,% Blandy:2017:PR,% Blandy:2021:PRF,% Chakraborty:2019:EAG,% Chanda:2018:NPR,% Cogo:2023:AAB,% Emmerich:2019:CWN,% Georgiou:2018:WYP,% Gomez:2018:RPE,% Hardin:2022:HSC,% Holk:2013:GPR,% Johnson:2018:HFP,% Jung:2020:UER,% Klabnik:2017:RPL,% Lundberg:2018:SKP,% Matzinger:2019:HDS,% Matzinger:2019:RPC,% McNamara:2021:RAS,% Sharma:2019:CRP,% Sydow:2018:SUF,% Takano:2020:DDC,% Jung:2018:RSF,% Jung:2021:SSP,% Klabnik:2019:RPL,% Uzlu:2017:URP% }. \NAMECITE{Programs}{% Baranowski:2018:VRP,% Cui:2023:SDM,% Lattuada:2023:VVR,% Lindner:2018:NPV,% Liu:2020:SUR,% Matsushita:2020:RCB,% Matsushita:2021:RCB,% Wei:2024:PRT% }. \NAMECITE{Project}{% Dreyer:202x:EPR,% Youens-Clark:2022:CLR% }. \NAMECITE{Project-Based}{% Youens-Clark:2022:CLR% }. \NAMECITE{Projects}{% Lyu:2020:PRP,% Lyu:2021:PRW% }. \NAMECITE{Protocol}{% Baumgartner:2019:BDB% }. \NAMECITE{Protocols}{% Han:2020:SMF% }. \NAMECITE{{Python}}{% Lunnikivi:2020:TPR% }. \NAMECITE{{Q}}{% Oda:2017:DIS% }. \NAMECITE{{Q}-Network}{% Oda:2017:DIS% }. \NAMECITE{{R}}{% Beebe:2019:ARR% }. \NAMECITE{{Raspberry}}{% Nusairat:2020:RI% }. \NAMECITE{Reachability}{% Wei:2024:PRT% }. \NAMECITE{Reactive}{% Gomez:2018:RPE,% Johnson:2018:HFP,% Kolodin:2019:HMR% }. \NAMECITE{Readable}{% Matzinger:2019:HDS% }. \NAMECITE{Reconciling}{% Lee:2018:RHL% }. \NAMECITE{Refactoring}{% Thy:2023:ALE% }. \NAMECITE{Reference}{% Pearce:2021:LFR,% Sharma:2019:CRP% }. \NAMECITE{Registry}{% Li:2023:ESY% }. \NAMECITE{relaxed}{% Dang:2020:RMR% }. \NAMECITE{Releases}{% Li:2023:ESY% }. \NAMECITE{Relevance}{% Miller:2022:RCF% }. \NAMECITE{remote}{% Terber:2016:DSC% }. \NAMECITE{repackaging}{% Kyriakou:2019:ECC% }. \NAMECITE{report}{% Fluet:2022:ERT% }. \NAMECITE{Resilient}{% Chanda:2018:NPR% }. \NAMECITE{Rethinking}{% Tsai:2018:RMH% }. \NAMECITE{Revisiting}{% Pipek:2019:RCI% }. \NAMECITE{Risks}{% Zheng:2024:CLS% }. \NAMECITE{Robust}{% Gomez:2018:RPE,% Pipek:2019:RCI% }. \NAMECITE{{RTL}}{% Takano:2020:ACC,% Takano:2020:DDC% }. \NAMECITE{Rust}{% Ho:2022:ARV,% Sharma:2019:CRP,% Terber:2016:DSC,% Ardito:2020:RCA,% Cimler:2016:CRC,% Anderson:2016:ESW,% Antelmi:2019:ERP,% Ardito:2020:RCA,% Ardito:2021:ERC,% Astrauskas:2019:LRT,% Astrauskas:2020:HDP,% Bagnara:2023:CRA,% Balasubramanian:2017:SPR,% Balbaert:2015:RE,% Baranowski:2018:VRP,% Beebe:2019:ARR,% Bhattacharjee:2020:PML,% Blandy:2015:RPL,% Blandy:2017:PR,% Blandy:2021:PRF,% Bos:2023:RAL,% Chanda:2018:NPR,% Cogo:2023:AAB,% Couprie:2015:NBO,% Crichton:2023:GCM,% Cui:2023:SDM,% Dewey:2015:FRT,% EguiaMoraza:2018:RHP,% Emre:2021:TCS,% Emre:2023:ALT,% Evans:2013:URU,% Evans:2020:RUS,% Fiala:2023:LRT,% Finkbeiner:2020:VRM,% Fluet:2022:ERT,% Gomez:2018:RPE,% Hardin:2022:HSC,% Holk:2013:GPR,% Johnson:2018:HFP,% Jung:2018:RSF,% Jung:2020:SBA,% Jung:2020:UER,% Jung:2021:SSP,% Klabnik:2017:RPL,% Klabnik:2019:RPL,% Kolodin:2019:HMR,% Kyriakou:2018:ICC,% Kyriakou:2019:ECC,% Lagaillardie:2020:IMS,% Lamba:2024:CSI,% Lankes:2020:RSR,% Lattuada:2023:VVR,% Lehmann:2023:FLT,% Li:2023:ESY,% Lindner:2018:NPV,% Lindner:2019:VSF,% Liu:2020:SUR,% Lundberg:2018:SKP,% Lunnikivi:2020:TPR,% Lyu:2020:PCR,% Lyu:2020:PRP,% Lyu:2020:WEC,% Lyu:2020:WWR,% Lyu:2021:PRW,% Matsakis:2014:RL,% Matsushita:2020:RCB,% Matsushita:2021:RCB,% Matzinger:2019:HDS,% Matzinger:2019:RPC,% McNamara:2021:RAS,% Milanesi:2018:BRN,% Mindermann:2018:HUR,% Modrzyk:2019:WR,% Ning:2020:SMD,% Nusairat:2020:RI,% Pearce:2021:LFR,% Pinho:2019:TRC,% Popescu:2021:SSA,% Rivera:2021:PMS,% Sharma:2019:CRP,% Sharma:2019:MRL,% Shetty:2019:CCC,% Sydow:2020:TPG,% Takano:2020:ACC,% Takano:2020:DDC,% Terber:2016:DSC,% Thy:2023:ALE,% Toman:2015:CBV,% Tomb:2020:STC,% Troutwine:2018:HCR,% Uzlu:2017:URP,% Wang:2018:KFE,% Wolff:2021:MSV,% Xu:2022:MSC,% Yanovski:2021:PGS,% Youens-Clark:2022:CLR,% Zheng:2024:CLS,% vanOorschot:2023:MEMb% }. \NAMECITE{{Rust}-Based}{% Lankes:2020:RSR% }. \NAMECITE{rust-code-analysis}{% Ardito:2020:RCA% }. \NAMECITE{{Rust/Node.js/WebAssembly}}{% Kyriakou:2019:ECC% }. \NAMECITE{{RustBelt}}{% Dang:2020:RMR,% Dreyer:202x:EPR,% Jung:2018:RSF% }. \NAMECITE{rusted}{% Bagnara:2023:CRA% }. \NAMECITE{{RustHorn}}{% Matsushita:2020:RCB,% Matsushita:2021:RCB% }. \NAMECITE{{RustyHermit}}{% Lankes:2020:RSR% }. \NAMECITE{Safe}{% Blandy:2015:RPL,% Blandy:2021:PRF,% Emre:2023:ALT,% Jung:2021:SSP,% Lundberg:2018:SKP,% Sydow:2018:SUF,% Sydow:2020:TPG,% Troutwine:2018:HCR,% Rivera:2021:PMS% }. \NAMECITE{{SafeDrop}}{% Cui:2023:SDM% }. \NAMECITE{Safely}{% Evans:2020:RUS% }. \NAMECITE{Safer}{% Popescu:2021:SSA,% Emre:2021:TCS% }. \NAMECITE{Safety}{% Balasubramanian:2017:SPR,% Lindner:2019:VSF,% Rivera:2021:PMS,% Sharma:2019:MRL,% Shetty:2019:CCC,% Xu:2022:MSC,% vanOorschot:2023:MEMb,% Chanda:2018:NPR,% Popescu:2021:SSA% }. \NAMECITE{Scalable}{% Kolodin:2019:HMR,% Lankes:2020:RSR% }. \NAMECITE{Secure}{% Han:2020:SMF,% Matzinger:2019:RPC,% Pipek:2019:RCI% }. \NAMECITE{Securing}{% Liu:2020:SUR,% Jung:2018:RSF% }. \NAMECITE{Security}{% Zheng:2024:CLS% }. \NAMECITE{Semantics}{% Wang:2018:KFE% }. \NAMECITE{semesters}{% Fluet:2022:ERT% }. \NAMECITE{Sensor}{% Oda:2017:DIS% }. \NAMECITE{separating}{% Yanovski:2021:PGS% }. \NAMECITE{Separation}{% Wei:2024:PRT% }. \NAMECITE{Servers}{% Chanda:2018:NPR% }. \NAMECITE{{Servo}}{% Anderson:2016:ESW% }. \NAMECITE{Session}{% Lagaillardie:2020:IMS% }. \NAMECITE{{SIMD}}{% Kruppe:2019:ELL% }. \NAMECITE{Simulation}{% Cimler:2016:CRC,% Oda:2017:DIS% }. \NAMECITE{Simulations}{% Antelmi:2019:ERP% }. \NAMECITE{Skyrocket}{% EguiaMoraza:2018:RHP% }. \NAMECITE{{SMACK}}{% Baranowski:2018:VRP% }. \NAMECITE{Software}{% Evans:2020:RUS,% Hardin:2022:HSC,% Kyriakou:2018:ICC,% Pipek:2019:RCI,% Sharma:2019:CRP,% Troutwine:2018:HCR,% Ning:2020:SMD,% Terber:2016:DSC% }. \NAMECITE{Softwarearchitektur}{% Terber:2016:DSC% }. \NAMECITE{Solved}{% Miller:2022:RCF,% Xu:2022:MSC% }. \NAMECITE{Source}{% Kyriakou:2018:ICC,% Ardito:2020:RCA% }. \NAMECITE{specification}{% Astrauskas:2019:LRT,% Wolff:2021:MSV% }. \NAMECITE{Specifications}{% Finkbeiner:2020:VRM% }. \NAMECITE{Speed}{% Wen:2020:WBE,% Popescu:2021:SSA% }. \NAMECITE{{SPMD}}{% Kruppe:2019:ELL% }. \NAMECITE{Stacked}{% Jung:2020:SBA% }. \NAMECITE{Static}{% Cui:2023:SDM,% Lamba:2024:CSI% }. \NAMECITE{Stream}{% Sydow:2018:SUF,% Sydow:2020:TPG% }. \NAMECITE{streaming}{% Couprie:2015:NBO% }. \NAMECITE{Structure}{% Kikas:2017:SEP% }. \NAMECITE{Structures}{% Matzinger:2019:HDS% }. \NAMECITE{Stuck}{% Ning:2020:SMD% }. \NAMECITE{Stuck-me-not}{% Ning:2020:SMD% }. \NAMECITE{Study}{% Cogo:2023:AAB,% Li:2023:ESY,% Xu:2022:MSC% }. \NAMECITE{Suggestion}{% Takano:2020:ACC% }. \NAMECITE{Symbolic}{% Lindner:2018:NPV,% Lindner:2019:VSF,% Tomb:2020:STC% }. \NAMECITE{Synthesis}{% Fiala:2023:LRT% }. \NAMECITE{System}{% Balasubramanian:2017:SPR,% Oda:2017:DIS,% Sharma:2019:MRL% }. \NAMECITE{Systems}{% Blandy:2021:PRF,% Holk:2013:GPR,% McNamara:2021:RAS,% Pinho:2019:TRC,% Sharma:2019:CRP,% Jung:2021:SSP% }. \NAMECITE{Systems-Level}{% Holk:2013:GPR% }. \NAMECITE{T}{% Dewey:2015:FRT% }. \NAMECITE{teaching}{% Fluet:2022:ERT% }. \NAMECITE{Techniques}{% Johnson:2018:HFP,% Matzinger:2019:HDS,% McNamara:2021:RAS% }. \NAMECITE{Test}{% Kolodin:2019:HMR% }. \NAMECITE{Testing}{% Denisov:2018:MIM,% Miller:2022:RCF,% Romano:2020:WVT,% Tomb:2020:STC% }. \NAMECITE{{Things}}{% Nusairat:2020:RI,% Uzlu:2017:URP% }. \NAMECITE{tolerant}{% Baumgartner:2019:BDB% }. \NAMECITE{Tool}{% Cimler:2016:CRC% }. \NAMECITE{Tracking}{% Wei:2024:PRT% }. \NAMECITE{Translating}{% Emre:2021:TCS,% Emre:2023:ALT% }. \NAMECITE{translation}{% Ho:2022:ARV% }. \NAMECITE{Transpiler}{% Shetty:2019:CCC,% Takano:2020:ACC% }. \NAMECITE{Transpiling}{% Lunnikivi:2020:TPR% }. \NAMECITE{Trust}{% Hardin:2022:HSC% }. \NAMECITE{Two}{% Fluet:2022:ERT% }. \NAMECITE{Type}{% Sharma:2019:MRL% }. \NAMECITE{Typechecker}{% Dewey:2015:FRT% }. \NAMECITE{Types}{% Crichton:2023:GCM,% Fiala:2023:LRT,% Lagaillardie:2020:IMS,% Lattuada:2023:VVR,% Lehmann:2023:FLT,% Wei:2024:PRT,% Astrauskas:2019:LRT% }. \NAMECITE{Undergraduate}{% Evans:2013:URU% }. \NAMECITE{understandability}{% Ardito:2021:ERC% }. \NAMECITE{Understanding}{% Jung:2020:UER% }. \NAMECITE{UnSafe}{% Liu:2020:SUR,% Rivera:2021:PMS,% Astrauskas:2020:HDP% }. \NAMECITE{Usable}{% Mindermann:2018:HUR% }. \NAMECITE{use}{% Astrauskas:2020:HDP% }. \NAMECITE{Used}{% Evans:2020:RUS% }. \NAMECITE{User}{% Sydow:2018:SUF% }. \NAMECITE{User-Friendly}{% Sydow:2018:SUF% }. \NAMECITE{Using}{% Anderson:2016:ESW,% Dewey:2015:FRT,% Evans:2013:URU,% Kruppe:2019:ELL,% Sharma:2019:CRP,% Shetty:2019:CCC,% Lattuada:2023:VVR,% Terber:2016:DSC% }. \NAMECITE{Utilizing}{% Kyriakou:2018:ICC,% Uzlu:2017:URP% }. \NAMECITE{Vector}{% Kruppe:2019:ELL% }. \NAMECITE{Vectorization}{% Kruppe:2019:ELL% }. \NAMECITE{verbosity}{% Ardito:2021:ERC% }. \NAMECITE{Verification}{% Lindner:2019:VSF,% Matsushita:2020:RCB,% Matsushita:2021:RCB,% Astrauskas:2019:LRT,% Ho:2022:ARV,% Wolff:2021:MSV,% Lindner:2018:NPV% }. \NAMECITE{Verified}{% Finkbeiner:2020:VRM% }. \NAMECITE{Verifier}{% Toman:2015:CBV% }. \NAMECITE{Verifying}{% Baranowski:2018:VRP,% Lattuada:2023:VVR% }. \NAMECITE{{Verus}}{% Lattuada:2023:VVR% }. \NAMECITE{via}{% Baumgartner:2019:BDB,% Cui:2023:SDM% }. \NAMECITE{Virtual}{% Lankes:2020:RSR% }. \NAMECITE{Visibility}{% Han:2020:SMF% }. \NAMECITE{Visual}{% Romano:2020:WVT% }. \NAMECITE{Warning}{% Takano:2020:ACC% }. \NAMECITE{{Wasmachine}}{% Wen:2020:WBE% }. \NAMECITE{{WasmView}}{% Romano:2020:WVT% }. \NAMECITE{{WCET}}{% Lindner:2018:HLB% }. \NAMECITE{Web}{% Anderson:2016:ESW,% Lyu:2021:PRW% }. \NAMECITE{{Web}-Based}{% Lyu:2021:PRW% }. \NAMECITE{{WebAssembly}}{% Kyriakou:2019:ECC,% Romano:2020:WVT,% Wen:2020:WBE% }. \NAMECITE{Week}{% Modrzyk:2019:WR% }. \NAMECITE{Welcome}{% Lyu:2020:WWR% }. \NAMECITE{Wireless}{% Oda:2017:DIS% }. \NAMECITE{without}{% Bagnara:2023:CRA% }. \NAMECITE{World}{% Gomez:2018:RPE,% Lyu:2020:WWR% }. \NAMECITE{Writing}{% Chifflier:2017:WPL,% Emmerich:2019:CWN,% Youens-Clark:2022:CLR% }. \NAMECITE{{XRust}}{% Liu:2020:SUR% }. \NAMECITE{Yanked}{% Li:2023:ESY% }. \NAMECITE{Zero}{% Couprie:2015:NBO,% Hardin:2022:HSC% }. \NAMECITE{zur}{% Terber:2016:DSC% }.