Skip to content

Commit 38147cb

Browse files
committed
deploy: b076606
1 parent dc41b3e commit 38147cb

2 files changed

Lines changed: 6 additions & 6 deletions

File tree

feed.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.2.2">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2026-02-22T17:10:18-05:00</updated><id>/feed.xml</id><title type="html">Ordered Systems Lab at U-M</title><subtitle>This is the website for the Ordered Systems Lab (a.k.a Order Lab) at University of Michigan, led by Prof. Ryan Huang.</subtitle><entry><title type="html">Launching the OrderLab Blog</title><link href="/blog/2026/02/21/launching-orderlab-blog/" rel="alternate" type="text/html" title="Launching the OrderLab Blog" /><published>2026-02-21T00:00:00-05:00</published><updated>2026-02-21T22:14:27-05:00</updated><id>/blog/2026/02/21/launching-orderlab-blog</id><content type="html" xml:base="/blog/2026/02/21/launching-orderlab-blog/"><![CDATA[<p>We have added a dedicated blog to the lab website to share technical updates in a faster, more narrative format than conference papers.</p>
1+
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.2.2">Jekyll</generator><link href="/feed.xml" rel="self" type="application/atom+xml" /><link href="/" rel="alternate" type="text/html" /><updated>2026-02-22T18:17:33-05:00</updated><id>/feed.xml</id><title type="html">Ordered Systems Lab at U-M</title><subtitle>This is the website for the Ordered Systems Lab (a.k.a Order Lab) at University of Michigan, led by Prof. Ryan Huang.</subtitle><entry><title type="html">Launching the OrderLab Blog</title><link href="/blog/2026/02/21/launching-orderlab-blog/" rel="alternate" type="text/html" title="Launching the OrderLab Blog" /><published>2026-02-21T00:00:00-05:00</published><updated>2026-02-21T22:14:27-05:00</updated><id>/blog/2026/02/21/launching-orderlab-blog</id><content type="html" xml:base="/blog/2026/02/21/launching-orderlab-blog/"><![CDATA[<p>We have added a dedicated blog to the lab website to share technical updates in a faster, more narrative format than conference papers.</p>
22

33
<p>Posts here will usually cover:</p>
44

index.html

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -103,13 +103,13 @@ <h1>Ordered Systems Lab</h1>
103103
<h2>Research Interests</h2>
104104
<p>
105105
Our research spans broadly across operating systems, distributed systems, cloud computing, mobile systems, and ML infrastructure, while specializing in reliability,
106-
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>.
106+
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>.
107107
Our research innovations cover:
108108
<ul class="scope-focus-list">
109109
<li><strong>Foundation:</strong> Design formal reasoning techniques to ensure strong correctness guarantees in complex systems.</li>
110110
<li><strong>Abstraction:</strong> Introduce new abstractions and interfaces to address fundamental gaps while avoiding ad-hoc designs.</li>
111111
<li><strong>Analysis:</strong> Develop automated program analyses, data-driven methods, and ML techniques to better reason about system behavior.</li>
112-
<li><strong>Runtime:</strong> Build robust runtime mechanisms to observe, mitgate, and recover from assorted issues and enable self-adapting systems.</li>
112+
<li><strong>Runtime:</strong> Build robust runtime mechanisms to observe, mitigate, and recover from assorted issues while enabling self-adapting systems.</li>
113113
</ul>
114114
<code>ORDER := {Observable, Reliable, Defensible, Efficient, Responsive}</code>
115115
</p>
@@ -136,7 +136,7 @@ <h2 class="section-intro__title">News</h2>
136136
</li>
137137
<li>
138138
<span class="home-news-list__date">Jul 2025</span>
139-
<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>
139+
<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>
140140
</li>
141141
<li>
142142
<span class="home-news-list__date">Jul 2025</span>
@@ -244,7 +244,7 @@ <h3>Mitigating Application Resource Overload with Targeted Task Cancellation</h3
244244
</div>
245245
<div class="project-card__content">
246246
<h3>Enhancing Slow-Fault Tolerance in Distributed Systems</h3>
247-
<p>Xinda diagnoses and mitigates slow faults with adaptive mechanisms tailored to modern distributed system behavior.</p>
247+
<p>Xinda provides an automated slow-fault testing pipeline for distributed systems and a lightweight library for adaptive slow fault detection.</p>
248248
<p class="project-badge">NSDI 2025</p>
249249
<div class="project-links" aria-label="Xinda links">
250250
<a class="project-link-icon" href="/paper/xinda-nsdi25-preprint.pdf" target="_blank" rel="noopener" title="Paper">
@@ -334,7 +334,7 @@ <h2 class="section-intro__title">Sponsors</h2>
334334
<p class="footer-text m-0 col-lg-8 col-md-12">
335335
Copyright &copy; OrderLab 2017-<script>
336336
document.write(new Date().getFullYear());
337-
</script> All rights reserved. | Last updated 2026-02-22 16:09:50 -0500.
337+
</script> All rights reserved. | Last updated 2026-02-22 18:16:05 -0500.
338338
</p>
339339
</div>
340340
</div>

0 commit comments

Comments
 (0)