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