We stand with Ukraine  

Peng Li

Affiliations:
  • University of Utah, School of Computing, UT, USA (PhD 2015)


According to our database1, Peng Li authored at least 4 papers between 2012 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Practical Symbolic Execution Analysis and Methodology for GPU Programs.
[BibTeX]
Peng Li
PhD thesis, 2015

2014
Practical Symbolic Race Checking of GPU Programs.
[BibTeX]
[DOI]
Peng Li
,
Guodong Li
,
Ganesh Gopalakrishnan
Proceedings of the International Conference for High Performance Computing, 2014

2012
Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs.
[BibTeX]
[DOI]
Peng Li
,
Guodong Li
,
Ganesh Gopalakrishnan
Proceedings of the SC Conference on High Performance Computing Networking, 2012

GKLEE: concolic verification and test generation for GPUs.
[BibTeX]
[DOI]
Guodong Li
,
Peng Li
,
Geoffrey Sawaya
,
Ganesh Gopalakrishnan
,
Indradeep Ghosh
,
Sreeranga P. Rajan
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012


  Loading...