Dlteam-list

dlteam-list@iro.umontreal.ca

315 discussions

Démarrer une nNouvelle discussion

C++ Design Philosophy
by chevalma＠iro.umontreal.ca 04 Jul '12

04 Jul '12

http://en.wikipedia.org/wiki/C%2B%2B#Philosophy

2 2

Eval
by Marc Feeley 04 Jul '12

04 Jul '12

En passant le nouvel article de Moller sur l'analyse de eval qui sera présenté à ISSTA est déjà disponible : http://cs.au.dk/~amoeller/papers/unevalizer/paper.pdf Marc

1 0

Mechanized LambdaJS
by Erick Lavoie 28 Jui '12

28 Jui '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 Jui '12

28 Jui '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 Jui '12

25 Jui '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 Jui '12

25 Jui '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 Jui '12

20 Jui '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 Jui '12

15 Jui '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 Jui '12

12 Jui '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 Jui '12

11 Jui '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

Aller à la page :

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

Dlteam-list