updates

Author: nguyenthanhvuh

files/wang2023graph.pdf

@@ -64,10 +64,10 @@ <h2>Published/To-appear Papers</h2>
 
         <li><em>Didier Ishimwe</em>. Inferring Complexity Bounds from Recurrence Relations. Foundations of Software Engineering (Student Research Competition). 2023</li>
 
-        <li>Tung Dao, Na Meng, and ThanhVu Nguyen. Triggering Modes in Spectrum-Based Multi-Location
-          Fault Localization.
+        <li>Tung Dao, Na Meng, and ThanhVu Nguyen. 
+          <a href="pubs/dao2013triggering.pdf">Triggering Modes in Spectrum-Based Multi-Location Fault Localization<a>,
           <b>Foundations of Software Engineering (FSE) Industry Track</b>. 1774--1785, 2023</li>
-        
+          
         <li>ThanhVu Nguyen and <em>Hai Duong</em>. 
           <a href="https://sigbed.org/2023/06/06/neural-sat">NeuralSAT: A CDCL-based constraint solving approach to DNN Verification</a>. 
           SIGBED Blog, 2023</li>
@@ -77,7 +77,7 @@ <h2>Published/To-appear Papers</h2>
           International Conference on Software Engineering-Software Engineering in Practice (ICSE-SEIP), 340--342, 2023</li>
 
         <li>Guangjing Wang, Nikolay Ivanov, Bocheng Chen, Qi Wang, ThanhVu Nguyen, Qiben Yan,
-          Graph Learning for Interaction Analysis in Smart Home Rule Data,
+          <a href="pubs/wang2023graph.pdf">Graph Learning for Interaction Analysis in Smart Home Rule Data</a>,
           <b>ACM SIGMOD</b>,1--27, 2023</li>
 
         <li>Simón Gutiérrez Brida, Germán Regis, <em>Guolong Zheng</em>,