You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Our research spans broadly across operating systems, distributed systems, cloud computing, mobile systems, and ML infrastructure, while specializing in reliability,
36
+
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>.
37
+
Our research innovations cover:
38
+
<ulclass="scope-focus-list">
39
+
<li><strong>Foundation:</strong> Design formal reasoning techniques to ensure strong correctness guarantees in complex systems.</li>
40
+
<li><strong>Abstraction:</strong> Introduce new abstractions and interfaces to address fundamental gaps while avoiding ad-hoc designs.</li>
41
+
<li><strong>Analysis:</strong> Develop automated program analyses, data-driven methods, and ML techniques to better reason about system behavior.</li>
42
+
<li><strong>Runtime:</strong> Build robust runtime mechanisms to observe, mitgate, and recover from assorted issues and enable self-adapting systems.</li>
0 commit comments