tweak

Author: ryanphuang

index.html

@@ -33,13 +33,13 @@ <h1>Ordered Systems Lab</h1>
         <h2>Research Interests</h2>
         <p>
           Our research spans broadly across operating systems, distributed systems, cloud computing, mobile systems, and ML infrastructure, while specializing in reliability, 
-          fault tolerance, and performance. Our work combines systems building with deep insights to address real-world challenges facing modern systems and enable <code>ORDER</code>. 
+          fault tolerance, and performance. Our work combines systems building with deep insights to address real-world challenges facing modern systems and achieve <code>ORDER</code>. 
           Our research innovations cover:
         <ul class="scope-focus-list">
           <li><strong>Foundation:</strong> Design formal reasoning techniques to ensure strong correctness guarantees in complex systems.</li>
           <li><strong>Abstraction:</strong> Introduce new abstractions and interfaces to address fundamental gaps while avoiding ad-hoc designs.</li>
           <li><strong>Analysis:</strong> Develop automated program analyses, data-driven methods, and ML techniques to better reason about system behavior.</li>
-          <li><strong>Runtime:</strong> Build robust runtime mechanisms to observe, mitgate, and recover from assorted issues and enable self-adapting systems.</li>
+          <li><strong>Runtime:</strong> Build robust runtime mechanisms to observe, mitigate, and recover from assorted issues while enabling self-adapting systems.</li>
         </ul>
         <code>ORDER := {Observable, Reliable, Defensible, Efficient, Responsive}</code>
         </p>
@@ -66,7 +66,7 @@ <h2 class="section-intro__title">News</h2>
       </li>
       <li>
         <span class="home-news-list__date">Jul 2025</span>
-        <span class="home-news-list__content"><b><a href="https://github.com/OrderLab/phoenix" target="_blank" rel="noopener">Phoenix</a></b> is accepted to <a href="https://sigops.org/s/conferences/sosp/2025/">SOSP '25</a>! Phoenix provides OS-level support for optimistic recovery and partial state preservation for high-availability software.</span>
+        <span class="home-news-list__content"><b><a href="https://github.com/OrderLab/phoenix" target="_blank" rel="noopener">Phoenix</a></b> is accepted to <a href="https://sigops.org/s/conferences/sosp/2025/">SOSP '25</a>! Phoenix provides OS-level optimistic recovery and partial state preservation for high-availability software.</span>
       </li>
       <li>
         <span class="home-news-list__date">Jul 2025</span>
@@ -174,7 +174,7 @@ <h3>Mitigating Application Resource Overload with Targeted Task Cancellation</h3
           </div>
           <div class="project-card__content">
             <h3>Enhancing Slow-Fault Tolerance in Distributed Systems</h3>
-            <p>Xinda diagnoses and mitigates slow faults with adaptive mechanisms tailored to modern distributed system behavior.</p>
+            <p>Xinda provides an automated slow-fault testing pipeline for distributed systems and a lightweight library for adaptive slow fault detection.</p>
             <p class="project-badge">NSDI 2025</p>
             <div class="project-links" aria-label="Xinda links">
               <a class="project-link-icon" href="{{ '/paper/xinda-nsdi25-preprint.pdf' | relative_url }}" target="_blank" rel="noopener" title="Paper">