[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
Log:
Add more authors
Modified:
www/trunk/devmtg/2019-04/talks.html
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