Yu David Liu

Department of Computer Science
State University of New York at Binghamton
Email: davidL at binghamton.edu
Office: Q3 Engineering Building

2016 (credit: R. P.)

My research interests include programming languages, systems, and software engineering. I received my Ph.D. from the Johns Hopkins University, advised by Scott Smith. I am a recipient of the NSF CAREER Award in 2010, the Google Faculty Research Award in 2011, the Outstanding Research Achievement Award from the Department of Computer Science at SUNY Binghamton in 2018, and from Watson School of Engineering and Applied Science in 2019.

Current Projects


(credit: M. Cohen)
  Energy-Aware Programming Languages and Compilers
From smartphones to data centers, energy efficiency is increasingly becoming a critical goal of modern computing. This project investigates how energy efficiency can be improved through programming language and compiler techniques. We have designed a novel type system called Energy Types, an energy-aware programming language Ent, a stochastic energy optimizer Aeneas, a novel energy-efficient stream programming and compilation model called Green Streams, an energy-efficient multi-threaded language runtime called Hermes, and some empirical studies on energy behaviors of concurrent programs and energy-aware programmers.

(credit: hypepotamus.com)
  Data-Intensive Software
Big Data applications are on the rise, with examples such as genome decoding, data warehouse mining, and exascale social network analysis. This project is aimed at providing programming and runtime support to improve the quality and performance of data-intensive applications. Our current efforts include Rate Types to reason about and optimize data stream rates in high-performance data processing, Delta Graphs for update-intensive and verifiable Big Graph applications, GraphQ for scalable out-of-core graph processing, and a new software foundation for generalized lazy data processing.

(credit: binghamton.edu)
  Unmanned Aerial Vehicles
UAVs are an emerging computing platform increasingly becoming common in our society. This project will develop an open-source and extensible software infrastructure to allow for extensible UAV software design across the computing stack, spanning operating systems (OS), virtual machines (VM), compilers, programming languages, and applications.

Recent Work


  • Timur Babakol (Ph.D.)
  • Jack Burns (Ph.D.). Congratulations to Jack, who successfully defended his M.S. thesis in December 2020. Jack will continue as a Ph.D. student.
  • Jeffrey Eymer (M.S.). Congratulations to Jeff, who successfully defended his M.S. thesis in December 2020. Jeff will join CapitalOne.
  • Kenan Liu (Ph.D.)
  • Crystal Low (M.S.)
  • Khaled Mahmoud (Ph.D.)
  • Joseph Raskind (M.S.)
  • Joe Sanchez (M.S.)
  • Alejandro Servetto (B.S.)
  • Alex Strong (M.S.)
  • Alumni


  • CS476/576: Programming Models for Emerging Platforms (Fall 2020)
  • CS571: Programming Languages, Section II (Spring 2021)