Gen Li

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 7

Top Topics

Top Venues

Frontiers Comput. Sci.

Trustcom/BigDataSE/ISPA

Publications

Pengfei Wang, Kai Lu, Gen Li, Xu Zhou
DFTracker: detecting double-fetch bugs by multi-taint parallel tracking. Frontiers Comput. Sci. 13 (2) (2019)
Pengfei Wang, Kai Lu, Gen Li, Xu Zhou
A survey of the double-fetch vulnerabilities. Concurr. Comput. Pract. Exp. 30 (6) (2018)
Kai Lu, Peng-Fei Wang, Gen Li, Xu Zhou
Untrusted Hardware Causes Double-Fetch Problems in the I/O Memory. J. Comput. Sci. Technol. 33 (3) (2018)
Pengfei Wang, Jens Krinke, Kai Lu, Gen Li, Steve Dodier-Lazaro
How Double-Fetch Situations turn into Double-Fetch Vulnerabilities: A Study of Double Fetches in the Linux Kernel. USENIX Security Symposium (2017)
Gen Li, Ke Ma, Jian Sun, Gui Jin, Mingxin Qin, Hua Feng
Twenty-Four-Hour Real-Time Continuous Monitoring of Cerebral Edema in Rabbits Based on a Noninvasive and Noncontact System of Magnetic Induction. Sensors 17 (3) (2017)
Xinglu He, Kai Lu, Gen Li
Taint Reverse Propagation for Analysis of Privacy Leak. Trustcom/BigDataSE/ISPA (2016)
Huijun Wu, Liming Zhu, Kai Lu, Gen Li, Dongyao Wu
StageFS: A Parallel File System Optimizing Metadata Performance for SSD Based Clusters. Trustcom/BigDataSE/ISPA (2016)
Ying Zhang, Gen Li, Caixia Sun, Hongwei Zhou, Fayuan Wang
Exploiting the Inter-cluster Record Reuse for Stream Processors. HPCC/CSS/ICESS (2014)
Gen Li, Ying Zhang, Shuangxi Wang, Kai Lu
Online Taint Propagation Analysis with Precise Pointer-to Analysis for Detecting Bugs in Binaries. HPCC/CSS/ICESS (2014)
Kai Lu, Xiaoping Wang, Gen Li, Ruibo Wang, Wanqing Chi, Yongpeng Liu, Hongwei Tang, Hua Feng, Yinghui Gao
Iaso: an autonomous fault-tolerant management system for supercomputers. Frontiers Comput. Sci. 8 (3) (2014)
Xu Zhou, Gen Li, Kai Lu, Shuangxi Wang
Enhancing the Security of Parallel Programs via Reducing Scheduling Space. DASC (2014)
Gen Li, Shuangxi Wang, Ying Zhang, Xiaohui Peng
Hunter: Online Accurate Taint Propagation Analysis Based System for Detecting Bugs in Binaries. DASC (2014)
Ying Zhang, Gen Li, Yongjin Li, Caixia Sun, Pingjing Lu
The Evaluation and Optimization of 3-D Jacobi Iteration on a Stream Processor. GPC (2013)
Ying Zhang, Gen Li, Hongwei Zhou, Pingjing Lu, Caixia Sun, Qiang Dou
Mapping and Optimizing 2-D Scientific Applications on a Stream Processor. MUE (2013)
Kai Lu, Xu Zhou, Xiaoping Wang, Wenzhe Zhang, Gen Li
RaceFree: an efficient multi-threading model for determinism. PPOPP (2013)
Xu Zhou, Kai Lu, Xiaoping Wang, Wenzhe Zhang, Kai Zhang, Xu Li, Gen Li
Deterministic Message Passing for Distributed Parallel Computing. IEICE Trans. Inf. Syst. (5) (2013)
Weixia Xu, Qiang Dou, Ying Zhang, Gen Li, Xuejun Yang
Exploiting Loop-Carried Stream Reuse for Scientific Computing Applications on the Stream Processor. Int. J. Commun. Netw. Syst. Sci. 3 (1) (2010)
Xuejun Yang, Ying Zhang, Xicheng Lu, Jingling Xue, Ian Rogers, Gen Li, Guibin Wang, Xudong Fang
Exploiting the reuse supplied by loop-dependent stream references for stream processors. ACM Trans. Archit. Code Optim. 7 (2) (2010)
Gen Li, Kai Lu, Ying Zhang, Xicheng Lu, Wei Zhang
Architecture- and OS-Independent Binary-Level Dynamic Test Generation. ICICS (2009)
Gen Li, Kai Lu, Ying Zhang, Xicheng Lu, Wei Zhang
Decoupling Dynamic Test Generation from Specific Operating System Details Based on Whole System Virtual Machine. FCST (2009)
Gen Li, Kai Lu, Ying Zhang, Xicheng Lu, Wei Zhang
Mixing Concrete and Symbolic Execution to Improve the Performance of Dynamic Test Generation. NTMS (2009)
Xuejun Yang, Ying Zhang, Jingling Xue, Ian Rogers, Gen Li, Guibin Wang
Exploiting loop-dependent stream reuse for stream processors. PACT (2008)
Ying Zhang, Xuejun Yang, Guibin Wang, Ian Rogers, Gen Li, Yu Deng, Xiaobo Yan
Scientific Computing Applications on a Stream Processor. ISPASS (2008)
Ying Zhang, Qiang Dou, Gen Li, Xuejun Yang, Yongjin Li, Caixia Huang
Mapping and Optimizing 2-D Jacobi Iteration on a Stream Processor. HPCC (2008)
Ying Zhang, Gen Li, Xuejun Yang
Implementing and Optimizing a Data-Intensive Hydrodynamics Application on the Stream Processor. ICCSA (3) (2007)
Ying Zhang, Gen Li, Xuejun Yang
Recognition and Optimization of Loop-Carried Stream Reusing of Scientific Computing Applications on the Stream Processor. International Conference on Computational Science (1) (2007)
Ying Zhang, Tao Tang, Gen Li, Xuejun Yang
Implementation and Optimization of Dense LU Decomposition on the Stream Processor. PPAM (2007)
Ying Zhang, Gen Li, Xuejun Yang, Kun Zeng
Optimizing Stream Organization to Improve the Performance of Scientific Computing Applications on the Stream Processor. ICA3PP (2007)