Yu David Liu


Associate Professor
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 (2011) and the Google Faculty Research Award (2011).

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

Students

  • Welcome back, Timur Babakol, as a Ph.D. student. Timur graduated with an M.S. in 2017.
  • Samuel Bravo (M.S.)
  • Congratulations to Anthony Canino, who successfully defended his Ph.D. thesis Language Support for Adaptive Energy-Aware Applications in March 2019!
  • Congratulations to Philip Dexter, who successfully defended his Ph.D. thesis Lazy High-Performance Big Data Processing in May 2019!
  • Congratulations to Jeffrey Eymer, who will receive his B.S. in May 2019. Jeff will continue on as an M.S. student.
  • Xiaozhou Liang (M.S.)
  • Kenan Liu (Ph.D.)
  • Khaled Mahmoud (Ph.D.)
  • Congratulations to Rachit Saxena, who will receive his. M.S. in May 2019. Hire him!
  • Alumni

Teaching

  • CS571: Programming Languages, Section I and II (Spring 2019)

Events

Fun