Yu David Liu joined the faculty of SUNY Binghamton in August 2008. His research interests include programming languages, compilers, and software engineering.
Liu received his Ph.D. from Johns Hopkins University, advised by Scott Smith. He is the recipient of an NSF CAREER Award (2011) and a Google Faculty Research Award (2011). He works with a group of talented students.
(credit: M. Cohen)
|| Energy-Aware Programming Languages and Compilers
From smartphones, laptops, wireless sensor networks, 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 are currently designing a new programming language ET with a novel type system called Energy Types, a novel energy-efficient stream programming and compilation model called Green Streams, and an energy-efficient multi-threaded language runtime called Hermes.
|| 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 a novel compiler support called Rate Types to reason about and optimize data stream rates in high-performance data processing, and a functional programming model called Delta Graphs for scalable and verifiable Big Graph applications.
Other Recent Projects Coqa for atomicity-by-design concurrent programming; Cypress for locality-based alias analysis; nesT for meta-programming in sensor networks
- Gustavo Pinto, Fernando Castor, Yu David Liu, "Mining Questions About Software Energy Consumption," MSR, 2014.
- Haris Ribic, Yu David Liu, "Energy-Efficient Work-Stealing Language Runtimes," ASPLOS, 2014.
- Haitao Steve Zhu, Yu David Liu, "Hierarchical Decomposition Inference with Linear Programming," ECOOP, 2013.
- Yu David Liu, "Tempo Support in Programming Languages," short paper, OBT (affiliated with POPL), 2013.
- Thomas Bartenstein, Yu David Liu, "Green Streams for Data-Intensive Software,'' ICSE, 2013.
- Siliang Li, Yu David Liu, Gang Tan, " JATO: Native Code Atomicity for Java," APLAS, 2012.
- Michael Cohen, Haitao Steve Zhu, Senem Ezgi Emgin, Yu David Liu, "Energy Types," OOPSLA, 2012.
- CS571: Programming Languages, Section II (Fall 2013)
- CS680P: Energy-Aware Programming Languages (Spring 2013)
- CS476/576: Programming Models for Emerging Platforms (Spring 2014)
- PC member, BDAMS'14
- PC member, PERTEA'14
- PC member, SPLASH/OOPSLA'14 Doctoral Symposium
- PC member, ECOOP'14
- PC member, SAC-SEAGC'14
- Tutorial, FSE'13
- PC member, OOPSLA'13
- Keynote talk, WoSQ'12
- PC member, SAC-SEAGC'13
- Proceedings Chair, FSE'12
- PC member, ETMEC'11
- PC member, IWACO'09