[llvm-dev] please add to llvm.org/pubs

[Geof Sawaya via llvm-dev]

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

<a href="http://formalverification.cs.utah.edu/new/Publications.html#
peng_sc14">Practical Symbolic Checking of GPU Programs</a>
Peng Li, Guodong Li, Ganesh Gopalakrishnan
Supercomputing
November, 2014

<a href="http://formalverification.cs.utah.edu/new/Publications.html#
peng_sc12">GKLEE: Concolic Verification and Test Generation for GPUs</a>
Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep
Ghosh, Sreeranga
P. Rajan
Principles and Practices of Parallel Programming (PPoPP)
February, 2012

<a href="http://formalverification.cs.utah.edu/new/Publications.html#
vcsharma_hipc16">PRESAGE: Protecting Structured Address Generation against
Soft Errors</a>
Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
IEEE International Conference of High-Performance Computing, Data, and
Analysis (HiPC)
December, 2016

<a href="http://formalverification.cs.utah.edu/new/Publications.html#
dpdns16vulfi">Towards Resiliency Evaluation of Vector Programs</a>
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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161009/ce5453fd/attachment.html>