|
Dr. Yi Lu Lecturer The University
of New South Wales |
|
Research Interests
Programming languages, program analysis and
verification, software engineering, security,
compilers, concurrent and distributed computing.
Selected Publications
Y. Lu,
L. Shang, X. Xie and J. Xue. Incremental points-to
analysis with graph reachability. In proceedings of
the 22nd International Conference on Compiler
Construction (CC), 2013.
Y. Lu, J. Potter and J. Xue. Structural lock
correlation for static race detection. In proceedings
of the 22nd European Symposium on Programming (ESOP),
2013.
Y. Lu, J. Potter, C. Zhang and J. Xue. A type
and effect system for determinism in multithreaded
programs. In proceedings of the 21st European
Symposium on Programming (ESOP), 2012.
L. Shang, Y. Lu, and J. Xue. Fast and precise
points-to analysis with CFL-reachability summari-
sation. In proceedings of the 27th IEEE/ACM
International Conference on Automated Software
Engineering (ASE), 2012.
Y. Lu, J. Potter and J. Xue. Ownership types
for object synchronisation. In proceedings of the 10th
Asian Symposium on Programming Languages and Systems
(APLAS), 2012.
Y. Lu, J. Potter and J. Xue. Ownership
downgrading for ownership types. In proceedings of the
7th Asian Symposium on Programming Languages and
Systems (APLAS), 2009.
Y. Lu, J. Potter and J. Xue. Validity
invariants and effects (aka. Object invariants and
effects). In proceedings of the 21st European
Conference on Object-Oriented Programming (ECOOP),
2007.
Y. Lu and J. Potter. Protecting representation
with effect encapsulation. In proceedings of the 33rd
ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages (POPL), 2006.
Y. Lu and J. Potter. On ownership and
accessibility. In proceedings of the 20th European
Conference on Object-Oriented Programming (ECOOP),
2006.
Y. Lu and J. Potter. A type system for
reachability and acyclicity. In proceedings of the
19th European Conference on Object-Oriented
Programming (ECOOP), 2005.