%PDF-1.4
%
3 0 obj
<< /pgfprgb [/Pattern /DeviceRGB] >>
endobj
4 0 obj
<< /S /GoTo /D (section.1) >>
endobj
7 0 obj
(Introduction)
endobj
8 0 obj
<< /S /GoTo /D (section.2) >>
endobj
11 0 obj
(Foundations)
endobj
12 0 obj
<< /S /GoTo /D (section.3) >>
endobj
15 0 obj
(PLRU: Semantics and Analysis Challenges)
endobj
16 0 obj
<< /S /GoTo /D (section.4) >>
endobj
19 0 obj
(Coarsest Complete Abstraction: from Physical to Logical Cache States)
endobj
20 0 obj
<< /S /GoTo /D (section.5) >>
endobj
23 0 obj
(More Precise Must-Analysis Based on Subtree Distances)
endobj
24 0 obj
<< /S /GoTo /D (section.6) >>
endobj
27 0 obj
(Closely Related Work)
endobj
28 0 obj
<< /S /GoTo /D (section.7) >>
endobj
31 0 obj
(Evaluation)
endobj
32 0 obj
<< /S /GoTo /D (section.8) >>
endobj
35 0 obj
(Conclusions and Further Work)
endobj
36 0 obj
<< /S /GoTo /D [37 0 R /Fit ] >>
endobj
60 0 obj <<
/Length 4084
/Filter /FlateDecode
>>
stream
xڕZs۸_{(55 ѾQ윯wk)L
K(NyOa59bMfh*[nktVa5!̣uEo7L|=29܀ꢴ[ u8;x]pd]o-O+^5qʭI]2~4&,N,&O
,pypiW]f_
]
![GY<)@W6%S
$C{}P;2:>nk=vf 6L*n7-r&Lc.{ȏJLh>peroƂ^WPl5l
m-p(T\}S g*H/ߡxBq
GZx"t0ewDA?C1`Ah* 8F?M
&e t(Ȣ?Wƻi(CA}{Hy%14;@4
Xְ5k%huɍDύ]',-,Z+$YID<
y')"7=(<#ТUCi'ôýcr/0UU
$^kHĮKSl]>tŖ捽*TJ62Tr^bR
rOh]ց%NŇƬ95"r pq@]m0B1
œ/@^Q` Q c42LmT4;#d5h;>݁!+!`BG>.m$PGnnw|dbyd"9
9`3ʺYvހ@cHىq)yR]l+YI6rb!Ӯkrec2yej{EJ =YHD6ͦCQ"d(:$G`wl(c%S=/=YvCJ_)v(Eptʡ-11Z:j?~l JJ,M
z^Ӊ$
k Qcc {7#Q#Cc3Q_0R*C!:IqFLuQ55/c3nѳ'aوaƫO7_E@\Зr*JX5U3-2E&8oMMpZnI9)Q5IY;Iiqe>19QpSqIxUZ8UJLN5 7 ;/i Ƞ[2vqF0}蕔=φ>7MC:*" =3GCz1㉤Ԙs6|Cq}G0r"1<0[5ɨ$aCB:g./wruH.$Di7߈3
@_==$w~Kq2}9juQ8 ١8mRr<oSSd+MԄ7
/?qY&;_I#'#xv71Lҍ뭚nc|L ɱ%Jt'LI+CrpbsY:z4DJݶMϝyw. [?0
E}6x6ϔf ;Z-D(.%nT911W?".AJQ8w]-h]-B>A!AHpՊY{|9lW
տ?$~G_$lW`]FT[ϒ,Hb=u;\Rtr+{צwӤAe.0UE}輼F
̓si8y[grM/@y_ĺ.Iݯ$&vqR_{5
endstream
endobj
37 0 obj <<
/Type /Page
/Contents 60 0 R
/Resources 59 0 R
/MediaBox [0 0 595.276 841.89]
/Parent 80 0 R
/Annots [ 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 54 0 R 55 0 R 57 0 R 58 0 R ]
>> endobj
53 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 120 42]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 81 0 R
/Length 29
/Filter /FlateDecode
>>
stream
x+2T0 B˥k JG
endstream
endobj
52 0 obj <<
/Type /XObject
/Subtype /Form
/FormType 1
/PTEX.FileName (/home/dfg/workspace/catas/publications/plru-dagstuhl/cc-by-nc-nd.pdf)
/PTEX.PageNumber 1
/PTEX.InfoDict 82 0 R
/BBox [0 0 120 42]
/Resources <<
/ColorSpace <<
/Cs6 83 0 R
>>/ProcSet [ /PDF ]
/ExtGState <<
/GS1 84 0 R
>>>>
/Length 3954
/Filter /FlateDecode
>>
stream
xZI$+Cγ:zBA-@~/3s=#=qV=dǤ"C;cdng
D I"5neL7EP=&'Z?iJG={h3$!ƙpn_/,}ci,6F}N-ջȌ&fR@|rYUzQ0G:kX)CxD;/R/̤Eҽ.n߸aV>@v-kwr~Drw{(61&a`|~,gR
8