similar to: [LLVMdev] Volunteers needed to moderate sessions and staff registration desk!

Displaying 20 results from an estimated 2000 matches similar to: "[LLVMdev] Volunteers needed to moderate sessions and staff registration desk!"

2012 Nov 06
0
[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,
2011 Apr 21
1
KVM Forum 2011: Call For Participation
================================================================= KVM Forum 2011: Call For Participation August 15-16, 2011 - Hyatt Regency Vancouver - Vancouver, Canada ================================================================= KVM is an industry leading open source hypervisor that provides an ideal platform for datacenter virtualization, virtual desktop infrastructure, and cloud
2011 Apr 21
1
KVM Forum 2011: Call For Participation
================================================================= KVM Forum 2011: Call For Participation August 15-16, 2011 - Hyatt Regency Vancouver - Vancouver, Canada ================================================================= KVM is an industry leading open source hypervisor that provides an ideal platform for datacenter virtualization, virtual desktop infrastructure, and cloud
2006 Oct 13
2
IP addressing migration
Hi, I am changing the IP addressing in my centOS server which works as mail server. The question I have is, if I define the new IP addresses (sub-interfaces) on the server, can I work with both ranges at the same time despite I have only one default gateway configured? (on the old range) Or may I have two default gateways in centOS? --Ivan.
2016 Aug 29
2
Publication
Hi, Can you add the following two publications from our group to the LLVM publications page. - *Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM [pdf] <http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf> *David Menendez, Santosh Nagarakatte, and Aarti Gupta *To Appear in the Proceedings of the 23rd Static Analysis
2011 Aug 22
4
[LLVMdev] LLVM Concurrency and Undef
Hi all, I have been trying to understand the use of undef in both sequential and concurrent programs. >From the LLVM Language Reference Manual, I see the following definition of undef. "Undef can be used anywhere a constant is expected, and indicates that the user of the value may receive an unspecified bit-pattern". LLVM Language Reference manual also demonstrates how optimizers
2011 Aug 12
1
current.panel.limits() of lattice returning NaN limits - why?
Hi, I need a custom axis function for a plot, but it seems that current.panel.limits() sometimes returns NaN limits for the plot, which it much harder to calculate anything sensible. An illustration: Given this axis function: vs.axis <- function(...){ xlim <- current.panel.limits()$xlim ylim <- current.panel.limits()$ylim # Debug code print(list(ylim=ylim,xlim=xlim))
2001 Aug 30
1
How to get ``nn%'' in axis values
I would like to make the print format of the axis value labels appear as ``nn%'' instead of just the numbers. Is there a way to do this? Also, the x axis value labels on my horizontal barplot are rotated 90 degrees (perpendicular to the axis) no matter what I do. I tried las=1 but that didn't work. Is this doable? Thanks. $platform [1] "i686-pc-linux-gnu" $arch [1]
2012 Sep 07
0
eScience 2012 Program now available
The Conference Program for the 8th IEEE International Conference on eScience (eScience 2012) is now available at http://www.ci.uchicago.edu/escience2012/. All eScience conference and workshops will be held at the Hyatt Regency Chicago. We have reserved a block of rooms at the hotel with a room rate of $205 per night + tax. Please make your reservations before September 16 at
2012 Sep 07
0
eScience 2012 Program now available
The Conference Program for the 8th IEEE International Conference on eScience (eScience 2012) is now available at http://www.ci.uchicago.edu/escience2012/. All eScience conference and workshops will be held at the Hyatt Regency Chicago. We have reserved a block of rooms at the hotel with a room rate of $205 per night + tax. Please make your reservations before September 16 at
2011 Aug 22
3
[LLVMdev] LLVM Concurrency and Undef
On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: > On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte > <santosh.nagarakatte at gmail.com> wrote: >> Hi all, >> >> I have been trying to understand the use of undef in both sequential >> and concurrent programs. >> >> >From the LLVM Language Reference Manual, I
2013 Apr 14
2
[LLVMdev] C++AMP -> OpenCL (NVPTX) prototype
After reading about Intel's 'Shevlin Park' project to implement C++AMP in llvm/clang, and failing to find any code for it, I decided to try to implement something similar. I did it as an excuse to explore and hack on llvm/clang, which I hadn't done before, but it's now at the point where it will run the simplest matrix multiplication sample from MSDN, so I thought I might
2011 Aug 23
1
[LLVMdev] LLVM Concurrency and Undef
On Mon, Aug 22, 2011 at 8:46 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >> <santosh.nagarakatte at gmail.com> wrote: >>> Hi all, >>> >>> I have been trying to understand the use of undef in
2011 Nov 16
2
[LLVMdev] Dev Meeting: Volunteer Moderators Needed!
We are in desperate need of volunteers to moderate the sessions during the LLVM Developers Meeting. If you are attending and can act as moderator for a group of talks, please let us know. We need 5 more volunteers to moderate the following sessions. Please note your first choice session to moderate and your second choice: Session #1 (11:05-12:35): Integrating LLVM into FreeBSD: Brooks Davis –
2011 Aug 22
0
[LLVMdev] LLVM Concurrency and Undef
On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >> <santosh.nagarakatte at gmail.com> wrote: >>> Hi all, >>> >>> I have been trying to understand the use of undef in
2011 Aug 22
0
[LLVMdev] LLVM Concurrency and Undef
On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte <santosh.nagarakatte at gmail.com> wrote: > Hi all, > > I have been trying to understand the use of undef in both sequential > and concurrent programs. > > >From the LLVM Language Reference Manual, I see the following > definition of undef. > "Undef can be used anywhere a constant is expected, and indicates
2013 Dec 02
1
[LLVMdev] Are 7th LLVM Developer meeting's PPTs available?
Hi, everyone: The 7th LLVM developer meeting was held at November 6-7, 2013. I can't find more infos other than abstract. Any help? Thanks. Regards, maxs
2011 Aug 22
2
[LLVMdev] LLVM Concurrency and Undef
On Mon, Aug 22, 2011 at 3:49 PM, Eli Friedman <eli.friedman at gmail.com> wrote: > On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: >> On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >>> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >>> <santosh.nagarakatte at gmail.com>
2013 Jun 25
1
[LLVMdev] Publication
LLVM developers, Can you add the following paper to the publication list? "Formal Verification of SSA Optimizations for LLVM" Jianzhou Zhao, Santosh Nagarakatte, Milo M K Martin and Steve Zdancewic Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2013 link to ACM DL:
2018 May 08
1
Proposed speedup of ifelse
Hugh, (Note I speak for myself only and not for R-core) Thanks for looking into this. I think it's great to have community members that are interested in contributing to R and helping it continue to get better. And I think, and my local experiments bear out, that using anyNA as a fastpass condition does allow us to get a significant speedup over what's in there now. To do so, though, I