Displaying 2 results from an estimated 2 matches for "gototheboard".
2012 Nov 04
2
[LLVMdev] Volunteers needed to moderate sessions and staff registration desk!
...#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 Descriptio...
2012 Nov 06
0
[LLVMdev] Volunteers needed to moderate sessions and staff registration desk!
...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 f...