Tanya Lattner
2012-Nov-04 19:05 UTC
[LLVMdev] Volunteers needed to moderate sessions and staff registration desk!
Hello, I am in need of moderators to help moderate each session. If you are interested, please respond to this mail and indicate which slot you can moderate. Its a long shot as you would miss talks, but if anyone wants a break to do work or check email while also staffing the registration desk, please let me know if you can do it during any of the sessions below. Thanks! Options: Moderator #1 (9:15-10:45, Regency 2) LLVM and Clang on the Most Powerful Supercomputer in the World, Hal Finkel, Argonne National Laboratory The AArch64 backend: status and plans, Tim Northover, ARM Moderator #2 (11:15-12:45, Regency 2) MemorySanitizer, ThreadSanitizer. Scalable run-time detection of uninitialized memory reads and data races with LLVM instrumentation. Kostya Serebryany, Google Modules - Doug Gregor, Apple Moderator #3 (11:15-12:45, Regency 1) Verified LLVM: Formalizing the semantics of the LLVM Intermediate Representation for Verified Program Transformations- Santosh Nagarakatte, University of Pennsylvania/Rutgers University Integrated Security, using LLVM for Dynamic and Static Security Tasks- Jared Carlson, GoToTheBoard Moderator #4 (2:00-3:30, Regency 2) How good are Clang's diagnostics, anyway? - Matt Beaumont-Gay, Google Shevlin Park: A C++ AMP implementation in Clang/LLVM using OpenCL - Dillon Sharlet, Intel Moderator #5 (2-3:30, Regency 1) TBAA in LLVM - Dan Gohman, Google Generating Hardware Description with the Target-Independent Code Generator - Hongbin Zheng, Sun Yat-sen University Moderator #6 (4:30-5:15, Regency 2): Zero-Cost Abstractions and Future Directions for Modern Optimizing Compilers - Chandler Carruth, Google Moderator #7 (4:30-6:00, Regency 1): Building a Checker in 24 hours - Anna Zaks, Apple Lightning Talks Thanks, Tanya -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121104/6edfa35c/attachment.html>
Tanya Lattner
2012-Nov-06 20:49 UTC
[LLVMdev] Volunteers needed to moderate sessions and staff registration desk!
I'm still in need for moderators for the following sessions:> Moderator #3 (11:15-12:45, Regency 1) > Verified LLVM: Formalizing the semantics of the LLVM Intermediate Representation for Verified Program Transformations- Santosh Nagarakatte, University of Pennsylvania/Rutgers University > Integrated Security, using LLVM for Dynamic and Static Security Tasks- Jared Carlson, GoToTheBoard> Moderator #5 (2-3:30, Regency 1) > TBAA in LLVM - Dan Gohman, Google > Generating Hardware Description with the Target-Independent Code Generator - Hongbin Zheng, Sun Yat-sen UniversityI also need some more volunteers for the registration desk. This is actually a great opportunity for you to meet people! So if you can do it during any of the sessions, please let me know. While we get company sponsorship, the LLVM conference is run by volunteers (including myself) and I really appreciate all that volunteer your time. Thank you! Thanks, Tanya On Nov 4, 2012, at 11:05 AM, Tanya Lattner wrote:> Hello, > > I am in need of moderators to help moderate each session. If you are interested, please respond to this mail and indicate which slot you can moderate. > > Its a long shot as you would miss talks, but if anyone wants a break to do work or check email while also staffing the registration desk, please let me know if you can do it during any of the sessions below. Thanks! > > Options: > > Moderator #1 (9:15-10:45, Regency 2) > LLVM and Clang on the Most Powerful Supercomputer in the World, Hal Finkel, Argonne National Laboratory > The AArch64 backend: status and plans, Tim Northover, ARM > > Moderator #2 (11:15-12:45, Regency 2) > MemorySanitizer, ThreadSanitizer. Scalable run-time detection of uninitialized memory reads and data races with LLVM instrumentation. > Kostya Serebryany, Google > Modules - Doug Gregor, Apple > > Moderator #3 (11:15-12:45, Regency 1) > Verified LLVM: Formalizing the semantics of the LLVM Intermediate Representation for Verified Program Transformations- Santosh Nagarakatte, University of Pennsylvania/Rutgers University > Integrated Security, using LLVM for Dynamic and Static Security Tasks- Jared Carlson, GoToTheBoard > > Moderator #4 (2:00-3:30, Regency 2) > How good are Clang's diagnostics, anyway? - Matt Beaumont-Gay, Google > Shevlin Park: A C++ AMP implementation in Clang/LLVM using OpenCL - Dillon Sharlet, Intel > > Moderator #5 (2-3:30, Regency 1) > TBAA in LLVM - Dan Gohman, Google > Generating Hardware Description with the Target-Independent Code Generator - Hongbin Zheng, Sun Yat-sen University > > Moderator #6 (4:30-5:15, Regency 2): > Zero-Cost Abstractions and Future Directions for Modern Optimizing Compilers - Chandler Carruth, Google > > Moderator #7 (4:30-6:00, Regency 1): > Building a Checker in 24 hours - Anna Zaks, Apple > Lightning Talks > > Thanks, > Tanya >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121106/9b898024/attachment.html>
Tanya Lattner
2012-Nov-06 22:18 UTC
[LLVMdev] Volunteers needed to moderate sessions and staff registration desk!
Thank you! I have enough moderators now, but still looking for registration desk volunteers :) -Tanya On Nov 6, 2012, at 12:49 PM, Tanya Lattner <tonic at nondot.org> wrote:> I'm still in need for moderators for the following sessions: > > >> Moderator #3 (11:15-12:45, Regency 1) >> Verified LLVM: Formalizing the semantics of the LLVM Intermediate Representation for Verified Program Transformations- Santosh Nagarakatte, University of Pennsylvania/Rutgers University >> Integrated Security, using LLVM for Dynamic and Static Security Tasks- Jared Carlson, GoToTheBoard > >> Moderator #5 (2-3:30, Regency 1) >> TBAA in LLVM - Dan Gohman, Google >> Generating Hardware Description with the Target-Independent Code Generator - Hongbin Zheng, Sun Yat-sen University > > > > I also need some more volunteers for the registration desk. This is actually a great opportunity for you to meet people! So if you can do it during any of the sessions, please let me know. > > While we get company sponsorship, the LLVM conference is run by volunteers (including myself) and I really appreciate all that volunteer your time. Thank you! > > Thanks, > Tanya > > > On Nov 4, 2012, at 11:05 AM, Tanya Lattner wrote: > >> Hello, >> >> I am in need of moderators to help moderate each session. If you are interested, please respond to this mail and indicate which slot you can moderate. >> >> Its a long shot as you would miss talks, but if anyone wants a break to do work or check email while also staffing the registration desk, please let me know if you can do it during any of the sessions below. Thanks! >> >> Options: >> >> Moderator #1 (9:15-10:45, Regency 2) >> LLVM and Clang on the Most Powerful Supercomputer in the World, Hal Finkel, Argonne National Laboratory >> The AArch64 backend: status and plans, Tim Northover, ARM >> >> Moderator #2 (11:15-12:45, Regency 2) >> MemorySanitizer, ThreadSanitizer. Scalable run-time detection of uninitialized memory reads and data races with LLVM instrumentation. >> Kostya Serebryany, Google >> Modules - Doug Gregor, Apple >> >> Moderator #3 (11:15-12:45, Regency 1) >> Verified LLVM: Formalizing the semantics of the LLVM Intermediate Representation for Verified Program Transformations- Santosh Nagarakatte, University of Pennsylvania/Rutgers University >> Integrated Security, using LLVM for Dynamic and Static Security Tasks- Jared Carlson, GoToTheBoard >> >> Moderator #4 (2:00-3:30, Regency 2) >> How good are Clang's diagnostics, anyway? - Matt Beaumont-Gay, Google >> Shevlin Park: A C++ AMP implementation in Clang/LLVM using OpenCL - Dillon Sharlet, Intel >> >> Moderator #5 (2-3:30, Regency 1) >> TBAA in LLVM - Dan Gohman, Google >> Generating Hardware Description with the Target-Independent Code Generator - Hongbin Zheng, Sun Yat-sen University >> >> Moderator #6 (4:30-5:15, Regency 2): >> Zero-Cost Abstractions and Future Directions for Modern Optimizing Compilers - Chandler Carruth, Google >> >> Moderator #7 (4:30-6:00, Regency 1): >> Building a Checker in 24 hours - Anna Zaks, Apple >> Lightning Talks >> >> Thanks, >> Tanya >> >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121106/eb22f667/attachment.html>