deploy: 5aff1d1

mrigger · mrigger · commit d2931c2eaa3f · 2024-08-15T13:33:35.000Z
diff --git a/author/manuel-rigger/index.html b/author/manuel-rigger/index.html
@@ -684,7 +684,7 @@ <h3>
         
         
         <li>
-          <a href="mailto:manuel.rigger@inf.ethz.ch"  aria-label="envelope">
+          <a href="mailto:rigger@nus.edu.sg"  aria-label="envelope">
             <i class="fas fa-envelope big-icon"></i>
           </a>
         </li>
diff --git a/event/230828/index.html b/event/230828/index.html
@@ -934,7 +934,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/people/index.html b/people/index.html
@@ -744,7 +744,7 @@ <h3>Faculty</h3>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/08-02-24-certificates-eurosys24/index.html b/post/08-02-24-certificates-eurosys24/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/15-03-24-builds-issta/index.html b/post/15-03-24-builds-issta/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/15-03-24-dqp-sigmod/index.html b/post/15-03-24-dqp-sigmod/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/15-12-23-icse24-xml-testing/index.html b/post/15-12-23-icse24-xml-testing/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/21-09-27-nus-academic-job-experience-talk/index.html b/post/21-09-27-nus-academic-job-experience-talk/index.html
@@ -884,7 +884,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/22-08-01-cs6218/index.html b/post/22-08-01-cs6218/index.html
@@ -884,7 +884,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/22-08-01-jinsheng-suyang/index.html b/post/22-08-01-jinsheng-suyang/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/22-08-25-chi/index.html b/post/22-08-25-chi/index.html
@@ -884,7 +884,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/22-08-25-singularity/index.html b/post/22-08-25-singularity/index.html
@@ -884,7 +884,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/22-10-03-chi-plse-talk/index.html b/post/22-10-03-chi-plse-talk/index.html
@@ -884,7 +884,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/22-12-09-qpg-icse23/index.html b/post/22-12-09-qpg-icse23/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/23-01-05-researchaward-jinsheng/index.html b/post/23-01-05-researchaward-jinsheng/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/23-02-23-distinguishedaward-icse23/index.html b/post/23-02-23-distinguishedaward-icse23/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/23-08-10-deanaward-jinsheng/index.html b/post/23-08-10-deanaward-jinsheng/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/23-08-23-icse24-gdbms-testing/index.html b/post/23-08-23-icse24-gdbms-testing/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/23-10-10-cert-icse24/index.html b/post/23-10-10-cert-icse24/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/23-12-23-deopt-oopsla24/index.html b/post/23-12-23-deopt-oopsla24/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/24-01-05-nus-interview/index.html b/post/24-01-05-nus-interview/index.html
@@ -884,7 +884,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/24-04-16-jun-fse/index.html b/post/24-04-16-jun-fse/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/24-04-23-jack-eurosys-award/index.html b/post/24-04-23-jack-eurosys-award/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/24-06-13-ken-jin-jules-award/index.html b/post/24-06-13-ken-jin-jules-award/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/24-07-03-jovyn-issta/index.html b/post/24-07-03-jovyn-issta/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/24-07-18-jinsheng-graduation/index.html b/post/24-07-18-jinsheng-graduation/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/post/24-08-01-sigmod-r2-papers/index.html b/post/24-08-01-sigmod-r2-papers/index.html
@@ -883,7 +883,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/project/deopt/index.html b/project/deopt/index.html
@@ -912,7 +912,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/project/graphgenie/index.html b/project/graphgenie/index.html
@@ -912,7 +912,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/project/sqlancer/index.html b/project/sqlancer/index.html
@@ -930,7 +930,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/project/xpress/index.html b/project/xpress/index.html
@@ -912,7 +912,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2022-onward-forest/index.html b/publication/2022-onward-forest/index.html
@@ -980,7 +980,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2022-onward-intramorphic/index.html b/publication/2022-onward-intramorphic/index.html
@@ -973,7 +973,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2023-icse-qpg/index.html b/publication/2023-icse-qpg/index.html
@@ -1077,7 +1077,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2023-issta-gdbmeter/index.html b/publication/2023-issta-gdbmeter/index.html
@@ -981,7 +981,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2024-eurosys-certificate/index.html b/publication/2024-eurosys-certificate/index.html
@@ -952,7 +952,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2024-icse-cert/index.html b/publication/2024-icse-cert/index.html
@@ -1077,7 +1077,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2024-icse-gdbms-testing/index.html b/publication/2024-icse-gdbms-testing/index.html
@@ -1106,7 +1106,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2024-icse-xml-testing/index.html b/publication/2024-icse-xml-testing/index.html
@@ -992,7 +992,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2024-issta-build-errors/index.html b/publication/2024-issta-build-errors/index.html
@@ -1020,7 +1020,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2024-issta-tex-inconsistencies/index.html b/publication/2024-issta-tex-inconsistencies/index.html
@@ -995,7 +995,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2024-oopsla-datalog-testing/index.html b/publication/2024-oopsla-datalog-testing/index.html
@@ -1016,7 +1016,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2024-sigmod-dqp/index.html b/publication/2024-sigmod-dqp/index.html
@@ -1066,7 +1066,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2025-sigmod-reusing-tests/index.html b/publication/2025-sigmod-reusing-tests/index.html
@@ -941,7 +941,7 @@ <h6 class="card-subtitle">Faculty</h6>
     
     
     <li>
-      <a href="mailto:manuel.rigger@inf.ethz.ch" >
+      <a href="mailto:rigger@nus.edu.sg" >
         <i class="fas fa-envelope"></i>
       </a>
     </li>
diff --git a/publication/2025-sigmod-spatial-db-testing/index.html b/publication/2025-sigmod-spatial-db-testing/index.html
