Shenming Lu

According to our database, Shenming Lu authored at least 3 papers between 2019 and 2021.

Collaborative distances:

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

2021

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.

Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.

Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu

ACM Trans. Comput. Syst., 2020

2019

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.

Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019