A Type System for Reachability and Acyclicity. - Yi Lu 003; John Potter (ECOOP, 2005)

On Ownership and Accessibility. - Yi Lu 003; John Potter (ECOOP, 2006)

Protecting representation with effect encapsulation. - Yi Lu 003; John Potter (POPL, 2006)

Validity Invariants and Effects. - Yi Lu 003; John Potter; Jingling Xue (ECOOP, 2007)

Object validity and effects. - Yi Lu 003 (2008)

Ownership Downgrading for Ownership Types. - Yi Lu 003; John Potter; Jingling Xue (APLAS, 2009)

Ownership Types for Object Synchronisation. - Yi Lu 003; John Potter; Jingling Xue (APLAS, 2012)

A Type and Effect System for Determinism in Multithreaded Programs. - Yi Lu 003; John Potter; Chenyi Zhang 001; Jingling Xue (ESOP, 2012)

Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience. - Lei Shang 002; Yi Lu 003; Jingling Xue (ASE, 2012)

An Incremental Points-to Analysis with CFL-Reachability. - Yi Lu 003; Lei Shang 002; Xinwei Xie; Jingling Xue (CC, 2013)

Structural Lock Correlation with Ownership Types. - Yi Lu 003; John Potter; Jingling Xue (ESOP, 2013)

Dynamic symbolic execution for polymorphism. - Lian Li 002; Yi Lu 003; Jingling Xue (CC, 2017)

An efficient tunable selective points-to analysis for large codebases. - Behnaz Hassanshahi; Raghavendra Kagalavadi Ramesh; Padmanabhan Krishnan; Bernhard Scholz; Yi Lu 003 (SOAP@PLDI, 2017)

Inference of Security-Sensitive Entities in Libraries. - Yi Lu 003; Sora Bae; Padmanabhan Krishnan; K. R. Raghavendra (IEEE Symposium on Security and Privacy Workshops, 2017)

Type Capabilities for Object-Oriented Programming Languages. - Xi Wu 005; Yi Lu 003; Patrick A. Meiring; Ian J. Hayes; Larissa A. Meinicke (ICFEM, 2018)

Commit-time incremental analysis. - Padmanabhan Krishnan; Rebecca O'Donoghue; Nicholas Allen; Yi Lu 003 (SOAP@PLDI, 2019)

Nontransitive Security Types for Coarse-grained Information Flow Control. - Yi Lu 003; Chenyi Zhang 001 (CSF, 2020)

A Threat Hunting Framework for Industrial Control Systems. - Zahra Jadidi; Yi Lu 003 (IEEE Access, 2021)