Dlteam-list Janvier 2013

dlteam-list@iro.umontreal.ca

7 participants
13 discussions

Compte-Rendu de ma participation � PLMW et
by Erick Lavoie 30 Jan '13

30 Jan '13

Salut à tous, J'espère que ce compte-rendu servira à la fois à orienter notre travail courant et donner un exemple à nos nouvelles recrues (je pense à toi Alex ;-)) de ce que la participation à une conférence apporte au processus de recherche académique. Pour résumer en une ligne, on a plein d'opportunités de collaboration et mon système est utile! Pour résumer en deux paragraphes, le plus gros retour sur investissement de cette conférence est la liste des collaborations et utilisateurs potentiels pour mon système: 1. Peter Thiemann, prof en Allemagne à l'Université de Freiburg est intéressé à utiliser Photon pour vérifier des propriétés de sécurité sur les programmes en interceptant toutes les opérations du modèle objet. Il est intéressé à ce que je vienne passer quelques semaines dans son lab pour collaborer, encore plus si j'arrive avec mon propre financement. 2. Martin Bodin à l'INRIA est en train de formaliser la sémantique de JavaScript dans Coq avec l'objectif d'être aussi près de la spécification officielle que possible. Cela va lui servir à prouver des propriétés sur des analyses qu'il concevra éventuellement. Bien qu'une collaboration directe n'était pas évidente, nous allons rester en contact. 3. Le email de Vineet Rajani, étudiant en Allemagne, m'a été référé. Celui-ci aurait besoin de pouvoir instrumenter à l'exécution une VM JavaScript pour vérifier la préservation de secrets. Je vais le contacter dans les prochaines semaines pour clarifier le tout. 4. Lorenz Breidenbach, étudiant sous-gradué en 3e année à ETH Zurich et actuellement en échange à Imperial College à Londre a également besoin d'instrumenter JavaScript pour vérifier tous les accès à l'environnement dynamique (scope chain) pour valider avec des programmes de test qu'aucun contre-exemple n'est trouvé sur les propriétés qu'il cherche à prouver. Une collaboration à l'été, après ses cours et les miens, est envisageable. Il sera alors de retour à ETH. Il pense continuer à la maîtrise alors c'est une collaboration qui à un peu plus long terme pourrait donner des fruits. L'idée plus générale c'est que beaucoup de travail de nature théorique est en cours sur JavaScript. Cependant, les gens ont besoin d'instrumenter les VMs pour valider empiriquement ou pour développer certaines propriétés/transformations. On a le potentiel d'être beaucoup plus efficace à faire l'implémentation qu'eux donc une collaboration est naturelle, puisque nos travaux sont complémentaires. Ça ouvre la porte à plusieurs publications relativement faciles comme 2e ou 3e auteur en autant qu'on participe au travail de vérification empirique. De plus, ça va informer les cas d'utilisation que j'utiliserai pour mes propres publications comme auteur principal. Je pense donc continuer d'aller à POPL, les opportunités de collaboration me semblent plus abondantes là qu'à SPLASH ou PLDI. Pour les gens intéressés, voici donc la version longue et narrative de ma participation à la conférence de la semaine dernière. Je pense la traduire en anglais pour donner du feedback aux organisateurs et aux donateurs qui ont rendu l'évènement possible, en particulier pour le Programming Language Mentoring Workshop. S'il y a des choses propres au lab que vous préfériez voir omise de la version anglaise, dîtes-le moi. Erick ~~~~~~~~~~~~~~~~~~~~~~~~~ La dernière semaine fut extrêmement stimulante et profitable. Mon objectif initial de participation était d'avoir l'occasion d'interagir avec des mentors en dehors de notre groupe pour avoir une perspective plus large de la recherche académique. Mon second objectif était de me pratiquer à présenter mon travail, à la fois pour devenir plus habile et efficace à le faire et pour obtenir de la rétroaction sur le travail réalisé, complémentaire aux commentaires que j'ai déjà reçu de Marc et Bruno. Après une semaine, je dois dire que mon besoin de mentorat était moins fort qu'initialement et que j'ai obtenu plus de feedback que j'aurais imaginé au départ! Je veux vous présenter à la fois les points marquants de la dernière semaine et m'assurer de laisser une trace écrite de cette participation. Pour mettre les choses en perspective, il s'agit de ma quatrième participation à une conférence académique de premier niveau. J'ai assisté à OOPSLA 2007 [1] à Montréal (maintenant SPLASH), PLDI 2010[2], SPLASH 2011 [4] et maintenant c'était POPL 2013 [3]. Ces trois conférences sont organisées par SIGPLAN [5], un groupe d'intérêt de l'ACM, qui cherche à faire avancer le développement technique de technologies liées aux langages de programmation. Mes deux premières participations furent à titre d'observateur. La troisième comme co-auteur avec Maxime de notre travail sur Tachyon (Maxime avait fait la présentation) et la dernière comme participant, avec deux présentations, d'une et de 10 minutes sur mon travail de maîtrise, où je peux dire pour la première fois que j'ai des contributions originales. De manière plus générale, on peut dire que je passe progressivement de "consommateur" à "producteur d'idées" et que la satisfaction que je retire de mes participations évolue en parallèle. Pour la deuxième année cette année, les organisateurs de POPL proposent un atelier d'une journée à des étudiants sous-gradués et gradués l'expérience d'une conférence de premier niveau et de l'interaction avec la communauté de chercheurs. Cet atelier se nomme Programming Language Mentoring Workshop, PLMW. Je n'ai pas les chiffres exacts mais nous étions potentiellement plus de 100 étudiants à y participer, principalement des États-unis et de l'Europe, avec quelques fiers représentants canadiens de McGill et de l'UdeM (moi!). La majorité des étudiants étaient sous-gradués, plusieurs en avant-dernière année de leur programme de Bacc (il se trouve que le Royaume-Uni, l'Europe, les États-Unis et le Canada ont des systèmes d'éducation différents et les gens ne rentrent pas au doctorat au même moment, alors j'ai choisi de calculer à partir du moment où les gens entrent au doctorat). Fait intéressant, j'ai l'impression que le nombre de filles ayant participé était plus élevé que leur représentation aux études graduées en informatique et j'aurais tendance à croire que c'était délibéré de la part des organisateurs. J'ai personnellement trouvé que ça a rééquilibré un problème de notre domaine et ça a rendu l'expérience plus intéressante. À proprement parler, PLMW a lieu la deuxième journée de la conférence mais les participants sont invités à participer à l'ensemble de la conférence. La première journée nous avons donc eu droit au TutorialFest, qui a pour objectif d'amener les participants à comprendre un sujet particulier. L'offre comprenait une présentation sur un modèle de programmation concurrente à mémoire partagée sur les processeurs modernes, qui surprenamment peuvent exhiber des incohérences dans les accès mémoires pour offrir de meilleures performances. Le modèle proposé abstrait et formalise le comportement légèrement différents de ces processeurs. Une deuxième présentation a survolé l'évolution et l'état de l'art sur la vérification automatique de terminaison de programmes. La partie excitante de cet atelier est que l'état de l'art commence à s'appliquer à un sous-ensemble intéressant de langages répandus (C, Java et Haskell). Une troisième présentation a montré un usage avancé de Coq, un assistant à la preuve interactif, permettant d'abstraire des patrons réguliers. L'exemple s'appliquait à la sémantique d'un langage de programmation jouet. Je vous réfère au reste du programme pour plus de détails [15]. Ces présentations furent intéressantes mais vous devez garder en tête qu'un "tutoriel" dans cet atelier c'est en fait une présentation magistrale et non un laboratoire interactif. En parallèle aux présentations, j'ai eu l'occasion de connaître plusieurs étudiants. Mon co-chambreur est portugais et travaille sur la complexité Kolmogorovienne, qui décrit les ressources minimales nécessaires pour représenter un objet à l'intérieur d'un ordinateur. Son travaille de maîtrise consiste à spécifier un sous-ensemble "intéressant" des objets à représenter pour une définition "d'intéressant" qu'il reste à clarifier. Il se trouve qu'en plus d'être jovial, intéressé et surprenamment bon vulgarisateur, il avait également une propension à ronfler suffisamment pour réveiller un éléphant. Je vous conseille d'apporter des bouchons pour éviter certains désagréments potentiels du partage de chambre, si vous décidez de participer dans le futur. Un de mes meilleurs "nouveaux amis", Adhitya, est indien et fait sa maîtrise à Georgia Institute of Technology sur la programmation système. J'ai également rencontré, Heidi, étudiante à Cambridge dans le lab qui a créé le Raspberry Pi. En plus d'être éloquente et vraiment brillante (elle a joint le lab en deuxième année de bacc), elle est en plus un exemple flamboyant de l'importance d'intégrer les roux dans la communauté de recherche. Parlant de roux, j'ai également rencontré Thomas, un autre roux, allemand cette fois, qui est actuellement en questionnement à savoir s'il veut faire un PhD. Selon lui et son collègue Mattias, le système allemand de financement à la recherche, davantage orienté vers des projets que vers les individus, rend difficile le bootstrap d'une carrière en recherche. Voici une photo de la communauté rousse: La deuxième journée, à PLMW, nous avons eu droit à un mélange de présentations techniques et générales sur une carrière en recherche. La première présentation, de Peter O'Hearn, fut très intéressante et touchait l'analyse statique de programmes pour déterminer des classes d'erreurs fréquentes. Elle contenait une rétrospective de l'évolution du domaine dans les 10-15 dernières années, de ses premières applications à la détection d'erreurs dans des pilotes de bas niveau sur windows à la mise à l'échelle à des plus gros programmes. C'était vraiment excitant de voir comment l'évolution du domaine rend possible l'application des techniques à un nombre grandissant d'application dans le "vrai monde". Elle contenait également une présentation intuitive de l'interprétation abstraite qui ne requérait pratiquement aucune math et constitue à ce jour la meilleure introduction que j'ai eu [14]. La deuxième présentation fut introduite par Philippa Gardner, qui a mis l'emphase sur l'importance de la communauté de POPL et du plaisir qu'elle a de revoir des collègues, année après année, avec qui elle a eu l'occasion de travailler dans le passé. Elle a présenté son collègue Davide Sangiorgi en disant: "we mate... (!) euh met [sic] while ...". J'en ai conclu soit que l'excitation l'a fait fourcher de la langue ou que les liens dans la communauté de POPL sont plus étroits que j'aurais anticipé. Cette deuxième présentation a porté sur le raisonnement formel sur des systèmes concurrents, à plusieurs processus. Les deux présentations de cette première session furent les plus intéressantes pour quelqu'un qui n'était pas familier avec le domaine. Pour le reste de la journée, les présentations de Matt Might, Jan Vitek et Phil Wadler m'ont le plus intéressé. Matt, principalement connu pour son travail sur les analyses statiques, a parlé de sa conception du processus de la recherche, a donné des conseils sur la façon de réussir son PhD, a discuté de la place inhérente de l'échec dans l'émergence d'idées intéressantes et a placé le tout dans le contexte de devenir un professeur d'université. J'ai été un peu déçu qu'il n'aborde pas la question de ce que les gens avec un PhD qui ne deviennent pas prof font. Jan Vitek, récemment connu pour son travail sur les aspects dynamiques de JavaScript, a partagé ses réflexions sur ses projets de recherche des 20 dernières années [6]. Il a abordé l'impact des différents projets et a discuté de nombreux buts non-accomplis, comparés aux objectifs proposés dans les demandes de financement. Le thème récurrent semble être l'échec à atteindre les objectifs initiaux, qui semblait être corrélé avec l'ambition du projet de recherche. Il a évalué l'importance de son travail par la reconnaissance des articles publiés et les positions occupées par ses anciens étudiants, en laissant l'auditoire décider si cela était un échec ou une réussite. Jan a terminé sa présentation avec un commentaire extrêmement audacieux vu l'audience, suggérant que la communauté se penche sur ce que les programmeurs font dans le "vrai monde" et que ceux-ci utilisent des langages dynamiques non-typés (!). Il y a eu un certain inconfort dans l'assistance et un applaudissement embryonnaire lorsque le second présentateur, Robert Spencer a exprimé son opinion que le typage dynamique est un cas particulier du typage. Cet échange fut une belle illustration des controverses et tensions entre différents points de vue concurrents à l'intérieur d'une communauté de chercheurs. Phil Wadler, connu pour son travail sur Haskell et les Monads, a donné une présentation sur la façon de vivre sa vie, grandement inspirée d'une présentation de Richard Hamming, You and Your Research [7]. Intéressante synchronicité, Vincent Foley, qui a été stagiaire avec nous l'été dernier, m'avait envoyé un enregistrement vidéo de cette présentation dans un cours que Phil donne [8]. Il est encore plus coloré en personne et a tenu à rendre l'interprétation des passages de sa présentation selon l'accent de l'auteur original, tout en étant particulièrement emphatique (lire crier de manière un peu aléatoire de temps à autre). Dans la deuxième partie de sa présentation, il a répété et mis l'emphase sur l'importance de s'exprimer clairement en nous faisant promettre qu'on acheterait tous "The Elements of Style" [9]. Dans la période de question, il a conseillé à ceux pour qui l'anglais est une langue seconde de faire relire leur publication par quelqu'un pour qui l'anglais est leur langue première. Entre deux présentations, en discustant avec mon voisin italien, Daniele, j'ai appris que son groupe construisait une sémantique formelle pour JavaScript dans Coq dont l'objectif est d'être aussi près que possible de la spécification officielle. L'objectif final est de pouvoir faire des preuves sur les algorithmes d'analyse qui seront développés. En discutant avec son collègue qui fait le gros du travail d'encodage, Martin, nous avons partagé certaines anecdotes sur la complexité de la sémantique de JavaScript et comparé leur travail à lambdaJS [11]. Suite aux présentations de l'atelier, nous sommes passés au vin d'honneur et les participants s'étant inscrit pour le One-Minute Madness se sont placés en ligne pour plus de 90 minutes de topos d'une minute qui ont couvert toutes sortes de sujets. La qualité de préparation allait d'inexistante à élaborée et le style de formel à marketing télévisé, avec pour constante que l'immense majorité des présentateurs a respecté la règle d'une minute, donnant un rythme très intéressant à l'ensemble de la session. L'objectif était de faciliter la diffusion des intérêts des participants et l'établissement de premiers contacts avec d'autres participants. Lorenz Breidenbach a gracieusement pris des photos de tous les présentateurs et nous les a envoyées: Peter Thiemann, professeur à l'université de Freiburg et responsable des transitions du diaporama, est venu me voir pendant le vin d'honneur par la suite pour voir si mon système pouvait s'appliquer à la vérification d'invariants de sécurité dans l'accès de propriété d'object pendant l'exécution. Ma page personnelle [12] lui a permis de connaître le nom de mon directeur de recherche, Marc Feeley, avec qui il avait eu l'occasion d'échanger il y a plusieurs années à ICFP [13]. J'étais tellement excité que quelqu'un s'intéresse à mon travail que j'ai eu de la difficulté à donner une attention suffisante aux explications de Peter et je l'ai probablement fait répéter à deux ou trois reprises les mêmes choses. La discussion a duré 15-30 minutes et s'est conclue sur ma promesse de le recontacter par email pour discuster d'opportunités de collaboration. En soirée, après le vin d'honneur, je suis sorti dîner et socialiser avec d'autres étudiants. Le reste de la semaine fut entrelacée de présentations, de connexions au dîner, au souper et en soirée, parfois plus tard que ce qui aurait été raisonnable. Le lendemain, la conférence principale POPL a démarrée pour 3 jours. Dans mon cas, plusieurs présentations utilisaient un formalisme que j'avais beaucoup de difficulté à suivre et le rythme rapide de certaines présentations et leur focus sur le formalisme m'a empêché d'atteindre le coeur des idées présentées. J'ai réalisé dans les trois jours qui ont suivi que j'ai retiré beaucoup plus de l'interaction avec les participants à la conférence dans les lunchs et évènements sociaux que dans le cadre des présentations elles-mêmes. Entre autres, j'ai obtenu le email du collègue d'un de mes voisins de table, Vineet Rajani, qui serait probablement intéressé par mon système. J'ai également établi un contact initial avec un étudiant à ETH, Lorenz Breidenbach, actuellement en échange à Imperial College à Londre, qui serait intéressé à utiliser un système comme le mien qui réifierait l'environnement en JavaScript. Après avoir échangé nos contraintes respectives de travaux et autres, on a pu établir que le début de l'été serait un bon moment pour en reparler et la fin de l'été pour se rencontrer pour une collaboration potentielle. Le vendredi, après avoir survolé certains articles écrits par le groupe de Peter Thiemann et réalisé qu'ils avaient tenté quelquechose de similaire à mon système dans le passé, j'ai dîné en sa compagnie pour comprendre les problèmes qu'ils avaient rencontrés, les motivant à changer d'approche. Ça m'a fait réalisé que j'avais potentiellement des solutions techniques pour les adresser mais qu'il me restait du travail à faire pour le valider. J'ai ensuite proposé à Peter de visiter son groupe vers la fin de l'été en août pour faciliter les échanges et il était enthousiaste. Il me reste à valider avec Marc et Bruno ce qu'eux en pense et le financement que j'aurais de disponible pour le faire. Je profiterais de l'occasion de cet autre voyage en Europe pour passer quelques jours à Zurich pour travailler avec Lorenz. L'opportunité principale que je vois pour notre groupe, qui a un focus sur l'implémentation de systèmes, c'est qu'en devenant particulièrement efficace à le faire, on pourrait construire de l'infrastructure pour le reste des chercheurs, en particulier ceux dont les intérêts principaux sont sur la théorie. Mon survol de certain articles de POPL m'a fait réalisé que l'implémentation des systèmes semble être nécessaire mais de seconde classe dans plusieurs d'entre eux. Je pense qu'on devrait donc continuer de participer à POPL. La deuxième réalisation c'est que JavaScript est encore un sujet chaud et plusieurs groupe travaillent dessus avec diverses approches. Cela ouvre de nombreuses opportunités de collaboration lorsque les approches sont complémentaires. C'est donc le moment d'en profiter, en gardant en tête que la vague va diminuer éventuellement. Il y a beaucoup d'autre choses à dire mais cela me semble les points principaux en rapport avec nos activités et ça me semble donner un point de vue intéressant sur le déroulement d'une participation à une conférence qui a débouché sur des opportunités de collaboration futures. Erick [1] OOPSLA: Object-Oriented Programming, Systems, Languages and Applications [2] PLDI: Programming Language Design and Application [3] POPL: Principles Of Programming Languages [4] SPLASH: Systems, Programming, Languages and Applications: Software for Humanity [5] SIGPLAN: Special Interest Group on Programming Languages [6] http://www.doc.ic.ac.uk/~gds/PLMW/PLMPV_PD.pdf <http://www.doc.ic.ac.uk/%7Egds/PLMW/PLMPV_PD.pdf> [7] http://www.cs.virginia.edu/~robins/YouAndYourResearch.html <http://www.cs.virginia.edu/%7Erobins/YouAndYourResearch.html> [8] http://www.youtube.com/watch?v=uOsMt-vrWQ4&list=PL395B50FC04752DA8&index=20 <http://www.youtube.com/watch?v=uOsMt-vrWQ4&list=PL395B50FC04752DA8&index=20> [9] The Elements of Style, Strunk and White [10] http://www.informatik.uni-freiburg.de/~thiemann/ <http://www.informatik.uni-freiburg.de/%7Ethiemann/> [11] The essence of javascript, http://dl.acm.org/citation.cfm?id=1883988 [12] http://ericklavoie.com [13] ICFP: International Conference on Functional Programming [14] http://www.cs.ucl.ac.uk/staff/p.ohearn/Talks/POPL12tutorial.pdf [15] http://wrigstad.com/popl13/tutorialfest.html

2 1

Fwd: [Hipeac-publicity] Call for contributions to ACM TACO 2.0
by Marc Feeley 27 Jan '13

27 Jan '13

Voici une revue scientifique qui pourrait être une cible intéressante pour nos travaux. Marc Begin forwarded message: > From: Tom Conte <tom(a)conte.us> > Subject: [Hipeac-publicity] Call for contributions to ACM TACO 2.0 > Date: 27 January, 2013 2:31:23 PM EST > To: announcements(a)lists.artist-embedded.org, publicity(a)hipeac.net, hpc-announce(a)mcs.anl.gov, micro_publicity(a)crhc.uiuc.edu, cgo_publicity(a)freelists.or, socinfo(a)cs.tut.fi, performance(a)merlot.usc.edu, TCPP-announce(a)lists.ece.unm.edu, ancs-announce(a)mail.cse.wustl.edu, sigplan-l(a)acm.uiuc.edu, sdmas(a)googlegroups.com, SIGOPS-ANNOUNCE(a)listserv.acm.org, distributed-computing-announce(a)datasys.cs.iit.edu, prozessoren(a)listserv.uni-augsburg.de, tcsc(a)cse.stfx.ca, sbac-l(a)sbc.org.br, wireless-info(a)lists.chambana.net, asr-forum(a)cines.fr, ahsntc-mailing-list(a)list.trlab.ca, announce(a)hipeac.net, sigarch-members(a)listserv.acm.org > Cc: Per Stenström <per.stenstrom(a)chalmers.se>, Koen De Bosschere <Koen.DeBosschere(a)elis.ugent.be> > > Do you know ACM TACO 2.0? > > Over the last two years ACM TACO has optimized its internal processes. Today, the average turnaround time from submission to first response is 55 days which is less than two months. For revised manuscripts, the review process goes even faster. In 2012, most accepted manuscripts went through two rounds of reviews to reach a final decision only 5 months after submission. Accepted manuscripts are printed in the next ACM TACO issue – which means an extra delay of at most 3 months. Hence, excellent manuscripts can make it from submission to print in 6 months; papers needing a major revision will make it to print in at most 9 months. The ACM TACO acceptance rate after two review rounds was 24% in 2011; it is 26% in 2012. We call this “ACM TACO 2.0.” > > ACM TACO 2.0 now has a review cycle and an acceptance rate which is competitive with the best ACM conferences, but without the inconvenient non-negotiable submission deadlines, and with the advantage of being able to revise a paper based on the detailed review reports by carefully selected reviewers, and of being published as soon as it is accepted. On top of that, authors of original work papers get an open invitation to present their paper at the yearly HiPEAC conference, which is the premier European network event on topics central to ACM TACO, attended by more than 500 scientists. > > For the 2013 ACM TACO 2.0 issues, we are calling for high-quality manuscripts on topics included, but not limited to: > · Computer system architectures and processor architectures, including multiprocessors and multithreaded computers > · Interaction of operating systems, compilers, programming languages, and architecture > · Feedback-Directed Software/Hardware Optimization > · Dynamic compilation, adaptive execution, and continuous profiling/optimization. > · Virtual machine, binary translation hardware, and software optimizations > · Compiler optimizations that exploit instruction level parallelism, such as software pipelining, global scheduling, register allocation, and memory disambiguation > · Advanced software and hardware speculation, prediction, and predication techniques. > · High-performance microarchitecture innovation (e.g., VLIW, superscalar, multithreaded, etc.) > · Architectures and compilers for embedded processors, application specific processors and DSPs, including network and router architectures > · Memory system optimization > · Parallel processing > · Architecture or compiler-based power and energy optimization > · Application characterization and architectural implications > · Performance evaluation and measurement of real systems > · Papers of interest to the SIGMICRO, SIGARCH, and SIGPLAN community > There is no deadline but manuscripts are processed on a first-come-first-served basis. Submit your best work via http://mc.manuscriptcentral.com/taco as soon as it is ready to go. We will work hard to get back to you in 2 months with your reviews. > > Prof. Tom Conte > ACM TACO Editor-in-Chief > > Prof. Per Stenström > Prof. Koen De Bosschere > ACM TACO Senior Associate Editors > > > > > > Content of the last ACM TACO issue > > Feedback-driven binary code diversification to the special issue on high-performance embedded architectures and compilers, by Bart Coppens, Bjorn De Sutter, Jonas Maebe > http://dl.acm.org/citation.cfm?id=2400683 > > A performance and energy comparison of convolution on GPUs, FPGAs, and multicore processors, by Jeremy Fowers, Greg Brown, John Wernsing, Greg Stitt > http://dl.acm.org/citation.cfm?id=2400684 > > Vectorization technology to improve interpreter performance, by Erven Rohou, Kevin Williams, David Yuste > http://dl.acm.org/citation.cfm?id=2400685 > > Fast asymmetric thread synchronization, by Jimmy Cleary, Owen Callanan, Mark Purcell, David Gregg > http://dl.acm.org/citation.cfm?id=2400686 > > PS-TLB: Leveraging page classification information for fast, scalable and efficient translation for future CMPs, by Yong Li, Rami Melhem, Alex K. Jones > http://dl.acm.org/citation.cfm?id=2400687 > > Per-thread cycle accounting in multicore processors, by Kristof Du Bois, Stijn Eyerman, Lieven Eeckhout > http://dl.acm.org/citation.cfm?id=2400688 > > Maxine: An approachable virtual machine for, and in, java, by Christian Wimmer, Michael Haupt, Michael L. Van De Vanter, Mick Jordan, Laurent Daynès, Douglas Simon > http://dl.acm.org/citation.cfm?id=2400689 > > A script-based autotuning compiler system to generate high-performance CUDA code, by Malik Khan, Protonu Basu, Gabe Rudy, Mary Hall, Chun Chen, Jacqueline Chame > http://dl.acm.org/citation.cfm?id=2400690 > > Understanding fundamental design choices in single-ISA heterogeneous multicore architectures, by Kenzo Van Craeynest, Lieven Eeckhout > http://dl.acm.org/citation.cfm?id=2400691 > > The CRNS framework and its application to programmable and reconfigurable cryptography, by Samuel Antão, Leonel Sousa > http://dl.acm.org/citation.cfm?id=2400692 > > A decoupled local memory allocator, by Boubacar Diouf, Can Hantaş, Albert Cohen, Özcan Özturk, Jens Palsberg > http://dl.acm.org/citation.cfm?id=2400693 > > Layout-oblivious compiler optimization for matrix computations, by Huimin Cui, Qing Yi, Jingling Xue, Xiaobing Feng > http://dl.acm.org/citation.cfm?id=2400694 > > Compiler support for lightweight context switching, by Stephen Dolan, Servesh Muralidharan, David Gregg > http://dl.acm.org/citation.cfm?id=2400695 > > LIGERO: A light but efficient router conceived for cache-coherent chip multiprocessors, by Pablo Abad, Valentin Puente, Jose-Angel Gregorio > http://dl.acm.org/citation.cfm?id=2400696 > > Exploiting reuse locality on inclusive shared last-level caches, by Jorge Albericio, Pablo Ibáñez, Víctor Viñals, Jose María Llabería > http://dl.acm.org/citation.cfm?id=2400697 > > Optimizing software runtime systems for speculative parallelization, by Paraskevas Yiapanis, Demian Rosas-Ham, Gavin Brown, Mikel Luján > http://dl.acm.org/citation.cfm?id=2400698 > > Algorithmic species: A classification of affine loop nests for parallel programming, by Cedric Nugteren, Pieter Custers, Henk Corporaal > http://dl.acm.org/citation.cfm?id=2400699 > > Optimal DPM and DVFS for frame-based real-time systems, by Marco E. T. Gerards, Jan Kuper > http://dl.acm.org/citation.cfm?id=2400700 > > An integrated pseudo-associativity and relaxed-order approach to hardware transactional memory, by Zhichao Yan, Hong Jiang, Yujuan Tan, Dan Feng > http://dl.acm.org/citation.cfm?id=2400701 > > Profile-guided floating- to fixed-point conversion for hybrid FPGA-processor applications, by Doris Chen, Deshanand Singh > http://dl.acm.org/citation.cfm?id=2400702 > > Lock-contention-aware scheduler: A scalable and energy-efficient method for addressing scalability collapse on multicore systems, by Yan Cui, Yingxin Wang, Yu Chen, Yuanchun Shi > http://dl.acm.org/citation.cfm?id=2400703 > > ADAPT: A framework for coscheduling multithreaded programs, by Kishore Kumar Pusukuri, Rajiv Gupta, Laxmi N. Bhuyan > http://dl.acm.org/citation.cfm?id=2400704 > > Continuous learning of compiler heuristics, by Michele Tartara, Stefano Crespi Reghizzi > http://dl.acm.org/citation.cfm?id=2400705 > > HC-CART: A parallel system implementation of data mining classification and regression tree (CART) algorithm on a multi-FPGA system, by Grigorios Chrysos, Panagiotis Dagritzikos, Ioannis Papaefstathiou, Apostolos Dollas > http://dl.acm.org/citation.cfm?id=2400706 > > Dynamic code duplication with vulnerability awareness for soft error detection on VLIW architectures, by Jongwon Lee, Yohan Ko, Kyoungwoo Lee, Jonghee M. Youn, Yunheung Paek > http://dl.acm.org/citation.cfm?id=2400707 > > API compilation for image hardware accelerators, by Fabien Coelho, François Irigoin > http://dl.acm.org/citation.cfm?id=2400708 > > Fair CPU time accounting in CMP+SMT processors, by Carlos Luque, Miquel Moreto, Francisco J. Cazorla, Mateo Valero > http://dl.acm.org/citation.cfm?id=2400709 > > Significantly reducing MPI intercommunication latency and power overhead in both embedded and HPC systems, by Pavlos M. Mattheakis, Ioannis Papaefstathiou > http://dl.acm.org/citation.cfm?id=2400710 > > Improved loop tiling based on the removal of spurious false dependences, by Riyadh Baghdadi, Albert Cohen, Sven Verdoolaege, Konrad Trifunović > http://dl.acm.org/citation.cfm?id=2400711 > > OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs, by Antoniu Pop, Albert Cohen > http://dl.acm.org/citation.cfm?id=2400712 > > Polyhedral parallel code generation for CUDA, by Sven Verdoolaege, Juan Carlos Juega, Albert Cohen, José Ignacio Gómez, Christian Tenllado, Francky Catthoor > http://dl.acm.org/citation.cfm?id=2400713 > > Delta-compressed caching for overcoming the write bandwidth limitation of hybrid main memory, by Yu Du, Miao Zhou, Bruce Childers, Rami Melhem, Daniel Mossé > http://dl.acm.org/citation.cfm?id=2400714 > > Finding good optimization sequences covering program space, by Suresh Purini, Lakshya Jain > http://dl.acm.org/citation.cfm?id=2400715 > > A dynamic self-scheduling scheme for heterogeneous multiprocessor architectures, by Mehmet E. Belviranli, Laxmi N. Bhuyan, Rajiv Gupta > http://dl.acm.org/citation.cfm?id=2400716 > > SCIN-cache: Fast speculative versioning in multithreaded cores, by Anurag Negi, Ruben Titos-Gil > http://dl.acm.org/citation.cfm?id=2400717 > > PARTANS: An autotuning framework for stencil computation on multi-GPU systems, by Thibaut Lutz, Christian Fensch, Murray Cole > http://dl.acm.org/citation.cfm?id=2400718 > > Stream arbitration: Towards efficient bandwidth utilization for emerging on-chip interconnects, by Chunhua Xiao, M-C. Frank Chang, Jason Cong, Michael Gill, Zhangqin Huang, Chunyue Liu, Glenn Reinman, Hao Wu > http://dl.acm.org/citation.cfm?id=2400719 > > _______________________________________________ > Hipeac-publicity mailing list > Hipeac-publicity(a)hipeac.net > http://www.hipeac.net/mailman/listinfo/hipeac-publicity

1 0

Using staging in internal compiler passes for extensibility
by Erick Lavoie 25 Jan '13

25 Jan '13

Common mechanisms to extend compilers fall into two categories. Frontend macros, staging or partial evaluation systems can be used to programmatically remove abstraction and specialize programs before they enter the compiler. Alternatively, some compilers allow extending the internal workings by adding new transformation passes at different points in the compile chain or adding new intermediate representation (IR) types. None of these mechanisms alone is sufficient to handle the challenges posed by high level data structures. This paper shows a novel way to combine them to yield benefits that are greater than the sum of the parts. Instead of using staging merely as a front end, *we implement internal compiler passes using staging* as well. These internal passes delegate back to program execution to construct the transformed IR. Staging is known to simplify program generation, and in the same way it can simplify program transformation. Defining a transformation as a staged IR interpreter is simpler than implementing a low-level IR to IR transformer. With custom IR nodes, many optimizations that are expressed as rewritings from IR nodes to staged program fragments can be combined into a single pass, mitigating phase ordering problems. Speculative rewriting can preserve optimistic assumptions around loops. We demonstrate several powerful program optimizations using this architecture that are particularly geared towards data structures: a novel loop fusion and deforestation algorithm, array of struct to struct of array conversion, object flattening and code generation for heterogeneous parallel devices. We validate our approach using several non trivial case studies [NdR: linear algebra, Regular Expression Matchers, Collection and Query Operations, String Templates] that exhibit *order of magnitude speedups in experiments*. http://ppl.stanford.edu/papers/popl13_rompf.pdf

1 0

Réunion vendredi
by Bruno Dufour 22 Jan '13

22 Jan '13

Je dois assister à un prédoc vendredi matin, est-ce qu'on pourrait exceptionnellement décaler un peu notre réunion (disons 10h30 pour me donner un peu de marge de manoeuvre...)? Merci, Bruno

3 2

Fundamentals of Algorithmics
by Erick Lavoie 18 Jan '13

18 Jan '13

Est-ce que quelqu'un aurait le livre "Fundamentals of Algorithmics" de Gilles Brassard à prêter à Min? Erick

3 2

Présentation DLT
by chevalma＠iro.umontreal.ca 18 Jan '13

18 Jan '13

Désolée de ne pas avoir été présente au meeting ce matin. Je croyais que le meeting était à la même heure que la semaine passée. Mon erreur! Erick me dit que mon nom a été mentionné pour la présentation de la semaine prochaine. Je suis d'accord. Voudriez-vous une présentation/démo de Higgs (mon nouveau compilateur) et son design, que je parle de mes plans futurs, ou bien que je présente un article? Je pourrais présenter l'article original sur Dynamo, par exemple, si ça vous intéresse. - Maxime

2 2

site web dlteam
by Marc Feeley 17 Jan '13

17 Jan '13

Savez-vous ce qui se passe avec le site web du DLTeam? J'ai une erreur lorsque je le visite. Est-ce qu'il a été déplacé? http://www-etud.iro.umontreal.ca/~dlteam/wiki/Main_Page Marc

2 1

Fwd: Call For Papers: International Symposium on Memory Management ISMM 2013
by Marc Feeley 15 Jan '13

15 Jan '13

C'est la conférence #1 en gestion mémoire. Marc Begin forwarded message: > From: Erez Petrank <erez(a)cs.technion.ac.il> > Subject: Call For Papers: International Symposium on Memory Management ISMM 2013 > Date: 15 January, 2013 4:25:31 AM EST > To: Erez Petrank <erez(a)cs.technion.ac.il> > > ============================================== > International Symposium on Memory Management > ISMM 2013 > > Submission deadline: Feb 10, 2013 > Conference: Jun 20-21 2013 > Venue: Seattle, WA (with PLDI) > Web: http://www.cs.technion.ac.il/~erez/ismm13 > ============================================== > > ISMM is a forum for research in memory management. Areas of > interest include but are not limited to: > * Memory allocation and de-allocation > * Garbage collection algorithms and implementations > * Compiler analyses and tools to aid memory management > * Empirical analysis of heap intensive programs > * Formal analysis and verification of heap intensive programs > * Memory system design and analysis > * Verification of memory management algorithms > * Development and evaluation of open source implementations > related to memory management > * Memory management on non-traditional or new architectures > or systems > > ISMM solicits full-length submissions covering new work on > these and related topics. Surveys, comparative analysis, and > methodological papers delving into areas covered by prior > work are also welcome. An author rebuttal period of 3 days > will be provided. The principal criteria for acceptance are > scientific merit, innovation, readability, and > relevance. Papers previously published or already being > reviewed by another conference are not eligible. If a > closely related paper has been submitted to a journal, the > authors must notify the program chair (see the SIGPLAN > republication policy). The reviewing is doubsle-blind. > The submission deadline for ISMM is chosen to be shortly > after the author notification deadline for PLDI, to allow > for authors of relevant papers not accepted for PLDI to > re-submit them to ISMM. > > Important Dates > > Submissions due: February 10, 2013 > Author response: March 17-19, 2013 > Notification: March 26, 2013 > Final copy: April 18, 2013 > Conference: June 20-21, 2013 > > Submission site: https://www.easychair.org/account/signin.cgi?conf=ismm20130 > Paper format: 10 pages, ACM SIGPLAN conference format (9pt), double blind. > > General Chair: Perry Cheng (IBM) > Program Chair: Erez Petrank (Technion) > >

1 0

Présentation
by Erick Lavoie 11 Jan '13

11 Jan '13

Histoire de vous mettre dans la peau des gens qui viendront voir ma présentation (je l'espère!) à POPL, voici le résumé soumis et accepté: *Recent research and development on Virtual Machines (VMs), especially for the JavaScript (JS) language, has focused on performance at the expense of flexibility. Notably, it has hindered our understanding of the run-time behavior of programs by making instrumentation of existing VMs laborious. Past approaches required manual instrumentation of production interpreters, preventing the acquisition of longitudinal data because of the high cost associated with maintaining a modified VM over time. In this presentation, we will show how it is possible to provide a flexible run-time instrumentation of the object-model and function-calling protocol with a performance comparable to a state-of-the-art interpreter, without having to modify the VM source code. Our approach consists in running a metacircular VM targeting the source language, based on a message-sending object model, on top of another fast VM. An overview of the implementation will be given and early performance numbers will be presented.* Erick

1 0

Design d'un nouveau langage de programmation dans le cadre d'un PhD
by Erick Lavoie 09 Jan '13

09 Jan '13

Maxime et Olivier ont déjà mentionné le désir de faire la conception d'un nouveau langage de programmation dans le cadre d'études doctorales. Voici un exemple de PhD réussi en décembre dernier avec cette approche: Gnu epsilon - an extensible programming language http://arxiv.org/abs/1212.5210 /Reductionism is a viable strategy for designing and implementing practical programming languages, leading to solutions which are easier to extend, experiment with and formally analyze/. We formally specify and implement an extensible programming language, based on a minimalistic first-order imperative core language plus strong abstraction mechanisms, reflection and self-modification features. The language can be extended to very high levels: by using Lisp-style macros and code-to-code transforms which automatically rewrite high-level expressions into core forms, we define closures and first-class continuations on top of the core. Non-self-modifying programs can be analyzed and formally reasoned upon, thanks to the language simple semantics. We formally develop a static analysis and prove a soundness property with respect to the dynamic semantics. We develop a parallel garbage collector suitable to multi-core machines to permit efficient execution of parallel programs. L'important c'est la thèse, que j'ai mise en italique, qui est avancée et supportée par l'implémentation et qui justifie la démarche. Notons qu'il ne s'agit pas d'un argument de performance et que l'étendue des fonctionnalités supportées semble suffisant pour supporter la thèse. Pour le reste, je dois encore lire la thèse pour juger du choix des primitives ;-). Erick PS: Originellement découvert sur Lambda-the-Ultimate: http://lambda-the-ultimate.org/node/4671 <http://lambda-the-ultimate.org/node/4671>

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

Dlteam-list Janvier 2013