Yu "David" Liu

Research Interests

Teaching

• CS571: Programming Languages (Fall 2008, Spring 2010)
• CS580P: Programming Models for Emerging Platforms (Spring 2009, Fall 2009)

Recent Work

• Yu David Liu, Christian Skalka, Scott Smith, "Type-Specialized Staged Programming with Process Separation," 2009 ACM SIGPLAN Workshop on Generic Programming (WGP'09).
• Adiyta Kulkarni, Yu David Liu, Scott Smith, "Task Types for Pervasive Atomicity," Draft.
• Yu David Liu, Scott Smith, "Pedigree Types," 2008 International Workshop on Aliasing, Confinement, and Ownership in Object-Oriented Programming (IWACO'08).

Selected Publications

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

Professional Activities

• PC Member, International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO 2009)