|
Ph.D.,
Lecturer Programming
Languages and Compilers Group The
University of New South Wales |
|
Programming
language theory and practice, security, software engineering, algorithms.
· Yi Lu, John Potter, Quan Nguyen and Jingling Xue. Oval: Maintaining Object Validity in
Multithreaded Programs. Submitted for
publication, 2008.
· Yi Lu, John Potter and Jingling Xue. Validity Contracts for Objects with
Sequencing and Refinement. Submitted
for publication, 2007.
· Yi Lu. Object Validity, Effects and
Accessibility with Ownership. PhD
Thesis. UNSW, 2007.
· Yi Lu, John Potter and Jingling Xue. Validity Invariants and Effects. In ECOOP’07: Proceedings of the 21st European
Conference on Object-Oriented Programming. Springer-Verlag, July 2007.
· Yi Lu and John Potter. On Ownership and
Accessibility. In ECOOP’06:
Proceedings of the 20th European Conference on Object-Oriented Programming.
Springer-Verlag, July 2006.
· Yi Lu and John Potter. Protecting
Representation with Effect Encapsulation. In POPL’06: Proceedings of the 33rd Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages. ACM Press, January 2006.
· Yi Lu and John Potter. A Type System for
Reachability and Acyclicity. In ECOOP’05:
Proceedings of the 19th European Conference on Object-Oriented Programming.
Springer-Verlag, July 2005.
· Yi Lu and John Potter. On Reachability and
Acyclicity. Technical Report,
UNSW-CSE-TR-0434. UNSW, 2005.
· Yi Lu. An Architectural Framework for
Securing XML Web Services. Honours
Thesis. QUT, 2001.