Hello,
the 2nd version of the article [1] accompanying this issue [2] and issue
[3] has been kindly and thoroughly reviewed by the following renowned
world-class researchers:
* Guy Steele Jr [4], Oracle Labs
* Paul Zimmermann [5], INRIA
* Jean-Michel Muller [6], Ecole Normale Supérieure de Lyon
Thanks to the improvements contributed by these fine reviewers, the
newest 4th version [7] is now in "preview" form, the intent being to
publish it on a more permanent platform (academic journal or similar).
In addition, they also suggested and provided new hard tests which are
included in the PR [8].
I hope this will help in progressing both the CSR and the PR.
Greetings
Raffaello
[1] https://drive.google.com/file/d/1luHhyQF9zKlM8yJ1nebU0OgVYhfC6CBN
[2] https://bugs.openjdk.java.net/browse/JDK-8202555
[3] https://bugs.openjdk.java.net/browse/JDK-4511638
[4] https://labs.oracle.com/pls/apex/f?p=labs%3Abio%3A0%3A120
[5] https://members.loria.fr/PZimmermann/
[6] https://perso.ens-lyon.fr/jean-michel.muller/
[7] https://drive.google.com/file/d/1IEeATSVnEE6TkrHlCYNY2GjaraBjOT4f
[8] https://github.com/openjdk/jdk/pull/3402
On 2021-10-26 21:28, Raffaello Giulietti wrote:
Hello,
PR [1] and the accompanying article [2] have been subject to some
positive reactions in the last couple of weeks. A fresh set of about 20
thousand additional hard test cases kindly provided by Paul Zimmermann
of INRIA and other tests proposed by Guy Steele have been added to the
code.
The corresponding CSR [3] is in Finalized state for review. The proposed
spec has been carefully written to uniquely define the outcomes and the
code in the PR has been extensively tested to match the proposed spec.
Behavioral backward compatibility has been a major goal for the CSR. In
fact, in the vast majority of cases, the CSR and the current
implementation agree on the outcomes.
As the CSR is a prerequisite for the advancement of the PR, I beg
everybody entitled (and interested) to review and approve it and/or
discuss it further.
Greetings
Raffaello
[1] https://github.com/openjdk/jdk/pull/3402
[2] https://drive.google.com/file/d/1luHhyQF9zKlM8yJ1nebU0OgVYhfC6CBN/view
[3] https://bugs.openjdk.java.net/browse/JDK-8202555