Yu "David" Liu
Assistant Professor Department of Computer Science
State University of New York at Binghamton
Email: davidL at cs.binghamton.edu
Office: G18 Engineering Building
2011 (credit: W. L.)
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.
Current Projects
 |
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. |
|
 |
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. |
Recent Work
- Yu David Liu, "Energy-Efficient Synchronization through Program Patterns," To appear in GREENS (affiliated with ICSE), 2012.
- Yu David Liu, "Variant-Frequency Semantics for Green Futures," PLACES (affiliated with ETAPS), 2012.
- Yu David Liu, "Green Thieves in Work Stealing," ASPLOS Provocative Ideas, 2012.
- Yu David Liu, Christian Skalka, Scott Smith, "Type-Specialized Staged Programming with Process Separation," Journal of Higher-Order and Symbolic Computation. To appear, 2011.
- Aditya Kulkarni, Yu David Liu, Scott Smith, "Task Types for Pervasive Atomicity," Proceedings of the 25th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2010). Reno, Nevada, USA, October 2010.
- More...
Teaching
- CS680P: Energy-Aware Programming Languages (Spring 2012)
- CS571: Programming Languages, Section I and II (Fall 2011)
- CS476/576: Programming Models for Emerging Platforms (Spring 2011)
Events
- Proceedings Chair, International Symposium on the Foundations of Software Engineering (FSE'12)
- PC, International Workshop on Energy and Thermal Management of Embedded Computing (ETMEC'11), International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO'09)
Fun
- Alan Turing is a "great-grand-uncle'' of mine on the academic genealogy tree.
- Apparently, I should know more maths than I do: Leonhard Euler, Joseph Louis Lagrange, Pierre-Simon Laplace, Simeon Denis Poisson are among my "ancestors".
- Erdös number: 3 (Erdös - Magidor - Smith) .