Dlteam-list Septembre 2012

dlteam-list@iro.umontreal.ca

5 participants
11 discussions

Démarrer une nNouvelle discussion

SPLASH 2012?
by Erick Lavoie 30 Sep '12

30 Sep '12

Est-ce qu'on pense envoyer quelqu'un à SPLASH? Erick

1 0

Learnable Programming by Bret Victor
by Erick Lavoie 29 Sep '12

29 Sep '12

Dans le contexte du travail de Marc et de Bruno sur un éditeur pour JavaScript à l'intention de débutants, cet essai récent de Bret Victor est une source d'inspiration et une collection de références intéressantes pour le design d'environnements pour l'apprentissage de la programmation: http://worrydream.com/LearnableProgramming/ Erick

2 1

Fwd: Présentation de sujet de thèse d'Olivier Breuleux
by Marc Feeley 18 Sep '12

18 Sep '12

N'oubliez pas de venir à la présentation d'Olivier demain matin 9h30. Marc Begin forwarded message: > From: Guy Lapalme <lapalme(a)iro.umontreal.ca> > Subject: Présentation de sujet de thèse d'Olivier Breuleux > Date: 12 September, 2012 2:51:53 PM EDT > To: seminaires(a)iro.umontreal.ca > > Présentation de sujet de thèse > > Un langage pour le partage efficace d'information dans un système distribué. > Olivier Breuleux > Mercredi 19 septembre, 9h30, Salle 3195 - Pavillon André-Aisenstadt > > Nous présentons un langage distribué permettant de gérer la distribution d'un programme de manière fine. Nous visons à permettre la migration de processus et le transfert partiel de continuations et de structures de données arbitraires, et ce de manière orthogonale aux algorithmes manipulant ces structures. Ceci permettra au programmeur de définir une grande variété de stratégies et de les comparer. Nous utiliserons ce système afin de définir et d'évaluer des stratégies générales intelligentes. > > Jury: > Guy Lapalme, président > Marc Feeley et Yoshua Bengio, co-directeurs > Stefan Monnier, membre > > Bienvenue à tous > > Guy Lapalme

1 0

IonMonkey et Gambit-JS
by Marc Feeley 12 Sep '12

12 Sep '12

Le tout nouveau IonMonkey (dans Firefox 18.0a1) améliore beaucoup la performance des fermetures de Gambit-JS. Les résultats sont ci-dessous. Maintenant la performance de Gambit-JS est beaucoup plus stable d'une VM JS à une autre (voir la dernière table). Gambit-JS avec IonMonkey est de 1.2x à 2.5x plus lent que Gambit-JS avec V8, tandis que Gambit-JS avec Nitro est de 1.4x à 3.0x plus lent que Gambit-JS avec V8. Les autres compilateurs de Scheme à JS ont des facteurs de ralentissement plus grands (IonMonkey: de 1.4x à 5.8x pour Scheme2JS et de 3.0x à 11.2x pour Spock, Nitro: de .8x à 21.8x pour Scheme2JS et de 6.4x à 25.6x pour Spock). Heureusement, le program chair me dit qu'il reste quelques jours avant qu'on ait à lui envoyer l'article final. Je vais donc faire les ajustements en conséquence. Marc Speedup for Gambit-JS on SpiderMonkey going from Firefox 15.0.1 to 18.0a1: fib35 1.0x nqueens12 1.1x oddeven 1.1x ctak 3.0x contfib30 3.4x btsearch2000 6.2x threads10 2.1x Execution times using SpiderMonkey (Firefox 15.0.1): Gambit-JS Scheme2JS Spock fib35 1.07 7.66 7.2x 20.73 19.4x nqueens12 1.49 2.62 1.8x 12.97 8.7x oddeven 1.09 1.93 1.8x 33.91 31.1x ctak 1.25 30.38 24.3x 1.86 1.5x contfib30 5.88 156.79 26.7x 10.61 1.8x btsearch2000 11.19 27.16 2.4x 16.54 1.5x threads10 6.97 34.36 4.9x 22.11 3.2x Execution times using SpiderMonkey (Firefox 18.0a1): Gambit-JS Scheme2JS Spock fib35 1.06 9.03 8.5x 26.99 25.4x nqueens12 1.34 2.91 2.2x 16.98 12.7x oddeven 1.01 2.64 2.6x 59.60 59.0x ctak .41 31.23 76.2x 2.66 6.5x contfib30 1.71 177.98 103.8x 16.06 9.4x btsearch2000 1.79 34.89 19.5x 27.72 15.5x threads10 3.30 39.60 12.0x 32.88 10.0x Execution times for Gambit-JS across VMs: V8 SpiderMonkey Nitro fib35 .80 1.06 1.3x 1.32 1.7x nqueens12 .72 1.34 1.9x 1.31 1.8x oddeven .83 1.01 1.2x 2.52 3.0x ctak .18 .41 2.2x .30 1.6x contfib30 1.17 1.71 1.5x 1.60 1.4x btsearch2000 1.35 1.79 1.3x 3.46 2.6x threads10 1.34 3.30 2.5x 3.03 2.3x

1 0

TAJS est maintenant sur github
by Bruno Dufour 12 Sep '12

12 Sep '12

https://github.com/cs-au-dk/TAJS Je viens tout juste d'avoir la nouvelle d'Anders... Je vais regarder ça de plus près dans les prochains jours. Bruno

2 2

rencontre
by Marc Feeley 12 Sep '12

12 Sep '12

N'oubliez pas la rencontre de cet après-midi (13h). Olivier nous présentera son sujet de doctorat: Un grand nombre d'applications, que ce soient des applications web (streaming de musique, jeux vidéos en ligne) ou des applications numériques intensives (simulations, apprentissage machine), doivent distribuer efficacement leur charge de travail (tâches et données) sur plusieurs noeuds. Or, les librairies et langages existants, par exemple MapReduce, Erlang, Oz ou Fortress, offrent des stratégies de distribution rigides et spécialisées à des problèmes spécifiques. Dans le cadre de cette thèse, nous présenterons un langage distribué permettant de gérer la distribution d'un programme de manière fine. Nous visons à permettre la migration de processus et le transfert partiel de continuations et de structures de données arbitraires, et ce de manière orthogonale aux algorithmes manipulant ces structures. Ceci premettra au programmeur de définir une grande variété de stratégies et de les comparer entre elles. Nous utiliserons ce système afin de définir et d'évaluer des stratégies générales intelligentes. Marc

1 0

lunch?
by Marc Feeley 12 Sep '12

12 Sep '12

Qui est disponible pour le lunch? Marc

1 0

Résumé de la présentation de Florian Loitsch
by Eric Thivierge 11 Sep '12

11 Sep '12

Bonjour Nous avons de très bonnes présentations aujourd'hui au SFP12. Une était particulièrement intéressante pour tout le groupe alors je vous en envoie les points principaux. La présentation se nommait "Optimizing JS code for V8". Je vous donne tout d'un bloc même si vous connaissez possiblement ce qu'il a dit. - l'optimisateur se nomme *crankshaft* - seules les fonctions '*hot*' sont optimisées, c.-à-d. des fcts ayant été exécutées un nombre minimum de fois. - il suggère de lancer chrome avec l'option *--user-data-dir=<empty dir>*si on veut avoir une VM clean pour faire des tests. - on peut passer les options suivantes à d8 pour avoir une trace de ce que le compilateur fait de notre code: - *--trace-<flag>*, où flag dans {opt, bailout, inlining, deopt, hydrogen} - *opt*: trace les fcts optimisées - *bailout*: trace les fcts pour lesquelles l'optimisation a été enlevée - *inlining*: trace des fonctions inlinées. Une fct de trop grande taille ("incluant" les commentaires) peut ne pas être inilinée. L'heuristique n'est pas parfaitement au point - *deopt*: trace des fcts pour lesquelles crankshaft enlève les optimisations quand un pattern d'appel change (pour f(a), 'a' a tjrs été un 'int' mais on passe une string). Le processus de deoptimization est coûteux et le code résultant est plus lent. Crankshaft peut optimiser pour une combinaison de types ('a' est int ou str). Crankshaft essaie d'optimiser 5 fois puis démissionne et compile une fonction générique (lente). On peut ajouter le flag *--print-comment* pour avoir plus d'information. - si on compile d8 avec *dissassembler=on*, on peut faire un dump du code asm (scons disassembler=on d8. Utiliser le flag "--print-code"pour avoir le dump. - *hydrogen*: peut être utilisé avec *c1visualizer* pour une représentation graphique du CFG du programme avec capacité d'inspection très cool. Il faut utiliser *--no-sandbox*. Crée le fichier hydrogen.cfg que c1visualizer peut lire. - V8 ne sait pas optimiser le code dans un try/catch - 'arguments' n'est pas optimisé - il vaut toujours mieux utiliser des fonctions monomorphiques (où le type des variables est stable). Vaut mieux dupliquer une fonction et être certain qu'une variable sera tjrs du même type. J'espère que ce sera utile, et que je n'ai pas fait d'erreur de transcription... Eric

3 3

Fwd: [Hipeac-publicity] CC 2013: Call for papers
by Marc Feeley 10 Sep '12

10 Sep '12

Celui/celle qui soumet un article à CC2013 gagne un voyage gratuit à Rome! Marc Begin forwarded message: > From: Koen De Bosschere <kdbosche(a)codd.elis.UGent.be> > Subject: [Hipeac-publicity] CC 2013: Call for papers > Date: 9 September, 2012 3:46:52 PM EDT > To: publicity(a)hipeac.net > > Call For Papers > > 22nd International Conference on Compiler Construction (CC 2013) > ================================================================ > > Rome, Italy, March 16-24, 2013 (Part of ETAPS 2013) > > http://www.etaps.org/2013/cc13 > http://cc2013.elis.ugent.be > > > Important Dates > --------------- > * Abstract Deadline : Oct 7, 2012 (Sunday) > * Submission Deadline : Oct 14, 2012 (Sunday) > * Notification : Dec 14, 2012 (Friday) > * Camera-Ready : Jan 8, 2013 (Tuesday) > * Conference : Mar 16-24, 2013 > > Background > ---------- > The Conference on Compiler Construction (CC) seeks submissions describing > research pertaining to all aspects of the construction, analysis and > execution of software. This includes classical compilation topics such > as parsing, type checking and code generation, as well as recent areas like > run-time systems, memory management, virtual machines, debuggers, > domain specific languages, and programmer productivity tools like static > checkers, refactoring editors. > > CC 2013 is the 22nd edition of the conference. CC is a member conference > of the European Joint Conferences on Theory and Practice of Software (ETAPS), > which is the primary European forum for academic and industrial researchers > working on topics relating to Software Science. ETAPS 2013 is the 16th joint > conference in this series. > > The 2013 conference will be held on March 16-24 in Rome, Italy. > > Topics > ------ > > The conference is devoted to research pertaining to all aspects of the > construction, analysis and execution of software. Papers are solicited > on, but not limited to, the following topics: > > + compilation and interpretation techniques, including program representation > and analysis, code generation and code optimization; > > + run-time techniques, including memory management, virtual machines, > and dynamic and just-in-time compilation; > > + programming tools, including refactoring editors, checkers, compilers, > and debuggers; > > + techniques for specific domains, including secure, parallel, distributed, > embedded or mobile environments; > > + design of novel language constructs and their implementation. > > CC 2013 is not limited to topics discussed in previous editions. Papers > identifying future directions for compilers, runtimes, and execution > environments, broadly construed, especially those addressing the rapid > changes of the underlying computing platforms are especially welcome. > > Submission Information > ---------------------- > > The conference proceedings will be published in the Springer-Verlag > Lecture Notes in Computer Science series. Submissions and final versions > of papers must be in the format (http://www.springer.de/comp/lncs/authors.html) > A condition of submission is that, if the submission is accepted, > one of the authors must attend the conference to present the paper. > > The submissions must adhere to the strict page limit of 20 pages (LNCS format). > The above limit includes bibliography and figures. Submissions that are > clearly too long may be rejected immediately. > > Papers should be submitted electronically via the EasyChair submission > (http://www.easychair.org/conferences/?conf=cc2013). > > Submitted papers must be unpublished and not be submitted for > publication elsewhere. Papers must be written in English and be submitted > in pdf-format. > > > Organizers > ---------- > > Program Chairs > > - Koen De Bosschere (Ghent University, Belgium) > - Ranjit Jhala (University of California, San Diego, US) > > Program Committee > > - Umut Acar (Max Planck Institute, Germany) > - Gogul Balakrishnan (NEC, Princeton, USA) > - Francois Bodin (CAPS entreprise, France) > - George Necula (University of California, Berkeley, USA) > - Albert Cohen (École Normale Supérieure, Paris, France) > - Björn Franke (University of Edinburgh, UK) > - Grigori Fursin (INRIA, France) > - Andreas Gal (Mozilla, USA) > - Mary Hall (University of Utah, USA) > - Ben Hardekopf (University of California, Santa Barbara, USA) > - Jurgen Vinju (CWI Amsterdam, Netherlands) > - Christian Lengauer (University of Passau, Germany) > - Matt Might (University of Utah, USA) > - Alan Mycroft (Cambridge University, UK) > - Keshav Pingali (University of Texas, Austin, USA) > - Eelco Visser (TU Delft, Netherlands) > - Greta Yorsh (ARM, UK) > - Bern Zorn (Microsoft Research, USA) > _______________________________________________ > Hipeac-publicity mailing list > Hipeac-publicity(a)hipeac.net > http://www.hipeac.net/mailman/listinfo/hipeac-publicity

1 0

Continuations sur différents browsers
by Marc Feeley 06 Sep '12

06 Sep '12

J'ai commencé à étudier la performance de notre approche, et aussi Scheme2JS et Spock, sur la dernière version de différents browsers (Chrome, Scheme2JS et Safari). J'ai seulement les résultats pour fib35 (il faut rouler les programmes manuellement dans le browser, donc ça prends du temps). Les résultats sur mon 2.2 GHz Intel Core i7 sont les suivants (temps en seconds, et temps relatif, soit par rapport à Gambit-JS (première table) ou bien par rapport à Chrome (deuxième table)) : Gambit-JS Scheme2JS Spock 0.823 1.00x 1.593 1.94x 2.488 3.02x Chrome 1.118 1.00x 7.913 7.08x 20.853 18.65x Firefox 1.301 1.00x 8.545 6.57x 91.592 70.40x Safari Gambit-JS Scheme2JS Spock 0.823 1.00x 1.593 1.00x 2.488 1.00x Chrome 1.118 1.36x 7.913 4.97x 20.853 8.38x Firefox 1.301 1.58x 8.545 5.36x 91.592 36.81x Safari La première table montre que (pour fib35): - Gambit-JS est toujours plus rapide quel que soit le browser - Moins l'implantation de JS est optimisante (Chrome > Firefox > Safari), plus le facteur de ralentissement est grand (par exemple, Spock sur Chrome est 3 fois plus lent que Gambit-JS, mais Spock sur Safari est 70 fois plus lent que Gambit-JS) La deuxième table montre que: - La performance de Gambit-JS est peu dépendante de la VM JS (mon interprétation c'est que le style de code "simple" qui est généré par Gambit-JS est facile à optimiser par la VM JS) Si vous voulez tester sur un browser différent, j'inclus les fichiers ci-dessous. Marc

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

Dlteam-list Septembre 2012