H
Hong Lu
Researcher at Texas A&M University
Publications - 8
Citations - 118
Hong Lu is an academic researcher from Texas A&M University. The author has contributed to research in topics: Wireless network & Debugging. The author has an hindex of 4, co-authored 7 publications receiving 86 citations.
Papers
More filters
The Design and Implementation of P2V, An Architecture for Zero-Overhead Online Verification of Software Programs
Hong Lu,Alessandro Forin +1 more
TL;DR: The PSL-to-Verilog (P2V) compiler can translate a set of assertions about a block-structured software program into a hardware design to be executed concurrently with the execution of the software program, a result that has never been previously achieved by any online model-checking system.
Journal ArticleDOI
Genome physical mapping from large-insert clones by fingerprint analysis with capillary electrophoresis: a robust physical map of Penicillium chrysogenum
Zhanyou Xu,Marco A. van den Berg,Chantel F. Scheuring,Lina Covaleda,Hong Lu,Felipe A. Santos,Taesik UhmT. Uhm,Mi-Kyung Lee,Chengcang Wu,Steve Liu,Hong-Bin Zhang +10 more
TL;DR: This map represents the first physical map constructed using theCE technology, thus providing not only a platform for genomic studies of the penicillin-producing species, but also strategies for efficient use of the CE technology for genome physical mapping of plants, animals and microbes.
Journal ArticleDOI
Wheat breeding history reveals synergistic selection of pleiotropic genomic sites for plant architecture and grain yield.
Aili Li,Chenyang Hao,Zhenyu Wang,Shuaifeng Geng,Meiling Jia,Fang Wang,Xiaoshuang Han,Xingchen Kong,Lingjie Yin,Shu Tao,Zhongyin Deng,Ruyi Liao,Guoliang Sun,Ke Wang,Xingguo Ye,Chen-Hui Jiao,Hong Lu,Yun Zhou,Dengcai Liu,Xiang-Dong Fu,Xueyong Zhang,Long Mao +21 more
TL;DR: This paper found that 6.7% of the wheat genome falls within the selective sweeps between landraces and cultivars, which harbors the genes known for yield improvement, and found that TaARF12 and TaDEP1 function in epistasis with the classical plant height Rht-1 locus, leading to a "Green Revolution"-based working model for historical wheat breeding.
Journal ArticleDOI
Automatic Processor Customization for Zero-Overhead Online Software Verification
TL;DR: The P2V compiler, implemented in Python, generates code for the implementation of the eMIPS processor running on the Xilinx ML401 development board, currently used to verify software properties in areas such as testing, debugging, intrusion detection, and the behavioral verification of concurrent and real-time programs.
Embedded Systems Research at DemoFest’07
Oscar Almeida,Alessandro Forin,Philip Garcia,Johannes Helander,Nishith Khantal,Hong Lu,Karl Meier,Sibin Mohan,Henrik Frystyk Nielsen,Neil Pittman,Risto Serg,Bharat Sukhwani,Margus Veanes,Ben Zorn,Sarah Berry,Chris Boyce,David Chaszar,Brandon Culrich,Mikhail Kisin,Gabe Knezek,Warren Linam-Church,Steve Liu,Michael Stewart,Doug Toney +23 more
TL;DR: The Embedded Systems group at Microsoft Research has been engaged in joint academic collaborations spanning both teaching and research activities, and the results of these collaborations are jointly reviewed, and highlighted to the academic community at the Faculty Summit at Microsoft headquarters in Redmond, WA, during the DemoFest event.