Added in r283871.
http://llvm.org/pubs/
cheers,
--renato
On 10 October 2016 at 01:29, Geof Sawaya via llvm-dev
<llvm-dev at lists.llvm.org> wrote:> 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/
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>