Skip to content

Commit c948659

Browse files
corrections-to-index.md-and-events.yml
1 parent a7e3cb3 commit c948659

File tree

13 files changed

+571
-18
lines changed

13 files changed

+571
-18
lines changed

content/_index.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ static and dynamic compilation of arbitrary programming languages. Since then,
1212
LLVM has grown to be an umbrella project consisting of a number of subprojects,
1313
many of which are being used in production by a wide variety of commercial and
1414
open source projects as well as being widely used in academic research. Code in
15-
the LLVM project is licensed under the "Apache 2.0 License with LLVM exceptions.
15+
the LLVM project is licensed under the "Apache 2.0 License with LLVM exceptions".
1616

1717
{{<subprojects>}}
1818

content/devmtg/2011-11.md

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
---
2+
title: "2011 LLVM Developers' Meeting"
3+
description: ""
4+
date: 2011-11-18T19:45:19+05:30
5+
toc: true
6+
tags: []
7+
draft: false
8+
---
9+
10+
{{< event_data "2011-11" >}}
11+
12+
## About
13+
14+
**Sponsored by [QuIC](http://www.qualcomm.com/quicinc/), [Apple](http://apple.com/), and [Google](http://www.google.com/)**
15+
16+
We are eager to find companies to help cover travel expenses for speakers needing assistance. If your company is interested, please contact [dkipping@qualcomm.com](dkipping@qualcomm.com).
17+
18+
The meeting serves as a forum for [LLVM](http://llvm.org/), [Clang](http://clang.llvm.org/), [LLDB](http://lldb.llvm.org/), and other LLVM project developers and users to get acquainted, learn how LLVM is used, and exchange ideas about LLVM and its potential applications. More broadly, we believe the event will be of particular interest to the following people:
19+
20+
- Active developers of projects in the LLVM Umbrella (LLVM core, Clang, LLDB, libc++, compiler_rt, klee, dragonegg, etc).
21+
- Anyone interested in using these as part of another project.
22+
- Compiler, programming language, and runtime enthusiasts.
23+
- Those interested in using compiler and toolchain technology in novel and interesting ways.
24+
25+
We also invite you to sign up for the [official Developer Meeting mailing list](http://lists.llvm.org/mailman/listinfo/llvm-devmeeting) to be kept informed of updates concerning the meeting.
26+
27+
## Proceedings
28+
29+
### Talk Abstracts
30+
31+
{{< event_talks
32+
"devmtg/2011-11/talk_abstracts"
33+
"talk_abstracts"
34+
>}}
35+
36+
### Poster Abstracts
37+
38+
{{< event_talks
39+
"devmtg/2011-11/poster_abstracts"
40+
"poster_abstracts"
41+
>}}

content/devmtg/2012-04.md

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
---
2+
title: "2012 European Conference"
3+
description: ""
4+
date: 2012-04-12T19:45:19+05:30
5+
toc: true
6+
tags: []
7+
draft: false
8+
---
9+
10+
{{< event_data "2012-04" >}}
11+
12+
## About
13+
14+
**What**: The second European meeting, the first full conference.
15+
**Why:** To get acquainted, learn how LLVM is used, and exchange ideas.
16+
17+
Sponsored By [ARM Ltd.](http://www.arm.com/), [QuIC](http://www.qualcomm.com/quicinc/), [Google](http://www.google.com/)
18+
19+
**Announcements**
20+
21+
- Thanks for making this such a successful event!
22+
23+
## Presentations
24+
25+
{{< event_talks
26+
"devmtg/2012-04/presentations"
27+
"presentations"
28+
>}}
29+
30+
## Workshops
31+
32+
{{< event_talks
33+
"devmtg/2012-04/workshops"
34+
"workshops"
35+
>}}
36+
37+
## Schedule
38+
39+
- The schedule is available [here](https://llvm.org/devmtg/2012-04-12/schedule.pdf).

content/devmtg/2012-11.md

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
---
2+
title: "2012 LLVM Developers' Meeting"
3+
description: ""
4+
date: 2012-11-07T19:45:19+05:30
5+
toc: true
6+
tags: []
7+
draft: false
8+
---
9+
10+
{{< event_data "2012-11" >}}
11+
12+
## About
13+
14+
**Sponsored by [Apple](http://apple.com/), [QuIC](http://www.qualcomm.com/quicinc/), [Google](http://www.google.com/), [Intel](http://intel.com/)**
15+
16+
The meeting served as a forum for [LLVM](http://llvm.org/), [Clang](http://clang.llvm.org/), [LLDB](http://lldb.llvm.org/), and other LLVM project developers and users to get acquainted, learn how LLVM is used, and exchange ideas about LLVM and its potential applications. More broadly, we believe the event will be of particular interest to the following people:
17+
18+
- Active developers of projects in the LLVM Umbrella (LLVM core, Clang, LLDB, libc++, compiler_rt, klee, dragonegg, etc).
19+
- Anyone interested in using these as part of another project.
20+
- Compiler, programming language, and runtime enthusiasts.
21+
- Those interested in using compiler and toolchain technology in novel and interesting ways.
22+
23+
We also invite you to sign up for the [official Developer Meeting mailing list](http://lists.llvm.org/mailman/listinfo/llvm-devmeeting) to be kept informed of updates concerning the meeting.
24+
25+
## Proceedings
26+
27+
### Presentations
28+
29+
{{< event_talks
30+
"devmtg/2012-11/presentations_posters"
31+
"presentations_posters"
32+
>}}
33+
34+
### Lightning Talks
35+
36+
{{< event_talks
37+
"devmtg/2012-11/lightning_talks"
38+
"lightning_talks"
39+
>}}
40+
41+
### BOFs
42+
43+
{{< event_talks
44+
"devmtg/2012-11/bofs"
45+
"bofs"
46+
>}}
47+
48+
### Posters
49+
50+
{{< event_talks
51+
"devmtg/2012-11/posters"
52+
"posters"
53+
>}}
Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
poster_abstracts:
2+
- title: "Parfait - A Scalable Static Bug-Checking Tool Built on LLVM"
3+
speaker: "Cristina Cifuentes, Nathan Keynes, Andrew Craik, Lian Li, Nathan Hawes, Andrew Browne, Manuel Valdiviezo (Oracle Labs)"
4+
slides_url: ""
5+
video_url: ""
6+
description: "Parfait is a static bug-checking tool for C/C++ applications built on the LLVM framework. Parfait achieves precision and scalability by using a layered program analysis framework. Different analyses of varying precision and runtime expense are invoked on demand to detect defects. Parfait has been deployed across multiple platforms including Oracle Solaris Studio on Solaris, Microsoft Visual C/C++ on Windows (excluding MFC headers), GCC on Linux, and Intel C/C++ Compiler on Linux. Despite processing millions of lines of code, the false-positive rate remains below 10%."
7+
8+
- title: "Code verification based on attributes annotation - Implementing custom attributes check using Clang"
9+
speaker: "Michael Han (Autodesk)"
10+
slides_url: ""
11+
video_url: ""
12+
description: "Introduces 'Hippocrates', a tool developed at Autodesk using Clang's attribute system to verify functions behave as designed. The talk focuses on the motivation, a high-level overview of Clang modifications, and results from applying the tool on large codebases like Autodesk Maya with millions of lines of C++ code."
13+
14+
- title: "LunarGLASS: A LLVM-based shader compiler stack"
15+
speaker: "Michael Ilseman (LunarG)"
16+
slides_url: ""
17+
video_url: ""
18+
description: "LunarGLASS is an LLVM-based shader compiler stack that splits the intermediate representation into two levels: a platform-independent top level and a bottom level dynamically tailored to different architectures. This approach improves shader portability and optimization across GPU architectures."
19+
20+
- title: "Symbolic Testing of OpenCL Code"
21+
speaker: "Peter Collingbourne (Imperial College London)"
22+
slides_url: ""
23+
video_url: ""
24+
description: "Research on verification of OpenCL kernels using symbolic execution. Implemented in KLEE-CL (based on KLEE/KLEE-FP), it models the OpenCL environment symbolically to detect mismatches, data races, and memory errors. Applied to the Parboil benchmark suite, Bullet physics library, and OP2 library, it found seven errors: three OpenCL/C mismatches, two memory errors, one OpenCL compiler bug, and one race condition."

0 commit comments

Comments
 (0)