please add to llvm.org/pubs

Hi Devs – here are a few pubs from my research group that rely on LLVM; will you please add to the page:

Practical Symbolic Checking of GPU Programs
Peng Li, Guodong Li, Ganesh Gopalakrishnan
Supercomputing
November, 2014

GKLEE: Concolic Verification and Test Generation for GPUs
Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan
Principles and Practices of Parallel Programming (PPoPP)
February, 2012

PRESAGE: Protecting Structured Address Generation against Soft Errors
Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
IEEE International Conference of High-Performance Computing, Data, and Analysis (HiPC)
December, 2016

Towards Resiliency Evaluation of Vector Programs
Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
21st IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS)
May, 2016

Many thanks –

Geof Sawaya
http://formalverification.cs.utah.edu/

Added in r283871.

http://llvm.org/pubs/

cheers,
--renato