[llvm-commits] [www] r146058 - /www/trunk/devmtg/2011-11/index.html

[Tanya Lattner]

Author: tbrethou
Date: Wed Dec  7 14:07:50 2011
New Revision: 146058

URL: http://llvm.org/viewvc/llvm-project?rev=146058&view=rev
Log:
Remove outdated information.

Modified:
    www/trunk/devmtg/2011-11/index.html

Modified: www/trunk/devmtg/2011-11/index.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/devmtg/2011-11/index.html?rev=146058&r1=146057&r2=146058&view=diff
==============================================================================
--- www/trunk/devmtg/2011-11/index.html (original)
+++ www/trunk/devmtg/2011-11/index.html Wed Dec  7 14:07:50 2011
@@ -4,14 +4,9 @@
 <table>
 	<tr><td valign="top">
 <ol>
-        <li><a href="#registration">Registration</a></li>
-        <li><a href="#sponsor">Funding Assistance</a></li>
-        <li><a href="#location">Location</a></li>
-        <li><a href="#hacking">Hacking Session</a></li>
 	<li><a href="#agenda">Agenda</a></li>
         <li><a href="#abstracts">Talk Abstracts</a></li>
         <li><a href="#poster">Poster Abstracts</a></li>
-        <li><a href="#dinner">Dinner</a></li>
 </ol>
 </td><td>
 <ul>
@@ -45,48 +40,10 @@
 <p>
 We also invite you to sign up for the <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-devmeeting">official Developer Meeting mailing list</a> to be kept informed of updates concerning the meeting.
 </p>
-<div class="www_sectiontitle" id="registration">Registration</div>
-
-<p>
-Registration for the 2011 LLVM Developer Meeting is now filled, but to be added to the waitlist please register at the link below. Note you will a confirmation mail if a space frees up:
-<br>
-	<a href="http://qcsurvey.qualcomm.com/survey.asp?pub=y&survey_id=7125">http:// qcsurvey.qualcomm.com/survey.asp?pub=y&survey_id=7125</a>
-</p>
-<p>
-The attendance limit has been increased to 225 this year, but with the growing interest in LLVM, registration has filled up quickly.
-</p><p>
-Please register if you are fairly certain that you will attend; but if you later find out that you are unable to attend, please mail arlenr at qualcomm.com as soon as you know so that we can let someone who is on the waitlist attend. 
-</p>
-
-<div class="www_sectiontitle" id="sponsor">Funding Assistance</div>
-
-<p>In prior years companies have come forth to sponsor speakers, students, and active contributors in need of travel assistance and likely will do so again. If you need assistance, please submit your requst <a href="http://llvm.org/devmtg/sponsor.php">here</a>. Note, those that receive funding maybe required to present at the meeting and may have additional requirements from their sponsor (i.e. writing a blog post, etc).
 </p> 
 
-<div class="www_sectiontitle" id="registration">Location</div>
-<p>The LLVM Developers' Meeting is held at the San Jose Marriott.</p>
-
-<p><a href="http://www.marriott.com/hotels/travel/sjcsj-san-jose-marriott/">San Jose Marriott</a><br> 
-301 South Market Street <br>
-San Jose, CA 95113<br>
-</p>
-
-<p>A block of rooms have been reserved for attendees of this year's Developer Meeting at a special rate of $179. Room reservations can be made at <a href="http://resweb.passkey.com/go/LLVM">http://resweb.passkey.com/go/LLVM</a></p>
-
-<p>
-<b>Directions From San Jose Airport</b><br>
-Take Hwy CA-87 South (Guadalupe Parkway). Exit on Park Avenue. Turn left on Park Avenue. Turn right on Market Street. The hotel is one block ahead, on the corner of Market and San Carlos Street.
-</p>
-
-<div class="www_sectiontitle" id="hacking">Hacking Session</div>
-<p>
-There will be a hacking session the day before the Developer Meeting. This hacking session will run from 2:00 till late. Refreshments and networking provided. Bring your code and laptop. If people are flying in the night before for the Dev Meeting, or available after work, let them know and have them join us.</p>
-<p>
-San Jose Marriott
-Room 2500
-</p>
-
 <div class="www_sectiontitle" id="agenda">Agenda</div>
+
 <p>
 <table id="devmtg">
 <tr><th>Time</th><th>Talk</th><th>Location</th></tr>
@@ -296,18 +253,6 @@
 The poster will describe our research on the subject of verification of OpenCL kernels using symbolic execution. We present an effective technique for crosschecking a C program against an accelerated OpenCL version, as well as a technique for detecting data races in OpenCL programs. Our techniques are implemented in KLEE-CL, a symbolic execution engine based on KLEE and KLEE-FP that supports symbolic reasoning on the equivalence between symbolic values. Our approach is to symbolically model the OpenCL environment using an OpenCL runtime library targeted to symbolic execution. Using this model we are able to run OpenCL programs symbolically, keeping track of memory accesses for the purpose of race detection. We then compare the symbolic result against the plain C program in order to detect mismatches between the two versions. We applied KLEE-CL to the Parboil benchmark suite, the Bullet physics library and the OP2 library, in which we were able to find a total of seven errors
 : three mismatches between the OpenCL and C implementations, two memory errors, one OpenCL compiler bug and one race condition.
 </p>
 
-<div class="www_sectiontitle" id="dinner">Dinner</div>
-<p>Dinner attendance is capped at 140 and you must select this option during the registration process in order to attend.</p>
-<p>Dinner will be held after the meeting from 6:30-9:30. Dinner will be held at Il Fornaio which is across the street from the Marriott.
-</p>
-
-<p>
-<a href="http://www.ilfornaio.com/?page=138&restaurant_id=3156">Il Fornaio</a><br>
-302 South Market Street<br>
-(at the Sainte Claire)<br>
-San Jose, CA 95113 <br>
-</p>
-
 <!-- *********************************************************************** -->
 <hr>
 <address>