Research Interests
Programming languages and compilers, software engineering.
Teaching
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
|