diff --git a/index.html b/index.html
index ee07269..949f9f0 100644
--- a/index.html
+++ b/index.html
@@ -97,7 +97,7 @@ <h3>Research Interests</h3> I am broadly interested in topics related to program
       <h3>Current Research</h3>
       <ul>
         <li class="item">
-          <a>Program Analysis and Verification</a>
+          Program Analysis and Verification
           <ul>
             <li class="item">
               Path sensitivity [<a href="./files/PLDI21Fusion.pdf">PLDI'21a</a>] [<a href="https://dl.acm.org/doi/10.1145/3395363.3397378">ISSTA'20</a>], context sensitivity (via CFL-reachability)  [<a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22a</a>]
@@ -118,7 +118,7 @@ <h3>Current Research</h3>
           </ul>
         </li>
         <li class="item">
-          <a>Program Synthesis and Optimizations</a>
+          Program Synthesis and Optimizations
           <ul>
             <li class="item">
               Program synthesis for code search [<a href="">ECOOP'23</a>] and translation [<a href="">ASPLOS'24</a>]
@@ -130,7 +130,7 @@ <h3>Current Research</h3>
          </li>
 
         <li class="item">
-          <a>Automted Reasoning</a>
+          Automted Reasoning
           <ul>
             <li class="item">
               Symbolic abstraction: application in synthesizing best abstract transformers [<a href="https://dl.acm.org/doi/10.1145/3485495">OOPSLA'21</a>]
@@ -163,12 +163,12 @@ <h3>Selected Publications</h3>
           The ACM SIGSOFT International Symposium on Software Testing and Analysis (CCF Rank A)
         </li>  
         <li style="margin-bottom: 10px;"><a href="https://dl.acm.org/doi/pdf/10.1145/3632743">TOSEM 24: Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions</a>
-          <br>Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, and Charles Zhang.
+          <br>Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, and Charles Zhang
           <br>ACM Transactions on Software Engineering and Methodology (CCF Rank A)
         </li>
         <li style="margin-bottom: 10px;">
           <a href="https://arxiv.org/pdf/2309.05264.pdf">ICSE 2024: Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning</a>
-          <br> Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, and Kui Ren. 
+          <br> Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, and Kui Ren
           <br> The 2024 IEEE/ACM International Conference on Software Engineering (CCF Rank A)
         </li>
         <li style="margin-bottom: 10px;">
@@ -243,7 +243,7 @@ <h3>Selected Publications</h3>
         </li>
         <li style="margin-bottom: 10px;">
           <a href="./files/OOPSLA21SymAbsExtended.pdf">OOPSLA 2021: Program Analysis via Efficient Symbolic Abstraction</a>
-          <br> Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang. <br> The 36th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications (CCF Rank A) <br>
+          <br> Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang <br> The 36th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications (CCF Rank A) <br>
           <a style="color:#FF0000">(One of the algorithms has been integrated into SVF)</a>
         </li>
         <li style="margin-bottom: 10px;">
@@ -253,7 +253,7 @@ <h3>Selected Publications</h3>
         <li style="margin-bottom: 10px;">
           <a href="./files/FSE21SparrowTest.pdf">ESEC/FSE 2021: Skeletal Approximation Enumeration for SMT Solver Testing</a>
           <br> Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
-          <br> The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (CCF Rank A) <br>
+          <br> The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (CCF Rank A) 
         </li>
         <li style="margin-bottom: 10px;">
           <a href="./files/ISSTA21FalconFuzz.pdf">ISSTA 2021: Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration</a>
diff --git a/teaching/index.html b/teaching/index.html
index 03af2a7..083dae9 100644
--- a/teaching/index.html
+++ b/teaching/index.html
@@ -10,7 +10,7 @@
    <h2>Course Information</h2>
    <b>Lectures:</b> Tuesday, 10:00am - 12:25pm<br />
    <b>Instructor:</b> <a href="https://rainoftime.github.io/">rainoftime</a>, <a href="mailto:pyaoaa@zju.edu.cn">pyaoaa@zju.edu.cn</a><br />
-   <b>Teaching assistant:</b> <a href="mailto:chiaki_cage@zju.edu.cn">chiaki_cage</a><br />
+   <b>Teaching assistant:</b> <a href="mailto:chiaki_cage@zju.edu.cn">Chiaki Cage</a><br />
   
    <h2>Schedule</h2>
 
@@ -138,17 +138,14 @@ <h2>Assignments, Labs, Exams</h2>
    <h2>References</h2>
   
     <ul>
-        <li>
-           Lecture Notes of Principles of Compilers (ing...)
-         </li>
         <li>[Appel] Andrew Appel. Modern Compiler Implementation in C.
           <br> 现代编译原理 C语言描述. 人民邮电出版社 (虎书)
         </li>
         <li>[Dragon] Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. 
           <br> 编译原理. 影印本-2011、译本-2009, 机械工业出版社 (龙书)</li>
         <li>[Cooper] Keith Cooper & Linda Torczon. Engineering a  Compiler.
-          <br> 编译器工程，机械工业出版社 （对应原书第1版) 
-          <br> 编译器设计，人民邮电出版社 （对应原书第2版）
+          <br> 编译器工程，机械工业出版社 （对应原书第1版) (橡书?) 
+          <br> 编译器设计，人民邮电出版社 （对应原书第2版) (橡书?)
         </li>
         <li>[Muchnick] Steven Muchnick. Advanced Compiler Design and Implementation. 
           <br> 高级编译器设计与实现，影印本-2003, 译本-2005 (鲸书)
@@ -161,8 +158,6 @@ <h2>References</h2>
         </li>
        <li>[HPG] <a href="https://dl.acm.org/doi/10.1145/1461928.1461946">Mary Hall, David Padua, Keshav Pingali. Compiler Research: The Next 50 Years, CACM 2009.</a> 
        </li>
-       <li>[Reps'98] <a href="https://dl.acm.org/doi/10.1145/276393.276394?cid=81100117392">Thomas Reps. “Maximal-munch” Tokenization in Linear Time. ACM AOPLAS 1998.</a>
-      </li>
        <li>[G&J] Dick Grune, Ceriel J. H. Jacobs. Parsing Techniques: A Practical Guide.
        </li>
        <li>[Cantor'62] <a href="https://doi.org/10.1145/321138.321145">David G. Cantor. On The Ambiguity Problem of Backus Systems. JACM'62.</a>