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 and Fei Xie. Hardware/Software Interface Assurance with Conformance Checking. In ACM SIGDA PhD Forum of 51st Design Automation Conference (DAC), 2014. Full Text [pdf].

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. Full Text [pdf].

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. Full Text [pdf].

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