About Us
Our 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).
News
- Congratulations to Ravi for receiving the NSF's highest honor for new faculty members, the NSF CAREER award
- Miryung Kim gave a keynote address at the top software engineering conference ASE 2019
- Congratulations to Ravi for having 3 papers published in SoCC 2019 as well as receiving the best paper award for "Reverb: Speculative Debugging for Web Applications"
-
Niijima is a sound and automated solution to consolidate computation
for a more efficient multilingual data-parallel pipeline.
Congrats to Harry! - Gerenuk uses speculative program transformation technique to enable big data systems
to operate directly on native data.
Big congrats to Christian who first-authored a top conference paper before finishing his first year in PhD! -
Khanh Nguyen and Kai Wang defended their dissertations and graduated in Spring 2019.
Khanh will join Texas A&M as an assistant professor and Kai will join Facebook as a research scientist.