Le message ci-dessous a été envoyé à la liste js-tools. Les travaux de Brian Hacket sont intéressants pour beaucoup d'entre nous.
Bruno
Begin forwarded message:
From: "Claus Reinke" claus.reinke@talk21.com Subject: [js-tools] Two papers on JS type systems in practice Date: 25 November, 2011 11:19:58 AM EST To: js-tools@googlegroups.com Reply-To: js-tools@googlegroups.com
Brian Hacket talks about
Type Inference brings JS improvements to Firefox Beta http://blog.mozilla.com/futurereleases/2011/11/10/type-inference-to-firefox-...
mentioning a draft paper on the implementation:
Fast and Precise Hybrid Type Inference for JavaScript http://people.mozilla.org/~lmesa/ti-draft.pdf
and a team from University of California, Adobe and Mozilla has published at the Dynamic Languages Symposium 2011
The Impact of Optional Type Information on JIT Compilation of Dynamically Typed Languages http://www.masonchang.com/storage/papers/dls05-chang.pdf
Afficher les réponses par date
En effet c'est intéressant. L'article "Fast and Precise Hybrid Type Inference for JavaScript" parle (dans l'abstract) de l'utilisation de "run-time barriers", ce qui me semble relié à l'idée dont on a parlé hier de reporter l'analyse au "run-time" des parties de code qui "polluent" l'analyse statique.
Maxime, pourrais-tu regarder cet article et en faire un sommaire mercredi prochain?
Marc
On 2011-11-25, at 3:59 PM, Bruno Dufour wrote:
Le message ci-dessous a été envoyé à la liste js-tools. Les travaux de Brian Hacket sont intéressants pour beaucoup d'entre nous.
Bruno
Begin forwarded message:
From: "Claus Reinke" claus.reinke@talk21.com Subject: [js-tools] Two papers on JS type systems in practice Date: 25 November, 2011 11:19:58 AM EST To: js-tools@googlegroups.com Reply-To: js-tools@googlegroups.com
Brian Hacket talks about
Type Inference brings JS improvements to Firefox Beta http://blog.mozilla.com/futurereleases/2011/11/10/type-inference-to-firefox-...
mentioning a draft paper on the implementation:
Fast and Precise Hybrid Type Inference for JavaScript http://people.mozilla.org/~lmesa/ti-draft.pdf
and a team from University of California, Adobe and Mozilla has published at the Dynamic Languages Symposium 2011
The Impact of Optional Type Information on JIT Compilation of Dynamically Typed Languages http://www.masonchang.com/storage/papers/dls05-chang.pdf
Dlteam-list mailing list Dlteam-list@iro.umontreal.ca https://webmail.iro.umontreal.ca/mailman/listinfo/dlteam-list
À première vue c'est plus que "relié", c'est extrêmement similaire à ce que j'ai proposé jusqu'à maintenant.
Je veux bien l'examiner plus en détail, mais c'est décourageant. Clairement, je vais devoir changer la direction de ma recherche d'une façon ou d'une autre. They beat me to the punch, comme prédit...
- Maxime
En effet c'est intéressant. L'article "Fast and Precise Hybrid Type Inference for JavaScript" parle (dans l'abstract) de l'utilisation de "run-time barriers", ce qui me semble relié à l'idée dont on a parlé hier de reporter l'analyse au "run-time" des parties de code qui "polluent" l'analyse statique.
Maxime, pourrais-tu regarder cet article et en faire un sommaire mercredi prochain?
Marc
On 2011-11-25, at 3:59 PM, Bruno Dufour wrote:
Le message ci-dessous a été envoyé à la liste js-tools. Les travaux de Brian Hacket sont intéressants pour beaucoup d'entre nous.
Bruno
Begin forwarded message:
From: "Claus Reinke" claus.reinke@talk21.com Subject: [js-tools] Two papers on JS type systems in practice Date: 25 November, 2011 11:19:58 AM EST To: js-tools@googlegroups.com Reply-To: js-tools@googlegroups.com
Brian Hacket talks about
Type Inference brings JS improvements to Firefox Beta http://blog.mozilla.com/futurereleases/2011/11/10/type-inference-to-firefox-...
mentioning a draft paper on the implementation:
Fast and Precise Hybrid Type Inference for JavaScript http://people.mozilla.org/~lmesa/ti-draft.pdf
and a team from University of California, Adobe and Mozilla has published at the Dynamic Languages Symposium 2011
The Impact of Optional Type Information on JIT Compilation of Dynamically Typed Languages http://www.masonchang.com/storage/papers/dls05-chang.pdf
Dlteam-list mailing list Dlteam-list@iro.umontreal.ca https://webmail.iro.umontreal.ca/mailman/listinfo/dlteam-list
Dlteam-list mailing list Dlteam-list@iro.umontreal.ca https://webmail.iro.umontreal.ca/mailman/listinfo/dlteam-list
On 2011-11-26, at 1:27 AM, chevalma@iro.umontreal.ca wrote:
À première vue c'est plus que "relié", c'est extrêmement similaire à ce que j'ai proposé jusqu'à maintenant.
Je veux bien l'examiner plus en détail, mais c'est décourageant. Clairement, je vais devoir changer la direction de ma recherche d'une façon ou d'une autre. They beat me to the punch, comme prédit...
À mon avis, il est un beaucoup trop tôt pour être si défaitiste, surtout que l'analyse n'est que le premier pas vers le but ultime de ta recherche qui est (si je comprends bien) de développer de nouvelles optimisations optimistes. Donc, dans le pire des cas, tu peux juste réutiliser cette nouvelle analyse et bâtir le reste de ton insfrastructure d'optimisation par dessus. Le travail de Brian Hacket correspond par contre à un seul point dans l'espace des analyses possibles, et il en reste beaucoup d'autres. Si on déclarait que le problème est résolu à chaque fois que le premier article qui en traite est publié, notre communauté ne serait pas très avancée... Je suis convaincu qu'il reste bien des choses intéressantes à essayer. En fait, plusieurs des idées qui ont été lancées lors de notre réunion d'hier me semble encore fort prometteuses. D'ici mercredi, je suis d'accord avec Marc, il faudrait se familiariser avec l'analyse proposée et voir les différences avec la tienne jusqu'à maintenant.
Bruno
On 2011-11-26, at 9:58 AM, Bruno Dufour wrote:
On 2011-11-26, at 1:27 AM, chevalma@iro.umontreal.ca wrote:
À première vue c'est plus que "relié", c'est extrêmement similaire à ce que j'ai proposé jusqu'à maintenant.
Je veux bien l'examiner plus en détail, mais c'est décourageant. Clairement, je vais devoir changer la direction de ma recherche d'une façon ou d'une autre. They beat me to the punch, comme prédit...
À mon avis, il est un beaucoup trop tôt pour être si défaitiste, surtout que l'analyse n'est que le premier pas vers le but ultime de ta recherche qui est (si je comprends bien) de développer de nouvelles optimisations optimistes. Donc, dans le pire des cas, tu peux juste réutiliser cette nouvelle analyse et bâtir le reste de ton insfrastructure d'optimisation par dessus. Le travail de Brian Hacket correspond par contre à un seul point dans l'espace des analyses possibles, et il en reste beaucoup d'autres. Si on déclarait que le problème est résolu à chaque fois que le premier article qui en traite est publié, notre communauté ne serait pas très avancée... Je suis convaincu qu'il reste bien des choses intéressantes à essayer. En fait, plusieurs des idées qui ont été lancées lors de notre réunion d'hier me semble encore fort prometteuses. D'ici mercredi, je suis d'accord avec Marc, il faudrait se familiariser avec l'analyse proposée et voir les différences avec la tienne jusqu'à maintenant.
Bruno
Je suis tout à fait d'accord avec Bruno. En ce qui concerne la compilation des langages dynamiques, il y a assez de choses à découvrir, et de variantes possibles sur un thème, pour occuper des équipes de chercheurs pendant de nombreuses années. Évidemment c'est un travail "closely related", et donc il faut s'assurer de le comprendre à fond pour pouvoir s'en distinguer. On pourra en dire plus mercredi.
D'autre part, il ne faut pas oublier que ce n'est pas un article qui a été accepté pour publication. C'est peut-être dans 6 mois qu'il sera publié. Ça laisse du temps pour explorer cette idée et des alternatives pour nous aussi amener des contributions au domaine.
Le message le plus intéressant à retenir ici c'est que de toute évidence tes travaux de recherche touchent un aspect important du domaine.
Marc
-
Bruno Dufour -
chevalma＠iro.umontreal.ca -
Marc Feeley