<div dir="ltr">Hi Devs -- here are a few pubs from my research group that rely on LLVM; will you please add to the page:<div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px;box-sizing:border-box"><br></span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px;box-sizing:border-box"><a href="<a href="http://formalverification.cs.utah.edu/new/Publications.html#">http://formalverification.cs.utah.edu/new/Publications.html#</a></span><span style="color:rgb(26,26,166);font-family:monospace;font-size:medium;white-space:pre-wrap">peng_sc14"></span><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">Practical Symbolic Checking of GPU Programs</a></span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">Peng Li, Guodong Li, </span>Ganesh Gopalakrishnan</div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">Supercomputing</span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">November, 2014</span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px"><br></span></div><div><div><font color="#333333" face="sans-serif, arial, veranda"><span style="font-size:14px;line-height:20px"><a href="<a href="http://formalverification.cs.utah.edu/new/Publications.html#">http://formalverification.cs.utah.edu/new/Publications.html#</a></span></font><span style="color:rgb(26,26,166);font-family:monospace;font-size:medium;white-space:pre-wrap">peng_sc12"></span><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">GKLEE: Concolic Verification and Test Generation for GPUs</a></span></div><div><font color="#333333" face="sans-serif, arial, veranda"><span style="font-size:14px;line-height:20px">Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, S</span></font><span style="font-size:14px;line-height:20px;color:rgb(51,51,51);font-family:sans-serif,arial,veranda">reeranga P. Rajan</span></div><div><font color="#333333" face="sans-serif, arial, veranda"><span style="font-size:14px;line-height:20px">Principles and Practices of Parallel Programming (PPoPP)</span></font></div><div><font color="#333333" face="sans-serif, arial, veranda"><span style="font-size:14px;line-height:20px">February, 2012</span></font></div><div><font color="#333333" face="sans-serif, arial, veranda"><span style="font-size:14px;line-height:20px"><br></span></font></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px"><a href="</span><font color="#333333" face="sans-serif, arial, veranda"><span style="font-size:14px;line-height:20px"><a href="http://formalverification.cs.utah.edu/new/Publications.html#">http://formalverification.cs.utah.edu/new/Publications.html#</a></span></font><span style="color:rgb(26,26,166);font-family:monospace;font-size:medium;white-space:pre-wrap">vcsharma_hipc16"></span><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">PRESAGE: Protecting Structured Address Generation against Soft Errors</a></span></div><div>Vishal Chandra Sharma<span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">, </span>Ganesh Gopalakrishnan<span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">, Sriram Krishnamoorthy</span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">IEEE International Conference of High-Performance Computing, Data, and Analysis (HiPC)</span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">December, 2016</span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px"><br></span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px;box-sizing:border-box"><a href="<a href="http://formalverification.cs.utah.edu/new/Publications.html#">http://formalverification.cs.utah.edu/new/Publications.html#</a></span><span style="color:rgb(26,26,166);font-family:monospace;font-size:medium;white-space:pre-wrap">dpdns16vulfi"></span><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px;box-sizing:border-box">Towards Resiliency Evaluation of Vector Programs</a></span></div><div>Vishal Chandra Sharma<span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">, </span>Ganesh Gopalakrishnan<span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">, Sriram Krishnamoorthy</span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">21st IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS)</span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">May, 2016</span></div></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px"><br></span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">Many thanks --</span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px"><br></span></div><div><span style="color:rgb(51,51,51);font-family:sans-serif,arial,veranda;font-size:14px;line-height:20px">Geof Sawaya</span></div><div><font color="#333333" face="sans-serif, arial, veranda"><span style="font-size:14px;line-height:20px"><a href="http://formalverification.cs.utah.edu/">http://formalverification.cs.utah.edu/</a></span></font><br></div></div>