June 2012 - Dlteam-list - mailman.iro.umontreal.ca

Mechanized LambdaJS
by Erick Lavoie 28 Jun '12

28 Jun '12

Vu sur Lambda-the-Ultimate, les auteurs de LambdaJS ont fourni une preuve validée par Coq de leur sémantique opérationnelle: http://brownplt.github.com/2012/06/04/lambdajs-coq.html Erick

1 0

Fwd: [js-tools] Announcing WALA Delta
by Bruno Dufour 28 Jun '12

28 Jun '12

PVI, voici le lien à l'outil de débogage mentionné durant la réunion d'hier. Bruno Begin forwarded message: > From: Max Schaefer <mschaefer(a)us.ibm.com> > Subject: [js-tools] Announcing WALA Delta > Date: 12 June, 2012 12:49:35 PM EDT > To: js-tools <js-tools(a)googlegroups.com> > Cc: msridhar(a)us.ibm.com, dolby(a)us.ibm.com > Reply-To: js-tools(a)googlegroups.com > > We have recently released WALA Delta, a delta debugger for JavaScript, > which is available under the Eclipse Public License from the WALA > Github page at > > https://github.com/wala/WALADelta > > While it is distributed as part of WALA, WALA Delta does not in fact > depend on any other parts of WALA, and can be used to debug just about > any JavaScript-processing tool. We have found WALA Delta to be > immensely useful in identifying bugs and scalability bottlenecks in > our JavaScript analyses, and we hope others find it useful as well. > > Any feedback would be most welcome! > > -- Max > > -- > http://clausreinke.github.com/js-tools/resources.html - tool information > http://groups.google.com/group/js-tools - mailing list information

1 0

Article
by Boudraa Dalil 25 Jun '12

25 Jun '12

Bonjour, Le papier dont je le presenterai ce mercredi se trouve dans le lien: researcher.ibm.com/files/us-msridhar/ECOOP12*Correlation*.pdf Dalil

1 0

Article
by Boudraa Dalil 25 Jun '12

25 Jun '12

Bonjour, Le papier dont je le presenterai ce mercredi se trouve dans le lien: researcher.ibm.com/files/us-msridhar/ECOOP12*Correlation*.pdf Dalil

1 0

A Quantitative Analysis of Whether Unit Testing Obviates Static Type Checking For Error Detection
by Vincent Foley 20 Jun '12

20 Jun '12

Voici le papier dont je parlais tout à l'heure au meeting. Vincent.

1 0

EFFICIENT COMPILATION AND PROFILE-DRIVEN DYNAMIC RECOMPILATION IN SCHEME
by Marc Feeley 15 Jun '12

15 Jun '12

Voici une thèse de PhD que vous devriez trouver intéressante : http://www.cs.indiana.edu/~burger/Dissertation.pdf Marc

1 0

Statistically rigorous java performance evaluation
by Erick Lavoie 12 Jun '12

12 Jun '12

This paper shows that prevalent methodologies can be misleading, and can even lead to incorrect conclusions. The reason is that the data analysis is not statistically rigorous. In this paper, we present a survey of existing Java performance evaluation methodologies and discuss the importance of statistically rigorous data analysis for dealing with non-determinism. http://dl.acm.org/citation.cfm?id=1297033

1 0

Absent demain
by Vincent Foley 11 Jun '12

11 Jun '12

Salut à tous! Je suis de retour au Canada, mais il semblerait que mon système de sommeil soit encore aux Philippines, car je viens de me réveiller. Je vais rester chez moi demain pour essayer de ré-équilibrer le tout. On se voit mercredi. Vincent.

1 0

Bits of Advice for the JVM Writer
by Erick Lavoie 08 Jun '12

08 Jun '12

Un concentré d'expérience sur l'écriture de VM haute-performance pour Java, par Dr Click: http://moxie.sourceforge.net/meetings/20060111/click-ngvm.pdf Contient énormément d'information de bas niveau et d'information sur l'interaction entre différentes optimisations. Je pense que ça intéresserait (au moins) Marc. Erick

1 0

Metacircular Runtime; Jikes MMTk
by Erick Lavoie 08 Jun '12

08 Jun '12

Unpicking the knot: teasing apart VM/application interdependencies http://dl.acm.org/citation.cfm?doid=2151024.2151048 -> Comment déterminer ce qui appartient à l'application et ce qui appartient à la VM dans un runtime méta-circulaire. Oil and Water? High Performance Garbage Collection in Java with MMTk http://dl.acm.org/citation.cfm?id=998675.999420 -> Flexibilité ET Performance ;-) <http://dl.acm.org/citation.cfm?id=998675.999420>

1 0