From 6dff94154c927b10d32c015a8a98b44411621b51 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 17 Jan 2023 14:29:38 -0500 Subject: Update the CPP'23 paper --- static/papers/cpp23_msgssa.pdf | 54 +++++++++++++++++++++++++++++++++++++++--- 1 file changed, 51 insertions(+), 3 deletions(-) diff --git a/static/papers/cpp23_msgssa.pdf b/static/papers/cpp23_msgssa.pdf index 77eb2c2..bd4a240 100644 --- a/static/papers/cpp23_msgssa.pdf +++ b/static/papers/cpp23_msgssa.pdf @@ -277,8 +277,8 @@ info:doi/10.1145/3573105.3575681 2023-01-04T10:43:00Z - 2023-01-16T08:46:11-08:00 - 2023-01-16T08:46:11-08:00 + 2023-01-17T08:51:43-08:00 + 2023-01-17T08:51:43-08:00 LaTeX with acmart 2022/04/09 v1.84 Typesetting articles for the Association for Computing Machinery and hyperref 2022-06-13 v7.00r Hypertext links for LaTeX uuid:46cef2b1-3390-4a88-9cea-33ef7a3eaef7 uuid:590a3395-467f-4d13-be4c-959000ae41dc @@ -3851,4 +3851,52 @@ n 1SX <}7FYI",UL|ڎ-qB$n#B TE6\d2.ن s .m F$uXFϔH80;NMjgғaQ䇮M5:SIaIKO45_F(#*7%Pl]d F]?%gyYYT[mɖ M]sڐ^;p^Пu@K YP.ECZLU/֣-W/e +( -hG 7=jh=|ֺ%gqNPڷ81Vzf\@db I)f\'ߝ+&׸HDKs{ams%ݝ&#0M,kt9ɋI PSO-Sf݆!FHc|L/N/y2/jvt|=pc"ӿ #> kh +UI蘚d&φh6jYzs2^s`bNP7Ie(|2-~.sP=FB*ź&Jyp5K[L(¢ǔdw*pZS:$ SܯbTX3?&x22@(RGPZ4KǓ +? -%1Qc[} @O#N=:S`,Su\Gze:gZ,owMǔ'}(E#RVkwfeCSIwg޾Y`COatQVU'._tBU&21)Y"Ϝb{Ȅ|]* %-~*^fK}8P1qQ,mlT,+a"*WI]٥XO*Ĝ\H7˭F`]);/$i!mW@ ÅV`+y~;սLa̳j3i.0f?)][> 6sGpk_~-ڬdwU26!ZWZN A[c0^reYHA=}!CUZPP%wb7)Im u}tp.svwfm}t׍MW_pJ] +rQe5͘o`L`-+Pɸ]xOI @ԟٯHվ[5,$M4F<\Wz"juD68UoUX,8B"RߧRSvIXJ-zzL sdAb1~rtz=!q:;*V:QS/FFŸ@7|ȗyC ghlݱn-’%:Ӡ}&CEQCSY%ߙ0ŏJQ͈fʮ_dlDJ_i#!,M͎U="E2ޱf | J`Z W{a-rop]#c$[S NfN@ @S>s{ >UW:=??k[}̉}@3XYeju]()*ru 0:bguJHF}W V5--.{jy#n&&DzMCUUVt4+ǽ%ӓJ6t-2wā;cY2 pnb= 3|Hay2(|L +IQG +c4=k䳳O+ OYtTrURN Eѕua3Pxms447I;. Z#g,Q)4^D7V>4ۦV/l^At}gwd9y&՟t@5ۢ41=꒜mr&G)3>44VazX2C/w'yF#% h'3jх.ָ"|r)~Q2hh@/X7`p*m}?.Y]&& ʹj\^ f?R` U^?>U }W@z/a0]j)k_ϋI{[iYtttz%hHB^B +]81"](6KJIB b3ŠmB!lNp}?%_~,VYg*^. NUI*W;xڟ+&){B<+]u#t#!;0tnn{([H3E,Gĭ+\Vg7a֜G!Ngj?=N' sfr&܋]AyKFzYt;޻릑{_nVq̠g‹[s~Z V88\^GMKRrx(Ȝ@\2;gbt4m,%-ǭYχ hR(GwCvkeFb3V`⣹NmpH_Գ-iAVr׷Z/d3T]%;hsJޜc1>͓0{GcZl_\"L ?P[lhqЫ\}taqsQDbK뮄DNƹju6ҥWf^(&-JκbGtbLL+o** 3հF"swuna7ۚpWХDެr,koz1Zs_O~H[t@{(JD7 eъ{Uq.8ݮ|2Zwn̔^q+%J-aA@? QjO$\5B!?2,yUdթdNȺ=|V&󹝖<-t$.ۦĥO 7dLXٺ"^L)pG/Z(-S(D'8蛯V-0fwk-)3ZTjHDB?$F Z ؋/vI3Kv4p[X +D;YxP0D{FR8s/Gmh:\3 '6̝jOvӬ$n]W8uSq_*[qNs;D,2U(~Z.\@}?ɚF^_8 ''8_5mWW7Y&>jɂ޼tMA<4@ݛld&<cD^^jo{3 'Zhpt7zbrNj1>_G\Km8Ga]vF0NdDIWt߮[D֠b [W?S}!b]㝵/ s@y4`A`$D Sxݕ`Seni<;V2_hr|{uU*c;b*ׄ98|j1c#=܈$8Ç_?aWb,%'hV}+"ݽYO̩qjoX}Na&{ʨOx '9*s|y],UՀ|4Wxhr9f?WS Ž87bZ&žAb\%OSG6 +˯dD3!AGciv󰛄3)izu Operational semantics.Program verification.- Software and its engineering -> Semantics.; CPP 2023)/PTEX.Fullbanner(This is pdfTeX, Version 3.141592653-2.6-1.40.24 \(TeX Live 2022\) kpathsea version 6.3.4)/Author(Yann Herklotz, Delphine Demange, and Sandrine Blazy)/Title(Mechanised Semantics for Gated Static Single Assignment)>> +endobj +513 0 obj +<>stream +xZo8W( X,;qƙ\8s$JlkWĞ{(uG|X4:ȪbիǒHH'Ymdui9GGI iWellЧQ>oc>LQ&g:F4|l1)a@&w!|F%YQ gscdI6F,Һr&g1Zjs:eszS0z-JuZl>k'>Y5{V}(릚WQ]-y-NG\Sg]+ȥYs%$rY 3߫qsk[://.;G;(^#^>xp=ŇǗo_.;B='1l#'>ho.qmEs|WwDኹ|#Ӈ97'\j>f;1^&.{\bUǎX6>l"f-Dc&z`}]6PՉ:Ucuչz~QԳXިz^.RR Z]77CުB?-G(FTu]|F7]d+jQ ɸTԇVbl&U ~&Q#5⸣Q9&B S/c5]9nUJ*,QT*&J]%JsjunqST*˜VG tpu5 Z՜83\,r􀹪X}Rx˧ռ)&rW#(aj޼TKil,?Ceu¼jxCsSjJxb^3O|QwﲞNb;+^xVM +uSNC8Ɓ٤^FNюL.o=1 urE1-TkH]7U+8w1+#8 +q?xF>YߺFϹ{wU;i=uv'\J☲źunW/aø`2[ (#®&7 +F?/5k}7S#/k!fv@ nC g%"umiq6fmE&1~xgAкF:ZG1i%\`+Gb05f| Y8g gKle9CK _L1ңH"S.&x&ǽFYx&΃I:'>)::Η[l0ilՒhԵXgLs>C-&q%Dr9I?Ǎ9]s{@;VןS߮Qgӹӻkm2V%i3Aw6y?&&vrANﮁNt65>Oڋ[M:[t°e>lZ*6 hHkm)4z-M֖6_Ae,j n1l\ﱀMߠorx?G/^*^nM'[c*6m/՞|zjϷrmlkvO_˖$ #sp}tNst`mɘd$2"){^l&^,`jk h¢ܽ܏&a; y!a>c%Ai= 8l%HCrMJ_ 1 +j)Ї=(jq=|h1<; u #d6 +^q9LA_-i_X]0q}(- `w6!қI鵍,bz`wcjUly!Å9A8g18Kzq)qB2cҢb +5D96Ak7^oZ3$BCc9$,W#-Ik.%ԂiRn&0=fOce>,5_R e)5\CI2T^ [8fSÉLAw?wkL 'tAxϒ%?p l\gJQa^_6RR~On<9'3^Eoݿh5@uyY?>2o|^j3 UoWK+$9_ɶO$R|I=,tq3 }޲T؀W)}ơm+u(UJZq.bhʼ/)F$`*?9 8G:-ͰB9ĻETDds_#ɲȘ<۵.-9#rkl񕕓΀IL@s,0~dIUIl#j? i/g^4qȏsѻ~CνW%[?0GO`~_? wȈ]l.>z~\lqz~3n,)b[tp]lBiM1bR[=ڀ/8jE`-ߨ/mBdQwH/Z,66w=})h/p3{C:T {tHK K< pR">7qKGR'ދzdk|U{4fvd3YHJ]/j[wq!U\.|1Imou&Z;>P{m{Jy*H#KVͤ˦.F!Ld* ԫ,{ˑCG糦W֣&Qp$><ϛsŤ\FNЭŻ))ltR>^x`!2_~Ut>]nْ\;}[di';,M9.E].qOɐdhM0=ڹm?}&z]NYS*㵢t`dCN#ޞ`efA語OEf=/T7)?P~H@4lsK8eo/UssϽ珮b+\hE9Zh}jϨCu5]MxwCΊf~SMݩ`+p8u1z6?-Sc].kVk̊)@w=ێ{ΖfK3&X.G R2)k'C< ^a؊vl[U'嬬 +@ +[!L>EϪivC9?&ceH%%U\n8W5Ǧ$uk+LzaYc^z&+V +[Ó<}MX1OI(p +endstream +endobj +571 0 obj +<]/Root 480 0 R/Length 1302/Size 572>>stream +x5WLTy{.H+HDĎbE^b^bAP{W}KvQ-&`6n6Y/M{ggƲ,^,ײlr,k>5hepY(%ƶl1 +F5j6s)zDA]rkމ=bSCl>\,s~Ɯ=|[b+l-Eo#Vumź؁|k0Nga{ ;ag n;X}cbvpQ1qM/(_~7D?1{`d%ߐ&&t`#HM}/8Sp "0C1wj`Cq80Gh18V$G^y\G8'DE2MB1Bs|Dr5g +N,)lYJtrȡZO8glƖ"w2tr+vh%L1LW|\ q.%r\S +M(cKeXW*\ͫ@F&';Θqjfu7F܄E`1nmw` ]^ Ƙs(01هCXcxO`Sx`9 +sx/`Vc ^KxU7.+?v \>zJZ| y(JeWk'9v^r^]n߈}!C?A8jטoLu~Nb.ǩ-:N6iW5bѾ8}6%-#}X6ޡu[b+lm-#v]0bFbFc bvxL=0 {b2b?0koO80#p$a:јcp,Lp"N8bf43p&8< p!.Ÿ2\9yX+p%B>:\p#n"܌[6܎;w.܍{p/x!,x1<' O)