update doc

docs/index.html

@@ -118,6 +118,7 @@ <h2>
     <p>Dongjie He, Jingbo Lu, and Jingling Xue <a href ="">Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis</a>, 36th European Conference on Object-Oriented Programming (ECOOP'22)</p>
     <p>Dongjie He, Jingbo Lu, Yaoqing Gao, and Jingling Xue <a href ="https://doi.org/10.1109/TSE.2022.3162236">Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis</a>, IEEE Transactions on Software Engineering (TSE'22)</p>
     <p>Dongjie He, Jingbo Lu, and Jingling Xue <a href ="https://doi.org/10.1109/ASE51524.2021.9678880">Context Debloating for Object-Sensitive Pointer Analysis</a>, 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21)</p>
+    <p>Jingbo Lu, Dongjie He,  and Jingling Xue <a href ="https://doi.org/10.1007/978-3-030-88806-0_13">Selective Context-Sensitivity for k-CFA with CFL-Reachability</a>, 28th International Static Analysis Symposium (SAS'21)</p>
     <p>Dongjie He, Jingbo Lu, Yaoqing Gao, and Jingling Xue <a href ="https://doi.org/10.4230/LIPIcs.ECOOP.2021.16">Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability</a>, 35th European Conference on Object-Oriented Programming (ECOOP'21)</p>
     <p>Jingbo Lu, Dongjie He,  and Jingling Xue <a href ="https://doi.org/10.1145/3450492">Eagle: CFL-Reachability-based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis</a>, ACM Transactions on Software Engineering and Methodology (TOSEM 2021)</p> 
     <p>Jingbo Lu and Jingling Xue <a href="https://doi.org/10.1145/3360574">Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity</a>. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'19) </p>