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.
|| 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, and a novel energy-efficient stream programming and compilation model called Green Streams.
|| Multi-Core and Many-Core Software
Multi-core and many-core CPUs have become the norm not the exception of today's computation platforms. This project is aimed at improving the quality of software running on these architectures. Our current efforts take the two-pronged approach ranging from programming language design and program analysis, including the design of the Coqa programming language with the attractive feature of pervasive atomicity, and the design of the program analysis tool Locality Genes (details to come) for rediscovering locality information latent in multi-core software.
- Haitao Steve Zhu and Yu David Liu, "Hierarchical Decomposition Inference with Linear Programming," to appear in ECOOP, 2013.
- Yu David Liu, "Tempo Support in Programming Languages," short paper, OBT (affiliated with POPL), 2013.
- Thomas Bartenstein and Yu David Liu, "Green Streams for Data-Intensive Software,'' to appear in 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 2012)
- CS680P: Energy-Aware Programming Languages (Spring 2013)
- CS476/576: Programming Models for Emerging Platforms (Spring 2013)