Professional Bio

Yu David Liu joined Binghamton University in September 2008, after receiving his PhD and MSE from Johns Hopkins University. He has designed several programming languages, including Classages for interaction-oriented programming and Coqa for concurrent programming in the multi-core era.

Research Interests

Programming languages and compilers, software engineering, language design and implementation for objects and components, language support for high-performance computing, type systems.

Courses taught

• CS571: Programming Languages
• CS580P: Programming Models for Emerging Platforms

Selected Publications

• Yu David Liu, Xiaoqi Lu, Scott Smith, "Coqa: Concurrent Objects with Quantized Atomicity," Proceedings of the 2008 International Conference on Compiler Construction (CC'08) . Budapest, Hungary, March 2008.
• Yu David Liu, Scott Smith, "A Formal Framework for Component Deployment," Proceedings of the 21st ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2006) . Portland, Oregon, USA, October 2006.
• Yu David Liu, Scott Smith, "Interaction-Based Programming with Classages," Proceedings of the 20th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2005) . San Diego, California, USA, October 2005.
• Yu David Liu, Scott Smith, "Modules with Interfaces for Dynamic Linking and Communication," Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP 2004) . Oslo, Norway, June 2004.