aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2023-01-17 14:29:38 -0500
committerYann Herklotz <git@yannherklotz.com>2023-01-17 14:29:38 -0500
commit6dff94154c927b10d32c015a8a98b44411621b51 (patch)
treed2f8f184908db097ecade79755cbd9ad9ceb7d07
parent819cbf81da6189f4701be3e7003fa313eafc17b6 (diff)
downloadyannherklotz.com-6dff94154c927b10d32c015a8a98b44411621b51.tar.gz
yannherklotz.com-6dff94154c927b10d32c015a8a98b44411621b51.zip
Update the CPP'23 paper
-rw-r--r--static/papers/cpp23_msgssa.pdf54
1 files 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 @@
</dc:language>
<dc:identifier>info:doi/10.1145/3573105.3575681</dc:identifier>
<xmp:CreateDate>2023-01-04T10:43:00Z</xmp:CreateDate>
- <xmp:ModifyDate>2023-01-16T08:46:11-08:00</xmp:ModifyDate>
- <xmp:MetadataDate>2023-01-16T08:46:11-08:00</xmp:MetadataDate>
+ <xmp:ModifyDate>2023-01-17T08:51:43-08:00</xmp:ModifyDate>
+ <xmp:MetadataDate>2023-01-17T08:51:43-08:00</xmp:MetadataDate>
<xmp:CreatorTool>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</xmp:CreatorTool>
<xmpMM:DocumentID>uuid:46cef2b1-3390-4a88-9cea-33ef7a3eaef7</xmpMM:DocumentID>
<xmpMM:InstanceID>uuid:590a3395-467f-4d13-be4c-959000ae41dc</xmpMM:InstanceID>
@@ -3851,4 +3851,52 @@ n- eXlxhC#(B[[UɏOx )o]t+F|Mw8M
1SX
<}7FYI"
M]sڐ^;p^Пu@K YP.ECZLU/֣-W/e +(
-hG 7=jh=|ֺ%gqNPڷ81Vzf\@db I)f\'ߝ+<Y=W:-ɄwWSp΅=='k˘i6J"^蕖eoC# \ No newline at end of file
+hG 7=jh=|ֺ%gqNPڷ81Vzf\@db I)f\'ߝ+<Y=W:-ɄwWSp΅=='k˘i6J"^蕖eoC#s?7a&a7?B]A5Hl[iz (`n(9CzE}07LqA:32~Jk'Suo]C-Ο:/lW֕ ;0miJ..JO_{ f0paB.N!=<7TR#Ͱw}DggnI -Tf=EL\T(
+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{Ȅ|]* %<LԂpjJ;bM: 9N?z'+UZ,xW̨*&` dLLD `lAfU<ueA]ʉއJv_,gctljsqj)W1{V
+5`g&X;v\_rR>-~*^fK}8P1qQ,mlT,+a"*WI]٥XO*Ĝ\H7˭F`]);/$i!mW@ ÅV`+y~;սLa̳j3
+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 N
+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%h
+]81"](6KJIB b3ŠmB!lNp}?%_~,VYg*^. NUI*W;xڟ+&){B<+]u#t#!<oƎ bzڍ8njZk=}KAjF ͡jxC%s6(0왩eVV;\Vp,Әۥc]yʽfPЖ=BD3M%gx.4Zn<mBmq.$[|RqfߠIq
+
+fkn,R&/|Xܻ܋}gNiTv(坼"2jF14KQMd1 Ň"|sm Dk7A; 2k]DDoi2{&4wfSH#GK]?>;0tnn{([H3E,Gĭ+\Vg7a֜G<J{aR")iIqqJVmb l~XpϠ~יVw.Ds@w-EdG/YV["7&9ǻ[*yr*k-ǂ[ 4Q|O&}6Ö)ѴިWN%&:9r]<T |ægNm P,k<?|2X2ȝ.sm#auufz)y,{*lVKL94Σ`}30QK,̤= Шn5C:?!`ΖKzP1+B猯 !Ī: -Fl̫1/|'ӧ|yl~C!Ew=}D4et[zodf44Ǯ&#MNXw,nb9;B1~hY
+boq?`Xi~Z)+.B1DtjvØQ!)ߧs#S@\4y]M`y#qy)΍E)o)LժrZ!xW] dܶ͟#<I}gc$8<Fnݾ#^ҥnAc&~/Ĭco6-?)G-3VYuQ!3A  ’a)pstLI*U/a`COCqLf6`@@8$2/FnTp?
+.qU9LJ:ߢ⻹'|kĀ ]a#и.ᦪ;3r1ťw`9Hu.=mUta:mܶNæn;J[w]A6S@$.:uƎ<(N=ڔQ(uݝf#.;wZ T}aR>!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@ݛ<Ew0`Y}t0J{4Pl^>ld&<cD^^jo{3<m}ⷽ}]f,5,n@Fi=q> 'Zhpt7zbrNj1>_G\Km8Ga]vF0NdDIWt߮[D֠b [
+˯dD3!AGciv󰛄3)izu<PayS D1,\ No=~ݐo+5,nN~]X|1Pu\Qq6^zG
+nϒ IWS#zTdBʲjtC%([.&oƍU;^?5ĸxKz "Iퟑg!Xaϕh
+L,S`Q8W1
+endstream
+endobj
+570 0 obj
+<</Keywords(Verified Compilation; SSA; Gated SSA)/Creator(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; Conference Publishing Consulting)/ModDate(D:20230117085143-08'00')/Trapped/False/CreationDate(D:20230104104300Z)/Producer(pdfTeX, Version 3.141592653-2.6-1.40.24 \(TeX Live 2022\) kpathsea version 6.3.4; ConfPub - poplws23cppmain-p32-p rev-2b5efd80dd-62534:62535 p182; modified using iText 4.2.0 by 1T3XT)/Subject(- Theory of computation -> 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
+<</Filter/FlateDecode/Type/ObjStm/Length 4393/First 521/N 57>>stream
+xZo8W( X,;qƙ\8s$JlkWĞ{(uG|X4:ȪbիǒHH'Ymdui9GGI iWellЧQ>oc>LQ&
+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@ n
+j)Ї=(jq=|h1<; u #d6<O, %L[H3q*\QBYLY"ŶŊԽ?>
+^q9LA_-i_X]0q}(- `w6!қI鵍,bz`wcjU
+5D96Ak7^oZ3$BCc9$,W#-Ik.%ԂiRn&0=fOce>,5_R e)5\CI2T^ [<a3=PπA8(qۖMb2nR=ymNzUXbQoCel/v_r5ͺUQ-O9XS颹[ bPmѱ3ei2˲uY@cR.ӓu5*&,7ylTդcD[bZLĢ i5)I[zgK쪃1V' |fc//,۽+{؅x{da6Vm{?^ũ.a€%3j7'e;v߾#:غ%mȿ훺da1G d@Hݭw!1 3h !;g](@c;}xg,0PK/ؗe9k!@f EӜ,֠ߜz+@zǖa?-B@Dd7vkgmsw
+Ѕ||H|HoŏE{+IJElB9=:&ޑIiqВ{<u%^,Ͽ{/Fr0܋I{έ< _C @X`90G<Z,V)J)iw9GK`B^;8'ԄD^;k3!nKoZ>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[=ڀ/8
+@
+[!L>EϪivC9?&ceH%%U\n8W5Ǧ$uk+LzaYc^z&+V
+[Ó<}MX1OI(p
+endstream
+endobj
+571 0 obj
+<</Info 570 0 R/Filter/FlateDecode/Type/XRef/W[1 3 2]/Index[0 572]/ID [<9dbb651cdc663d5dd23267332ee7c179><a951006b76a609333de657df0cf6da90>]/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}/8
+N,)lYJtrȡZO8glƖ"w2tr+vh%L1LW|\ q.%r\S
+M(cKeXW*\ͫ@F&';Θqjfu7F܄E`1nmw` ]^ Ƙs(01ه
+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
+/%W8~Ϭnq2l㻿u8ޖk}omwZ|><M{8X⭻8C@/qԎx{kDQkA_l*28zk3)S;ͱ8N+l-ξEi# 7 hOfNi7i:ۋ3%@;H ;ca0`(a Ǯ000cvDn|Q_Z<
+endstream
+endobj
+startxref
+793789
+%%EOF