Yi Lu

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