The Analysis for Large-Scale Systems (AnalySys) group has been at the forefront of research in programming languages, distributed systems, and big data analytics.
Our research has had significant impact and led to papers that have perennially appeared in top systems and programming language conferences such as SOSP, OSDI, ASPLOS, and PLDI.
Our research is supported by the National Science Foundation (NSF) and the Office of Naval Research (ONR).