Yi Lu

According to our database, Yi Lu authored at least 18 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

A Threat Hunting Framework for Industrial Control Systems.

Zahra Jadidi, Yi Lu

IEEE Access, 2021

2020

Nontransitive Security Types for Coarse-grained Information Flow Control.

Yi Lu, Chenyi Zhang

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Commit-time incremental analysis.

Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019

2018

Type Capabilities for Object-Oriented Programming Languages.

Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke

Proceedings of the Formal Methods and Software Engineering, 2018

2017

Inference of Security-Sensitive Entities in Libraries.

Yi Lu, Sora Bae, Padmanabhan Krishnan, K. R. Raghavendra

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

An efficient tunable selective points-to analysis for large codebases.

Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

Dynamic symbolic execution for polymorphism.

Lian Li, Yi Lu, Jingling Xue

Proceedings of the 26th International Conference on Compiler Construction, 2017

2013

Structural Lock Correlation with Ownership Types.

Yi Lu, John Potter, Jingling Xue

Proceedings of the Programming Languages and Systems, 2013

An Incremental Points-to Analysis with CFL-Reachability.

Yi Lu, Lei Shang, Xinwei Xie, Jingling Xue

Proceedings of the Compiler Construction - 22nd International Conference, 2013

2012

Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience.

Lei Shang, Yi Lu, Jingling Xue

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

A Type and Effect System for Determinism in Multithreaded Programs.

Yi Lu, John Potter, Chenyi Zhang, Jingling Xue

Proceedings of the Programming Languages and Systems, 2012

Ownership Types for Object Synchronisation.

Yi Lu, John Potter, Jingling Xue

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2009

Ownership Downgrading for Ownership Types.

Yi Lu, John Potter, Jingling Xue

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Object validity and effects.

Yi Lu

PhD thesis, 2008

2007

Validity Invariants and Effects.

Yi Lu, John Potter, Jingling Xue

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Protecting representation with effect encapsulation.

Yi Lu, John Potter

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

On Ownership and Accessibility.

Yi Lu, John Potter

Proceedings of the ECOOP 2006, 2006

2005

A Type System for Reachability and Acyclicity.

Yi Lu, John Potter

Proceedings of the ECOOP 2005, 2005