thanks. That license seems fine.
geir
On Sep 24, 2006, at 4:08 PM, Naveen Neelakantam wrote:
I've opened a JIRA issue that contains a patch that points out the
possible bug:
patch for possible ABCD bug
---------------------------
Key: HARMONY-1564
URL: http://issues.apache.org/jira/browse/
HARMONY-1564
Project: Harmony
Issue Type: Bug
Components: DRLVM
Reporter: Naveen Neelakantam
Attachments: abcd.patch, BidirectionalBubbleSort.java
On Sep 24, 2006, at 12:34 PM, Geir Magnusson Jr. wrote:
On Sep 24, 2006, at 2:05 PM, Naveen Neelakantam wrote:
Hmm. I have seen the code generator of a VM that isn't open
source, but that was over a year ago. I don't really understand
the implications of that, other than I am not able to become an
"Authorized Harmony Contributor" without consent.
yes, that can be a problem. We can discuss here or in private -
whatever you'd prefer.
I'll email you to discuss it further.
In this case, I have never seen another implementation of ABCD
and my only prior exposure to the algorithm is Ras Bodik's PLDI
paper. Can I still point out bugs and discuss the implementation?
Yes.
Thanks,
Naveen
On Sep 24, 2006, at 6:16 AM, Geir Magnusson Jr. wrote:
Hi,
Welcome to Harmony, and thanks for looking into this.
Two things :
1) The patch didn't come through - we strip off certain types of
attachments. The best thing to do would be to enter a JIRA in
our bug-tracking system :
https://issues.apache.org/jira/browse/HARMONY
2) We have a process through which we ensure that our
contributors haven't been exposed to other implementations that
aren't available in open source, in an attempt to lower any risk
of accidental copyright infringment or worse. The process is
detailed here :
http://incubator.apache.org/harmony/contribution_policy.html
The key part of it is that you complete an Authorized
Contributor Questionairre :
http://incubator.apache.org/harmony/auth_cont_quest.html
The ideal solution is to fill it out, turn it into a PDF, and
then send that to me (geir at pobox dot com) or, less ideally :)
is fax to +1 203 665 6400.
Thanks again, welcome again,and sorry for the paperwork.
geir
On Sep 24, 2006, at 6:45 AM, Naveen Neelakantam wrote:
I've been reading through the ABCD implementation in jitrino,
and if I understand it correctly, I found a bug. I've attached
a patch to fix it. Someone who actually understands the code
should verify this.
Also, did anyone ever test this ABCD pass? I ask because I've
tried running it on a bidirectional bubble sort as mentioned in
the original paper. The paper mentions that the pass should be
able to prove all of the bounds checks in the sort method as
redundant/unnecessary. However, when I try running the abcd
pass on a bidirectional bubble sort (attached), none of the
bounds checks are eliminated.
Naveen
------------------------------------------------------------------
---
Terms of use : http://incubator.apache.org/harmony/mailing.html
To unsubscribe, e-mail: harmony-dev-
[EMAIL PROTECTED]
For additional commands, e-mail: harmony-dev-
[EMAIL PROTECTED]
-------------------------------------------------------------------
--
Terms of use : http://incubator.apache.org/harmony/mailing.html
To unsubscribe, e-mail: harmony-dev-
[EMAIL PROTECTED]
For additional commands, e-mail: harmony-dev-
[EMAIL PROTECTED]
--------------------------------------------------------------------
-
Terms of use : http://incubator.apache.org/harmony/mailing.html
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: harmony-dev-
[EMAIL PROTECTED]
---------------------------------------------------------------------
Terms of use : http://incubator.apache.org/harmony/mailing.html
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: harmony-dev-
[EMAIL PROTECTED]
---------------------------------------------------------------------
Terms of use : http://incubator.apache.org/harmony/mailing.html
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
---------------------------------------------------------------------
Terms of use : http://incubator.apache.org/harmony/mailing.html
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
