[www] r296987 - Multiple changes to EuroLLVM'17 page (2 in total, individual messages following)
Kevin Streit via llvm-commits
llvm-commits at lists.llvm.org
Sun Mar 5 05:48:32 PST 2017
Author: streit
Date: Sun Mar 5 07:48:31 2017
New Revision: 296987
URL: http://llvm.org/viewvc/llvm-project?rev=296987&view=rev
Log:
Multiple changes to EuroLLVM'17 page (2 in total, individual messages following)
Fix submission list according to author wishes
On behalf of Johannes Doerfert <johannes at jdoerfert.de> (Sun Mar 5 14:56:23 2017 +0100)
Remove cancled talk and add missing abstract
On behalf of Johannes Doerfert <johannes at jdoerfert.de> (Fri Mar 3 11:22:58 2017 +0100)
Modified:
www/trunk/devmtg/2017-03/2017/02/20/accepted-sessions.html
www/trunk/devmtg/2017-03/index.html
Modified: www/trunk/devmtg/2017-03/2017/02/20/accepted-sessions.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/devmtg/2017-03/2017/02/20/accepted-sessions.html?rev=296987&r1=296986&r2=296987&view=diff
==============================================================================
--- www/trunk/devmtg/2017-03/2017/02/20/accepted-sessions.html (original)
+++ www/trunk/devmtg/2017-03/2017/02/20/accepted-sessions.html Sun Mar 5 07:48:31 2017
@@ -228,7 +228,7 @@ LLVM is solidifying its foothold in high
Weak Memory Concurrency in C/C++11 and LLVM
</p>
<p class="abstract">
-TBA
+Which compiler optimizations are correct in a concurrent setting? How should C/C++11 atomics be compiled on architecture X? The answers to these questions are not unique, but depend very much on the concurrency model of the programming language and/or compiler. While such a model can act the golden standard and used to answer these questions, it is very challenging to define an appropriate concurrency model for almost any programming language. In this talk, I will focus on the C/C++11 concurrency model and the closely related LLVM model. I will discuss some of the serious flaws that we found in these models, ways of correcting them, and some remaining open problems.
</p>
</td>
</tr>
@@ -423,7 +423,7 @@ Bugfixing or new feature development req
<td>
<p class="title">
<a name="7"></a>
- Cross Translational Unit Analysis in Clang Static Analyzer: Prototype and measurements
+ Cross Translational Unit Analysis in Clang Static Analyzer: Prototype and Measurements
</p>
<p class="abstract">
Today Clang Static Analyzer [4] can perform (context-sensitive) interprocedural analysis for C,C++ and Objective C les by inlining the called function into the callers' context. This means that that the full calling context (assumptions about the values of function parameters, global variables) is passed when analyzing the called function and then the assumptions about the returned value is passed back to the caller. This works well for function calls within a translation unit (TU), but when the symbolic execution reaches a function that is implemented in another TU, the analyzer engine skips the analysis of the called function definition. In particular, assumptions about references and pointers passed as function parameters get invalidated, and the return value of the function will be unknown. Losing information this way may lead to false positive and false negative ndings. The cross translation unit (CTU) feature allows the analysis of called functions even if the definition of th
e function is external to the currently analyzed TU. This would allow detection of bugs in library functions stemming from incorrect usage (e.g. a library assumes that the user will free a memory block allocated by the library), and allows for more precise analysis of the caller in general if a TU external function is invoked (by not losing assumptions). We implemented (based on the prototype by A. Sidorin, et al. [2]) the Cross Translation Unit analysis feature for Clang SA (4.0) and evaluated its performance on various open source projects. In our presentation, we show that by using the CTU feature we found many new true positive reports and eliminated some false positives in real open source projects. We show that while the total analysis time increases by 2-3 times compared to the non-CTU analysis time, the execution remains scalable in the number of CPUs. We also point out how the analysis coverage changes that may lead to the loss of reports compared to the non-CTU baseline ve
rsion.
@@ -725,7 +725,7 @@ This talk presents Unison - a simple, fl
Jakub Kuderski
</p>
<p class="affiliation">
-
+ Poznan University of Technology
</p>
<p class="kind">
@@ -776,7 +776,7 @@ Would you step into a car if you knew th
SAP SE
</p>
<p class="author">
- Philipp Becker
+ Klaus Kretzschmar
</p>
<p class="affiliation">
SAP SE
@@ -797,7 +797,7 @@ In this presentation we would like to sh
</td>
</tr>
<tr class="separator" />
- <tr class="entry">
+ <tr class="entry_last">
<td>
<p class="author">
Bjarke Roune
@@ -881,30 +881,6 @@ We'll introduce XLA, a domain-specific o
</td>
</tr>
<tr class="separator" />
- <tr class="entry_last">
- <td>
- <p class="author">
- Dean Michael Berris
- </p>
- <p class="affiliation">
- Google, Inc.
- </p>
-
- <p class="kind">
- Technical Talk
- </p>
- </td>
- <td>
- <p class="title">
- <a name="21"></a>
- XRay in LLVM
- </p>
- <p class="abstract">
-Debugging high throughput, low-latency C/C++ systems in production is hard. At Google we developed XRay, a function call tracing system that allows Google engineers to get accurate function call traces with negligible overhead when off and moderate overhead when on, suitable for services deployed in production. XRay enables efficient function call entry/exit logging with high accuracy timestamps, and can be dynamically enabled and disabled. This talk is about the ongoing developments with XRay in the LLVM project, what you can do with it now, and what to look forward to as we continue working on XRay in the LLVM project.
- </p>
- </td>
- </tr>
- <tr class="separator" />
<tr>
<th colspan="2" class="kind">
Student Research Competition (SRC)
@@ -926,7 +902,7 @@ Student Research Competition (SRC)
</td>
<td>
<p class="title">
- <a name="22"></a>
+ <a name="21"></a>
Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault Attacks
</p>
<p class="abstract">
@@ -968,7 +944,7 @@ Fault injection attacks are considered a
</td>
<td>
<p class="title">
- <a name="23"></a>
+ <a name="22"></a>
Bringing Next Generation C++ to GPUs: The LLVM-based PACXX Approach
</p>
<p class="abstract">
@@ -1004,7 +980,7 @@ In this paper, we describe PACXX -- our
</td>
<td>
<p class="title">
- <a name="24"></a>
+ <a name="23"></a>
Data Reuse Analysis for Automated Synthesis of Custom Instructions in Sliding Window Applications
</p>
<p class="abstract">
@@ -1046,7 +1022,7 @@ The efficiency of accelerators supportin
</td>
<td>
<p class="title">
- <a name="25"></a>
+ <a name="24"></a>
ELF GOT Problems? CFI Can Help.
</p>
<p class="abstract">
@@ -1076,7 +1052,7 @@ Control-Flow Integrity (CFI) techniques
</td>
<td>
<p class="title">
- <a name="26"></a>
+ <a name="25"></a>
LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM
</p>
<p class="abstract">
@@ -1106,7 +1082,7 @@ Users depend on correct compiler optimiz
</td>
<td>
<p class="title">
- <a name="27"></a>
+ <a name="26"></a>
Software Prefetching for Indirect Memory Accesses
</p>
<p class="abstract">
@@ -1142,7 +1118,7 @@ Lightning Talks
</td>
<td>
<p class="title">
- <a name="28"></a>
+ <a name="27"></a>
ClrFreqPrinter: A Tool for Frequency Annotated Control Flow Graphs Generation
</p>
<p class="abstract">
@@ -1166,7 +1142,7 @@ Recent LLVM distributions have been offe
</td>
<td>
<p class="title">
- <a name="29"></a>
+ <a name="28"></a>
DIVA (Debug Information Visual Analyzer)
</p>
<p class="abstract">
@@ -1190,7 +1166,7 @@ In this lightning talk, Phillip will pre
</td>
<td>
<p class="title">
- <a name="30"></a>
+ <a name="29"></a>
Generalized API checkers for the Clang Static Analyzer
</p>
<p class="abstract">
@@ -1214,7 +1190,7 @@ I present three modified API checkers, t
</td>
<td>
<p class="title">
- <a name="31"></a>
+ <a name="30"></a>
LibreOffice loves LLVM
</p>
<p class="abstract">
@@ -1250,7 +1226,7 @@ LibreOffice (with its StarOffice/OpenOff
</td>
<td>
<p class="title">
- <a name="32"></a>
+ <a name="31"></a>
LLVM AMDGPU for High Performance Computing: are we competitive yet?
</p>
<p class="abstract">
@@ -1265,7 +1241,7 @@ LibreOffice (with its StarOffice/OpenOff
Jakub Kuderski
</p>
<p class="affiliation">
-
+ Poznan University of Technology
</p>
<p class="kind">
@@ -1274,7 +1250,7 @@ LibreOffice (with its StarOffice/OpenOff
</td>
<td>
<p class="title">
- <a name="33"></a>
+ <a name="32"></a>
Simple C++ reflection with a Clang plugin
</p>
<p class="abstract">
@@ -1304,7 +1280,7 @@ BoFs
</td>
<td>
<p class="title">
- <a name="34"></a>
+ <a name="33"></a>
Alternative Backend Design
</p>
<p class="abstract">
@@ -1328,7 +1304,7 @@ While LLVM has a modern mostly graph-bas
</td>
<td>
<p class="title">
- <a name="35"></a>
+ <a name="34"></a>
Clangd: A new Language Server Protocol implementation leveraging Clang
</p>
<p class="abstract">
@@ -1364,7 +1340,7 @@ Clangd is a new tool developed as part o
</td>
<td>
<p class="title">
- <a name="36"></a>
+ <a name="35"></a>
GlobalISel
</p>
<p class="abstract">
@@ -1388,7 +1364,7 @@ Global ISel is catching up, with stride
</td>
<td>
<p class="title">
- <a name="37"></a>
+ <a name="36"></a>
LLVM Foundation
</p>
<p class="abstract">
@@ -1418,7 +1394,7 @@ Posters
</td>
<td>
<p class="title">
- <a name="38"></a>
+ <a name="37"></a>
A Source-to-Source Vectorizer for the Connex SIMD Accelerator
</p>
<p class="abstract">
@@ -1448,7 +1424,7 @@ Posters
</td>
<td>
<p class="title">
- <a name="39"></a>
+ <a name="38"></a>
AnyDSL: A Compiler-Framework for Domain-Specific Libraries (DSLs)
</p>
<p class="abstract">
@@ -1472,7 +1448,7 @@ AnyDSL is a framework for the rapid deve
</td>
<td>
<p class="title">
- <a name="40"></a>
+ <a name="39"></a>
Binary Instrumentation of ELF Objects on ARM
</p>
<p class="abstract">
@@ -1514,7 +1490,7 @@ Often application source code is not ava
</td>
<td>
<p class="title">
- <a name="41"></a>
+ <a name="40"></a>
CodeCompass: An Open Software Comprehension Framework
</p>
<p class="abstract">
@@ -1544,7 +1520,7 @@ Bugfixing or new feature development req
</td>
<td>
<p class="title">
- <a name="42"></a>
+ <a name="41"></a>
Hydra LLVM: Instruction Selection with Threads
</p>
<p class="abstract">
@@ -1580,7 +1556,7 @@ By the rise of program complexity and so
</td>
<td>
<p class="title">
- <a name="43"></a>
+ <a name="42"></a>
Intelligent selection of compiler options to optimize compile time and performance
</p>
<p class="abstract">
@@ -1616,7 +1592,7 @@ The efficiency of the optimization proce
</td>
<td>
<p class="title">
- <a name="44"></a>
+ <a name="43"></a>
LLVM-based silent stores optimization to reduce energy consumption on STT-RAM cache memory
</p>
<p class="abstract">
@@ -1658,7 +1634,7 @@ For the last few decades, energy consump
</td>
<td>
<p class="title">
- <a name="45"></a>
+ <a name="44"></a>
Modeling Universal Instruction Selection
</p>
<p class="abstract">
@@ -1682,7 +1658,7 @@ Instruction selection implements a progr
</td>
<td>
<p class="title">
- <a name="46"></a>
+ <a name="45"></a>
Preparing LLVM for the Future of Supercomputing
</p>
<p class="abstract">
Modified: www/trunk/devmtg/2017-03/index.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/devmtg/2017-03/index.html?rev=296987&r1=296986&r2=296987&view=diff
==============================================================================
--- www/trunk/devmtg/2017-03/index.html (original)
+++ www/trunk/devmtg/2017-03/index.html Sun Mar 5 07:48:31 2017
@@ -253,6 +253,7 @@
</tr>
</thead>
<tbody>
+
<tr>
<td class="title">
LLVM for the future of Supercomputing - <i>Keynote</i> -
@@ -289,7 +290,7 @@
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#6">[more]</a>
</td>
<td class="title">
- Cross Translational Unit Analysis in Clang Static Analyzer: Prototype and measurements - <i>Technical Talk</i> -
+ Cross Translational Unit Analysis in Clang Static Analyzer: Prototype and Measurements - <i>Technical Talk</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#7">[more]</a>
</td>
</tr>
@@ -359,136 +360,129 @@
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#20">[more]</a>
</td>
<td class="title">
- XRay in LLVM - <i>Technical Talk</i> -
+ Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault Attacks - <i>SRC</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#21">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault Attacks - <i>SRC</i> -
+ Bringing Next Generation C++ to GPUs: The LLVM-based PACXX Approach - <i>SRC</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#22">[more]</a>
</td>
<td class="title">
- Bringing Next Generation C++ to GPUs: The LLVM-based PACXX Approach - <i>SRC</i> -
+ Data Reuse Analysis for Automated Synthesis of Custom Instructions in Sliding Window Applications - <i>SRC</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#23">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- Data Reuse Analysis for Automated Synthesis of Custom Instructions in Sliding Window Applications - <i>SRC</i> -
+ ELF GOT Problems? CFI Can Help. - <i>SRC</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#24">[more]</a>
</td>
<td class="title">
- ELF GOT Problems? CFI Can Help. - <i>SRC</i> -
+ LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM - <i>SRC</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#25">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM - <i>SRC</i> -
+ Software Prefetching for Indirect Memory Accesses - <i>SRC</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#26">[more]</a>
</td>
<td class="title">
- Software Prefetching for Indirect Memory Accesses - <i>SRC</i> -
+ ClrFreqPrinter: A Tool for Frequency Annotated Control Flow Graphs Generation - <i>Lightning Talk</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#27">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- ClrFreqPrinter: A Tool for Frequency Annotated Control Flow Graphs Generation - <i>Lightning Talk</i> -
+ DIVA (Debug Information Visual Analyzer) - <i>Lightning Talk</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#28">[more]</a>
</td>
<td class="title">
- DIVA (Debug Information Visual Analyzer) - <i>Lightning Talk</i> -
+ Generalized API checkers for the Clang Static Analyzer - <i>Lightning Talk</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#29">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- Generalized API checkers for the Clang Static Analyzer - <i>Lightning Talk</i> -
+ LibreOffice loves LLVM - <i>Lightning Talk</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#30">[more]</a>
</td>
<td class="title">
- LibreOffice loves LLVM - <i>Lightning Talk</i> -
+ LLVM AMDGPU for High Performance Computing: are we competitive yet? - <i>Lightning Talk</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#31">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- LLVM AMDGPU for High Performance Computing: are we competitive yet? - <i>Lightning Talk</i> -
+ Simple C++ reflection with a Clang plugin - <i>Lightning Talk</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#32">[more]</a>
</td>
<td class="title">
- Simple C++ reflection with a Clang plugin - <i>Lightning Talk</i> -
+ Alternative Backend Design - <i>BoF</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#33">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- Alternative Backend Design - <i>BoF</i> -
+ Clangd: A new Language Server Protocol implementation leveraging Clang - <i>BoF</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#34">[more]</a>
</td>
<td class="title">
- Clangd: A new Language Server Protocol implementation leveraging Clang - <i>BoF</i> -
+ GlobalISel - <i>BoF</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#35">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- GlobalISel - <i>BoF</i> -
+ LLVM Foundation - <i>BoF</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#36">[more]</a>
</td>
<td class="title">
- LLVM Foundation - <i>BoF</i> -
+ A Source-to-Source Vectorizer for the Connex SIMD Accelerator - <i>Poster</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#37">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- A Source-to-Source Vectorizer for the Connex SIMD Accelerator - <i>Poster</i> -
+ AnyDSL: A Compiler-Framework for Domain-Specific Libraries (DSLs) - <i>Poster</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#38">[more]</a>
</td>
<td class="title">
- AnyDSL: A Compiler-Framework for Domain-Specific Libraries (DSLs) - <i>Poster</i> -
+ Binary Instrumentation of ELF Objects on ARM - <i>Poster</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#39">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- Binary Instrumentation of ELF Objects on ARM - <i>Poster</i> -
+ CodeCompass: An Open Software Comprehension Framework - <i>Poster</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#40">[more]</a>
</td>
<td class="title">
- CodeCompass: An Open Software Comprehension Framework - <i>Poster</i> -
+ Hydra LLVM: Instruction Selection with Threads - <i>Poster</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#41">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- Hydra LLVM: Instruction Selection with Threads - <i>Poster</i> -
+ Intelligent selection of compiler options to optimize compile time and performance - <i>Poster</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#42">[more]</a>
</td>
<td class="title">
- Intelligent selection of compiler options to optimize compile time and performance - <i>Poster</i> -
+ LLVM-based silent stores optimization to reduce energy consumption on STT-RAM cache memory - <i>Poster</i> -
<a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#43">[more]</a>
</td>
</tr>
<tr>
<td class="title">
- LLVM-based silent stores optimization to reduce energy consumption on STT-RAM cache memory - <i>Poster</i> -
- <a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#44">[more]</a>
- </td>
- <td class="title">
Modeling Universal Instruction Selection - <i>Poster</i> -
- <a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#45">[more]</a>
+ <a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#44">[more]</a>
</td>
- </tr>
- <tr>
<td class="title">
Preparing LLVM for the Future of Supercomputing - <i>Poster</i> -
- <a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#46">[more]</a>
+ <a href="http://llvm.org/devmtg/2017-03//2017/02/20/accepted-sessions.html#45">[more]</a>
</td>
-<td></td>
</tr>
</tbody>
</table>
More information about the llvm-commits
mailing list