From 5e6a8920d7dc92abf2aadde6c2d379a32016528a Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 19 Dec 2025 09:59:37 +0100 Subject: [PATCH] miri paper: fix typo --- research/papers/2026-popl-miri.pdf | Bin 703178 -> 703178 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/research/papers/2026-popl-miri.pdf b/research/papers/2026-popl-miri.pdf index eebec247a9bb7b86bb65b0161a9205a7bdaa1f25..b5feba74d40a426ae64fba3b2f383fdc361e75f5 100644 GIT binary patch delta 3521 zcmajZXEfW5!^ZK7J?pl&6fvTRh*_gTjG8Tq+N*bJv=lXppFK*gnpLazs#2n;*fVw! zt7_B6h*gU6?|II1&hvlwy!gDh&iTH$hEAYEC(w^eR=~SK!yX8I_~a1Vw~%)0u-j7} z-Gbr6AG-E@M|0(KzVKlj*}D7ldbV2({T3zPUM&U=&43N9)eO(pnSas0VzEdiQ>8Kr zzy%XP+e{t5sHvQB!A@O>#dI^5nQ6G&%T~ImlCUGxAb7#xmbagfsN3oV=gmi0%ATmy z!bH499B^RiSZ*{m@Au%n24zq0TGiY{(ExqIfY0im6yNtPTvfC|!!9je)EsX~KUs)v z2$!Ftb0p6pvb*9KmrQwsKnabW8WkkzXrjmThQ#$eDJk<4HVcM2jtWr)y%)Va2gx0G z-+sKY_P`c5OeaJ;waz0=PGA*|XRNM_n+U8y=m6@-teB9VEYdDB`p2?FiaRZvrHzH~ zbLkZB_N>LTsL9;M7o8A`N*)6ixsYR!QRg*_{C)Pjw0`Aev)GFGhoPqRAa|yDN#tVW z1l7U6h^sM;e*-stT(b8LPww$r2l%HqS@d?G3P~yodM)|;v&UcNh!S2F4BxoVw9U?A zpaqE7hI%Cmsu~S!S=L+)e|oF*lHUVsCBL;ipEv@b{)jK)@)?C6!)kRfJ5R>Oa)JX* z1Zr&CR;e$zoPDjXNG_Is?+oJkRYMLtrP{IHeML5N#pYcEyR(=r;%Tjp=jFapWFJ*L zUt2nZ*QVNbenj;-dw|#FeDOu_5)Q^O2waZ-AlnoEzK6nyFu_vip&GQ0!#19@NsQO( zgOj#7+oG=~nhgz0+vzk#Ca>vPu0nyS*d;$S?@7bM&bw~!PZhviAVE?#XQ~9P5Lv24 zQ4$jZH{Rsd!t8!V3g}QpJKwqE_TD(Ma=dwip}`F{x*1)wqkI^Mfval@AAXAl*k4}? z`F-4#SG9ytpAJYOGfz8vPm zk;7o_DRM@8fnptN=>+$9n~73DZaI>3eRkQLhc2iDo=Q`Z{x+E_X8udz2*V+=UzJ>S zxdbB_ac(M5on3WewhA@sDG*)pbdmE9ICLb zqE6pr{&?EX>PLuQ6p%b=1fS5~`w)I3Gi_L;46VNd)qyMHHK|EmlY@XceWD8c7ZrUb zGzJBpFue($GX>NvZyJwDXlauS4)w2lV_|_5>S@2_kzS)l>OEpdIlqwzMcZd8h6Oe9 zuTz(3EP*pMFv06a#`{%p^x4`~7Q(V|?B>eh&*JH$^xEo+fHgm$yIN-9qG^ z^T(}ny9<9U{T#UP_^{Z-z3P||)n+ntg`X8u-$A@mnI0WxI$=q5iv94o^>SrOCgi%c z@}KKA+~rtn4fO=M|$iV7qgms^8Y8fH9z zB&CwF7*_=7ZG4w3bau+b*K2Ct?yUSY^|gdWv-R8F#SnmzSYHVKwICp#JobDbJB`3N zxu^N_Lu*5H@vMJ`@kc$=y#8niHmRqd!3zH-;}W?<_wvELSc3sY6-i!9M|L=~Hcx26 zF&oA7WKtbjybVC8AE7%|ZzIXoeEL3-cXY^i`FICnK$jvz#Ss_Y9wZ2woVSDN>k*Zx ztjA7cn1G<^#xr3sp?!!5rr4t>@dQDThc-AZ!5t)A*C=AM+I(FuexNWTWqIxd!=JjDGrivT- z>=}Ns^%lzRdn{Ib;~nptz#?lGy*-0oSyI?bO!Nd(g>G%D`}jUSLp1iQscCrMl6VD8qckdN^5l_JmD*&jH=al?(o zJ}z+dE%{8C;hBT6mS2GK{2jJSHn*U@ubpc}xqT@}aI9=>&Dqv^uc>lr^#VJz=!w}w zNLW>OmQi3`ojQ(B;){w*gC#Cso+p>+>$5$s;sYrh$Fwx0jK?=fPU0j4{*(e)X>Zc+ zv!EM$@lQblN}c-`5n<~D(7l(BKH{FPqf9)XG>0gJIP9!4M^Sh1^Cj9jTk|J$ku5Sl zgU7|R1{eQ1dkV-!H!FNoy?LtTXJijfq${#-DN#~1O$vn75h7A@LP?HnRI(aWGd$lA zJ?fV5*c`NX@(JZ->Z{joX+HoDCow-*a^rZ!e+biz8GSM_<(R2KVywp11~ zjBY&|R5c?R@VS3H&Wriki{gELSG$itok1#5!u>(ziN~8{Kscb5*BSB=f)Mr*go!Yt z|J5Juba03lqI-hH)g^Qe>nwy>$}#7=&8J=+YAPn zs;Y0;*-Z_=!SO{+Z3BrmZ`|n4f}_X@1h28r&xTHazFC8e&nnI@A*P{onNK5 ztMX{KN2^Me@nG++=E7H5!2%lZYct=*77f%!(1QVu==(OLfp0H$_=?k>M_A0}n`9@& zXLKnQV(N`7NX57l=B_9zI5`oDZ!oorbBb2Zc5B6eG?q$01$By0lUDjfu~i*0R|x1? zlrayS{jsMZz8+E?Y}DT79P<+_DjnZ@TcVK&YgjZ6b_KtBapI}R)@u(LVadIiTRd1< zWz>-+7w*L#D|zh7*!}wFXjxPj%$MNq?%bU_82{MS4;~)k>JPS@ujI8QqaW-1>bP*i z&aek8#@st*)J{fHw=*B4Rk8nVt~MK&IFGG_7y9>VF@_ml-Q&Kv0qqy37q zRcy?j|Nd<((H{}j%HwVsLKN;Pl7G(}9?^n=)}sP~;@zsQP)@Wmc+8?;22R1(JOlaS z>l!-nQTCPkL7_M~a9&{XQ%%0R25I})%p7ESo+~ zl6U$tlp~L!tn6}qbpp5{L;UA{gcZ8U3Qf|z!l-BpQ&f_bSCWwzhe<2JV40y>AdXC; z9*D8&;XP0!Db4={nd=51`TyP!Ly+Qs?IyG#=mCk4qNAL=EJ9jALIExZmq5tLKbCNG zP;i!zc9vF9fIB+MIU%HDmW)7uk^V*Y7x`Zle^LHL^%r&1k`axh4O9`PC@cRz&qQD_ z5iuGmgJ;f~4n8hmQB5T{3@$4Tm;T?RNv?(_l3W9hQkQ|j|L`~)vO{$tx`o$ zqf~8@){LTp%j&=9KKD8I|JnWE_26^P`@#2ohbY2B6yf?s4A9bGC=|wcFA<$rKKCo@ ze)5Ypw-$}$@5VD7qpiOk)4uhZ4BH*gq(Q8{ZJ>*!&RZ$zHOhG{&+~Q%1-3cZh3fAy zgn$e7Gf$^!$N0j?*T4grr~OebE%&R2s;eBP5B+a3>QJx6rz$tUQu(=~`DnWD2!5wA zgf)hVPxW@)J2rs$zVA`to2Fl-sA!g$_|K;AOEgkAASoMtr@UJzKS`6D$JqpldgkzA z8EAZlfqO(yQuD@Z8-vMCJB)weWa&2;YJQeiVtISU#AW*GDthcspxZLwL7gF<0I}%{O7Ztd!ks!luIrZ3t+M~Y2 z)!l+axPt6gI&PH&--1VkqMA^_d%9f}hw#$B|=XK4Gs?jrAJB<9Q&6!q{?|wIb zF`1`N7lH!=>cl_tzU5A6)65M~o4T((8PTSJ@y5)S?EfS)TI5l@@)$bsu??N{L(E{l z@aH|_SipCc7P2P2`a3G5U~2P=d{yQ9qw$~Zem*R<I@{lpbCRFU&<*1IaPa~NU;+Nb(R}`M zfpSi$UmwS8fSoQPFJuPZ0x35?*Xgz`t#vR*rU1jg^3cof`($fuFb@@PWeu$H@eQ+r z={eB(5Y2u}!MN)>SN;|WdqP0^@|-UrS6GiVaO)kJI&zTf&0 z1!Jz?=*_c)SGKxD#jg_AcfEI@dFHws@Przjt(5N+*Q6SC2 zsz#6vU6)CKQee)`A;t^eIUurXV8djvR74WK?5Q;v;vLuDR~vD!*GD%UT0}PpWR1`) z`Si^7-V1lc(6H%JE~V;Hj?yTXDD!r{?8((34;9y#N}Rx`9DtX7?Tj6j2kXiaL!}WZ z(?putph>}vnq*4!AL@oX^pAyvS?pqzc9OKxj8D(NqIGBs1)G0|+6ob(bQ!t{1+o2{ zdBJRK>z7&YtoS}n6x?z-RkZ*DlcP4bzv8-TdyZrCJCsdtomQ&9LNAJpREsFGGj;{exR>+SLWsVlV$=J zT7h`fg?Y=O)w2m+c;1mFSIzHec{Yyv@$*)1zQNmE84FrQ?a)a$LG@hhSvtIv1R}L>fT9}gf;pmxZ+fhFPpPH?nYKCmr`zg2#ijhX@1OHP?sv)>8V2DkxL6PztixfkvA`=;mT4rC%OF?h7+dixz$Yj5b( zS;)R`n2n7z%i>l?XHnr|u`{N7b&rQ|g>o>><3WIJ=$V$T-plcipeF3+T;1bcF|McW zZN>YC{v#b61_u<}db`2sckxQZka06<(Z~{h>AjOHL?k8mpp8Ix{@g7#LRwdi&-o!a zL&;L;X;KE1ZS7XD@Ij7Iv!`)=KxcOIpZzytF3vSpKoA?;ucpMu^>*u>BI~d^D8K1t=-{aS=Wc1Z=V`=65ofpz162qXxe)Z!tOn^1ar`F z4XE>=Z0v$he#BZO{*$ot`om~eZtiBbMNkS*)np6Obssa5p9mC1t2pu8RAfAg%kSK# zAsg*DS5w(RynPsmQCxHmzFD73I_!Hq-t{}l-S4Ei7<rnMkAVKLDiIv(XC2{gP}uni>G6rXTk%B z(~>d2r50|22_f@yzrJ?XsRYsN6fJ73pl#n)x0ayI%G`=3-s~4u)X%DQr?eRljL`M0Ns?-32%>Hw6n9P>6!mGXxETDu~ol>q`>nu^rg zvS&arEZx`&CAY^)(VGL^VwE#3>N&uoRHipxKB(ofD>;B5vLbFHp>)v47^MJR@%=FYBe=rj;x)&~#yzM|x>hkaFz3RquYM_JRI#MBaz8-y0B`XQP$y zeoX2=ODmTjENig$`b5e6u`Znx1!^+89jRKn1|0=lV|R+fnkZAs=}g5ieotV|eMDQX zOHx0@TNkXywUEFwQ}X3G=*v5Vper+9bbRKXD|aryS9{oL`7+>=-NmVpV0A1v&(?#X zY2fH8;J`+X;I`gcH5 zoj|xsp5g%|-=yisi_eC~!gF>*uL^MpBO}UHw2N_Z(9G4uyGdSwB%M{xk*1jyUW7I- zFg)ZSLWZgr=`L9Rgq#{3%$yHF>^W+jTofPDR-yUF{yua#dQ;N_4R9YH5pQkNV^r)_ z5Fj5|xPL#1lk-Ni=Evlp?VJS2a6;qlYzO$Bd3g~tmK2-$z-<+N@O4yhK)M-o2NLI* zPEBa&wztiaVsi>I|jS9Sw$3mtgiz)__NXptmh?p1W zG8zB2I15!@dvgCYN;0{jC!6e%oSUMY26s8lP0N3;b|{Gk{vpP5PZ;{@{k~QLcl8{V z&AxqtkMffZPgr6tzqIsbJIyjUs$ee!0eiwot~Hk>T~;MrnW~_B?QF`5$LceiOgtQK zEgZScCCUVvTJg67mpE%;D$Q!oK)<@we9i~wa(@Bd^@^ADsbw{@D{5oA zobn>gR=~#p*>PlwNcS(V1+B48128H@0I`Ob#}vz0U0Qy;wkO61g)9x2v?7 z13w8sG-n5ZuhWfY>6zp0P z44*j&VG#<6g2)%IbfncoK&XnAM@d z39o5cShw>?12+8y@?8;rLuor*CWmDCi{id-dWD*Q>_h67loI2}Q9Irk>_*XL*Rf8Y z#qAq}#_b9H5!RTM4bPwt zWkjSU9kC+z4vsJ>dkHCoq>Nc43IqWz2RFZ#bO|HXh`)MFI25=Mwi!{PsP znE(_jAjBx9>w!ht`Z{n6qGVxEn4~yN{C^X?R1ISkt*SayQbJrAsv;o?M=7gH!^Bmj dC6r<6GScD*sI;`Yv?90s|Civ;8yH9E{{vVOqxS#+ -- 2.39.5