update pdf

content/_index.md

@@ -7,33 +7,34 @@ motto1: A worm will turn into a butterfly, before one can answer "who am I".
 motto2: Life is too long to end at the grave.
 ---
 
-I am a graduate student working on software engineering at the Inplus Lab of Sun Yat-sen University. My research interests include software security, program analysis and smart contracts. Now, I am  supervised by Associate Prof. [Yuhong Nan](https://nanyuhong.github.io/) and Prof. [Zibin Zheng](http://www.zibinzheng.com), co-working with many awesome lab fellows. Meanwhile, I have been drawing much effort on the digital economy at the top-level planning due to programs of our lab. 
+I am a graduate student working on software engineering at the Inplus Lab of Sun Yat-sen University. My research interests include *software security, program analysis and smart contracts*. Now, I am  supervised by Associate Prof. [Yuhong Nan](https://nanyuhong.github.io/) and Prof. [Zibin Zheng](http://www.zibinzheng.com), co-working with many awesome lab fellows. Meanwhile, I have been drawing much effort on the digital economy and data assets based on soft programs of our lab. 
 
 ### Research Publication
+> Time for research is so limited, but hard and interesting.
 
--[ASE'23] **<u>Sicheng Hao</u>**, Yuhong Nan, Zibin Zheng, Xiaohui Liu. SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding. 
-[PDF](./) [Code](https://github.com/FlyingFog/SmartCoCo)
+\- [FSE'24] To see in this Spring.
 
+\- [ASE'23] **<u>Sicheng Hao</u>**, Yuhong Nan, Zibin Zheng, Xiaohui Liu. SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding. 
+[PDF](https://ieeexplore.ieee.org/document/10298432/), [Code](https://github.com/FlyingFog/SmartCoCo), [Slide](./pdf/SmartCoCo%20Slide.pdf)
 
--[ISSTA'23] Zeqin Liao, **<u>Sicheng Hao</u>**, Yuhong Nan, Zibin Zheng. SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. 
-[PDF](https://doi.org/10.1145/3597926.3598111) [Code](https://github.com/InPlusLab/SmartState)
+\- [ISSTA'23] Zeqin Liao, **<u>Sicheng Hao</u>**, Yuhong Nan, Zibin Zheng. SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. 
+[PDF](https://doi.org/10.1145/3597926.3598111), [Code](https://github.com/InPlusLab/SmartState), [Slide(My Version)](./pdf/SmartState%20Slide.pdf)
 
 
+### Consultation Report
+See more in [the Chinese homepage](./zh). All the reports are written in Chinese.Translation may not have the exactly consistent meaning. 
 
-### Consultation report
-See more in [the Chinese homepage](./zh), as the translation is so hard.
-
--[data assets] Power Data Element Valuation, White Paper, 2022-2023.
+\- [Data Assets] Power Data Element Valuation, White Paper, 2022-2023. [FYI.](https://baike.baidu.com/item/%E7%94%B5%E5%8A%9B%E6%95%B0%E6%8D%AE%E8%A6%81%E7%B4%A0%E4%BB%B7%E5%80%BC%E8%AF%84%E4%BC%B0%E7%99%BD%E7%9A%AE%E4%B9%A6/63038844?fr=ge_ala)
 
--[blockchain]  Blockchain+ Fintech Industry, Consultation Report, 2021-2022. 
+\- [Blockchain]  Blockchain+ Fintech Industry, Consultation Report, 2021-2022. 
 
--[digitalization] Building Digitalization Center in Lijiao, Consultation Report, 2021-2022.
+\- [Digitalization] Building Digitalization Center in Lijiao, Consultation Report, 2021-2022.
 
--[digitalization] Digital Economy Development in Nanhai, Consultation Report, 2021-2022.
+\- [Digitalization] Digital Economy Development in Nanhai, Consultation Report, 2021-2022.
 
 
 ### Misc
 
-FlyingFog and its variety are common nicknames I used on social networks.
+**FlyingFog** and its variety are common nicknames I used on social networks.
 
 I am really looking forward to learning cutting-edge techniques on program analysis and text analytics. If you have same interests or wonderful insights to share, please let me know.

themes/hugo-theme-ladder/assets/scss/common/_global.scss

@@ -49,7 +49,7 @@ h6 {
   font-family: $font-family;
   font-weight: 600;
   color: $alt-fg-color;
-  margin: 2rem 0 2rem 0;
+  margin: 3rem 0 2rem 0;
 
   &:hover .heading-link {
     visibility: visible;