[www] r353929 - Add more authors

Anton Korobeynikov via llvm-commits llvm-commits at lists.llvm.org
Wed Feb 13 01:34:12 PST 2019

Author: asl
Date: Wed Feb 13 01:34:12 2019
New Revision: 353929

URL: http://llvm.org/viewvc/llvm-project?rev=353929&view=rev
Add more authors


Modified: www/trunk/devmtg/2019-04/talks.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/devmtg/2019-04/talks.html?rev=353929&r1=353928&r2=353929&view=diff
--- www/trunk/devmtg/2019-04/talks.html (original)
+++ www/trunk/devmtg/2019-04/talks.html Wed Feb 13 01:34:12 2019
@@ -449,7 +449,7 @@ compatible to the original 32b applicati
 <tr><td valign="top" id="Talk_22">
 <b>LLVM Numerics Improvements</b><br>
-<i>Michael Berg (Apple), Jean-Luc Duprat (Apple)</i>
+<i>Michael Berg (Apple), Steve Canon (Apple), Jean-Luc Duprat (Apple)</i>
 <p>Some LLVM based compilers currently provide two modes of floating point code
 generation. The first mode, called fast-math, is where performance is the
 primary consideration over numerical precision and accuracy. This mode does not
@@ -1280,7 +1280,8 @@ be managed.</p>
 <tr><td valign="top" id="Poster_7">
 <b>Enabling Multi- and Cross-Language Verification with LLVM</b><br>
-<i>Zvonimir Rakamaric (University of Utah)</i>
+<i>Jack J. Garzella (University of Utah), Marek Baranowski (University of Utah),
+Shaobo He (University of Utah), Zvonimir Rakamaric (University of Utah)</i>
 <p>Developers nowadays regularly use numerous programming languages with
 different characteristics and trade-offs. Unfortunately, implementing a
 software verifier for a new language from scratch is a large and tedious

More information about the llvm-commits mailing list