Li Lei

            Ph. D. Candidate
            Department of Computer Science
            Portland State University
           

           
            1900 SW 4th Ave, FAB 135-I
            Portland, OR, 97201


            Email: leil "at" cs.pdx.edu
            
            


I'm a research assistant at System Validation Lab. My advisor is Prof. Fei Xie. Before, I received my B.E. degree in Harbin Instistue of Technology, China, 2009.


My research focuses on system design/validation and software engineering, especially using semi-formal methods to facilitate hardware/software co-validation at the post-silicon stage.



Publications

Li Lei, Kai Cong, Zhenkun Yang, and Fei Xie. Validating Direct Memory Access Interfaces with Conformance Checking. To appear in Proc. of  International Conference on Computer-Aided Design (ICCAD), 2014.

Li Lei. Hardware/Software Interface Assurance with Conformance Checking. In ACM SIGDA PhD Forum, 51st Design Automation Conference (DAC), 2014.

Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie. Scalable Certification Framework for Behavioral Synthesis Front-End.  In Proc. of 51st Design Automation Conference (DAC), 2014.

Li Lei, Kai Cong, Zhenkun Yang, and Fei Xie. Post-silicon Conformance Checking of Direct Memory Access Interfaces. In Work-In-Progress (WIP), 51st Design Automation Conference (DAC), 2014.

Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie. Coverage Evaluation of Post-silicon Validation Tests with Virtual Prototypes. In Proc. of Design, Automation and Test in Europe (DATE), 2014.

Li Lei, Kai Cong, and Fei Xie. Optimizing Post-silicon Conformance Checking. In Proc. of 31st International Conference on Computer Design (ICCD), 2013. Full Text [pdf].

Kai Cong, Fei Xie, and Li Lei. Automatic Concolic Test Generation with Virtual Prototypes for Post-silicon Validation. In Proc. of 32nd International Conference on Computer-Aided Design (ICCAD), 2013. Full Text [pdf].

Kai Cong, Fei Xie, and Li Lei. Symbolic Execution of Virtual Devices. In Proc. of 13th International Conference on Quality Software (QSIC), 2013. Full Text [pdf].

Li Lei, Fei Xie, and Kai Cong. Post-silicon Conformance Checking with Virtual Prototypes. In Proc. of 50th Design Automation Conference (DAC), 2013. Full Text [pdf].


Project

TableSAT Project: A Satellite Simulator


Hardware/Software Co-monitoring


Post-silicon Conformance Checking