Yi Lu

ORCID

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 7

Top Venues

SOAP@PLDI

ESOP

CSF

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Zahra Jadidi, Yi Lu
A Threat Hunting Framework for Industrial Control Systems. IEEE Access 9 (2021)
Yi Lu, Chenyi Zhang
Nontransitive Security Types for Coarse-grained Information Flow Control. CSF (2020)
Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu
Commit-time incremental analysis. SOAP@PLDI (2019)
Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke
Type Capabilities for Object-Oriented Programming Languages. ICFEM (2018)
Yi Lu, Sora Bae, Padmanabhan Krishnan, K. R. Raghavendra
Inference of Security-Sensitive Entities in Libraries. IEEE Symposium on Security and Privacy Workshops (2017)
Lian Li, Yi Lu, Jingling Xue
Dynamic symbolic execution for polymorphism. CC (2017)
Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu
An efficient tunable selective points-to analysis for large codebases. SOAP@PLDI (2017)
Yi Lu, John Potter, Jingling Xue
Structural Lock Correlation with Ownership Types. ESOP (2013)
Yi Lu, Lei Shang, Xinwei Xie, Jingling Xue
An Incremental Points-to Analysis with CFL-Reachability. CC (2013)
Yi Lu, John Potter, Chenyi Zhang, Jingling Xue
A Type and Effect System for Determinism in Multithreaded Programs. ESOP (2012)
Yi Lu, John Potter, Jingling Xue
Ownership Types for Object Synchronisation. APLAS (2012)
Lei Shang, Yi Lu, Jingling Xue
Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience. ASE (2012)
Yi Lu, John Potter, Jingling Xue
Ownership Downgrading for Ownership Types. APLAS (2009)
Yi Lu, John Potter, Jingling Xue
Validity Invariants and Effects. ECOOP (2007)
Yi Lu, John Potter
Protecting representation with effect encapsulation. POPL (2006)
Yi Lu, John Potter
On Ownership and Accessibility. ECOOP (2006)
Yi Lu, John Potter
A Type System for Reachability and Acyclicity. ECOOP (2005)

Yi Lu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yi Lu