Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

Seminar/2012-02-15 + («The effective exploitation of his powers … «The effective exploitation of his powers of abstraction must beregarded as one of the most vital activities of a competentprogrammer.» disait Dijsktra.En effet, pour aborder la complexité d'un problème, l'explicitationdes concepts utiles à sa formalisation et à sa résolution est biensouvent une étape clé. Lorsque que l'on étend ce processus à uneclasse de problèmes qui partagent les mêmes concepts, il est naturelde se doter d'un langage le plus approprié possible pour manipuler cesabstractions spécifiques à un domaine (en anglais, «Domain SpecificLanguage»).Comment implémenter ces DSLs? Une première approche classique reflèteles constructions du DSL sous la forme d'un jeu de fonctions debibliothèque. L'avantage de cette approche est d'utiliser directementson langage généraliste préféré, et sa chaîne de compilationoptimisée, de façon à générer du code machine à moindre frais. Parcontre, dans ce cadre, l'écriture de passe d'optimisations spécifiquesau DSL - à moins d'utiliser des techniques pointues deméta-programmation - est a priori impossible.Une seconde approche, opposée, consiste à écrire un compilateur pourle DSL à partir de zéro. Toute liberté est alors donnée àl'implémenteur d'intégrer à son compilateur des passes d'optimisationspécifiques… mais au prix d'une réimplémentation de passes decompilation déjà présentes, et certainement plus abouties, dans lecompilateur de son langage généraliste favori.Dans cet exposé, je présenterai les travaux de Martin Odersky etson équipe sur la virtualisation de DSLs à l'intérieur du langage deprogrammation Scala. La virtualisation de langage utiliseintensivement le polymorphisme et la composition mixin de Scala ainsique des techniques de génération de code à l'exécution pour embarquerdes langages spécifiques dans Scala dont la compilation peutréutiliser des modules du compilateur mais aussi étendre ces dernierspar des optimisations spécifiques au domaine. des optimisations spécifiques au domaine.)
Seminar/2011-02-09 + (Nous étudions la problématique du mélange … Nous étudions la problématique du mélange de paradigmes de programmationvariés plongés dans un environnement concurrent. Dans cetteperspective, nous poursuivonsun cheminement similaire à celui qui conduit du lambda-calcul auxlangages fonctionnels, maisen prenant comme point de départ le π-calcul. Nous proposons lamachine abstraite des π-threadsdont la principale originalité est l’absence de pile d’exécution.Cette caractéristiquepermet de nous reposer dans nos implémentations sur des algorithmessimples et naturellementconcurrents, notamment pour ce qui concerne l’ordonnancement et leramasse-miettes. Pour cedernier, nous proposons un algorithme permettant de récupérer trèssimplement les cycles deprocessus en interblocage et autres structures bloquantes.erblocage et autres structures bloquantes.)
Seminar/2021-10-06 + (Optimal transport (OT) has recently gained … Optimal transport (OT) has recently gained a lot of interest in machine learning. It is a natural tool to compare in a geometrically faithful way probability distributions. It finds applications in both supervised learning (using geometric loss functions) and unsupervised learning (to perform generative model fitting). OT is however plagued by the curse of dimensionality, since it might require a number of samples which grows exponentially with the dimension. In this talk, I will review entropic regularization methods which define geometric loss functions approximating OT with a better sample complexity.mating OT with a better sample complexity.)
Seminar/2011-05-18 + (Pour encoder de manière efficace une séque … Pour encoder de manière efficace une séquence vidéo, la redondancetemporelle est souvent utilisée. Pour cela, le mouvement entre l'imageconsidérée et une image de référence est estimé. Cela permet degénérer une prédiction à partir de l'image de référence et seule ladifférence entre la prédiction et l'image réelle est enregistrée. Pourestimer ce mouvement, les codecs se contentent souvent de suivrel'évolution spatiale de blocs dans l'image. Ils associent, pour chaquebloc de l'image considérée, un bloc similaire dans un voisinage prochedans l'image de référence. Nous présentons ici une méthode originalepour réaliser cette prédiction par compensation de mouvement. Notreméthode utilise les distances tangentes. Cela permet non seulementd'estimer l'évolution de la position des blocs de l'image mais enpartie aussi l'évolution du bloc lui-même. Nos prédictions sont doncde meilleure qualité. Utilisée dans l'encodage de séquences, on peutespérer un gain de compression non négligeable. Pour validerl'efficacité de la méthode, nous intégrons cette méthode dans le codecTheora et mesurons son efficacité en comparant les résultats obtenusavec notre méthode et ceux obtenus par une stratégie classique (leblock-matching).e stratégie classique (le block-matching).)
Seminar/2009-02-11 + (JoCaml est une extension d'Objective Caml … JoCaml est une extension d'Objective Caml pour la programmationconcurrente et distribuée, inspirée par le join-calcul. Nous avonsrécemment publié une nouvelle version de JoCaml, dont la compatibilitéavec OCaml est meilleure que celle de la version initiale de F. LeFessant. La nouvelle version pourra facilement être mise à jour aurythme d'OCaml et est binaire-compatible avec OCaml.L'exposé s'attachera plus au langage JoCaml qu'au système JoCaml. Ilmontrera comment, à partir d'un programme potentiellementparallélisable écrit en OCaml (le ray tracer du concours ICFP 2001),on peut facilement produire un programme distribué, dans le casabordé, très efficace. Ce sera l'occasion d'aborder la programmationen JoCaml de la coordination de multiples agents coopérants, d'unemanière simple et concise dans l'esprit de la programmationfonctionnelle.JoCaml est disponible en http://jocaml.inria.fr/.est disponible en http://jocaml.inria.fr/.)
Seminar/2018-12-14 + (Recent advances in medical image computing … Recent advances in medical image computing have resulted in automated systems that closely assist physicians in patienttherapy. Computational and personalized patient models benefit diagnosis, prognosis and treatment planning, with adecreased risk for the patient, as well as potentially lower cost. HeartFlow Inc. is a successful example of a companyproviding such a service in the cardiovascular context. Based on patient-specific vascular model extracted from X-ray CTimages, they identify functionally significant disease in large coronary arteries. Their combined anatomical andfunctional analysis is nonetheless limited by the image resolution. At the downstream scale, a functional exam calledMyocardium Perfusion Imaging (MPI) highlights myocardium regions with blood flow deficit. However, MPI does notfunctionally relate perfusion to the upstream coronary disease. The goal of our project is to build the functionalbridge between coronary and myocardium. To this aim we propose an anatomical and functional extrapolation. We produce aninnovative vascular network generation method extending the coronary model down to the microvasculature. In theresulting vascular model, we compute a functional analysis pipeline to simulate flow from large coronaries to themyocardium, and to enable comparison with MPI ground-truth data.ble comparison with MPI ground-truth data.)
Seminar/2019-03-06 + (Rendre la vue à ceux qui l’ont perdue a lo … Rendre la vue à ceux qui l’ont perdue a longtemps été considéré comme un sujet réservé à la science-fiction. Cependant,sur les vingt dernières années les efforts intensifiés dans le domaine des prothèses visuelles ont abouti à des avancéessignificatives, et plusieurs centaines de patients dans le monde ont reçu de tels dispositifs. Ce séminaire présenterabrièvement le domaine des prothèses rétiniennes avec une focalisation particulière sur les aspects de traitementd’image. Nous exposerons les principales approches, les limitations connues et les résultats. les limitations connues et les résultats.)
Seminar/2013-03-27 + (SMIL est une bibliothèque de traitement d' … SMIL est une bibliothèque de traitement d'images 2D/3D. Elle a étédéveloppée pour répondre à une demande de plus en plus forte (enparticulier dans le cas de projets industriels) en termes deperformances : taille d'images (2D ou 3D) et temps d'exécution.Développée en C++ et utilisant les templates, elle peut être utiliséeavec n'importe quel type standard de données. Un effort important aété porté sur la factorisation du code (par le biais de functors),d'une part, pour faciliter l'intégration de nouvelles fonctions, etd'autre part pour concentrer les parties du code permettantl'optimisation. Ces "briques" communes optimisées utilisent le codeSIMD généré par l'auto-vectorisation de gcc et sont égalementparallélisées grâce à l'utilisation d'OpenMP.allélisées grâce à l'utilisation d'OpenMP.)
Seminar/2008-03-26 + (Separation of concerns is the idea of brea … Separation of concerns is the idea of breaking down a program intoencapsulated pieces that overlap in functionality as little aspossible. Encapsulated entities, such as classes, methods or modules,are more manageable, easier to test and maintain, and may be reusedmore easily than a large, entangled program. A cross-cutting concernis something that cannot be encapsulated using normal abstractionmechanisms, thus defeating separation of concerns. A classical exampleof this is logging (e.g., logging calls and returns to a file whilethe program is running) - the logging code needs to be added to everyapplicable method in the program. The logging code for each method maybe almost identical, creating an undesirable overlap infunctionality. Aspects let a programmer implement a cross-cuttingconcern as a separate entity, through advice (how a concern should beimplemented) and join points (where it should be implemented). I willgive an introduction to aspect-orientation and aspect languages, andalso talk a bit about domain-specific aspect languages.it about domain-specific aspect languages.)
Seminar/2009-03-25 + (Si une fonction φ promet de manipuler une … Si une fonction φ promet de manipuler une valeur de type α sansl'observer, on peut utiliser son code sans risque pour toutes lesaffectations possibles de α : que la valeur soit entière (α = int) ouqu'elle soit un arbre (α = tree), la fonction se comporteratoujours de façon identique. Cette propriété s'appelle le polymorphismeparamétrique, l'essence de la généricité.Promettre de ne pas observer de trop près son argument est un fardeauparfois insupportable pour une fonction, pour des raisonsalgorithmiques (comment prendre une décision sans savoir ce que vautmon argument ?), ou encore pour des raisons de performances debas-niveau (si je sais que α = int, je peux utiliser une primitivedédiée de mon processeur). Même si le type d'une valeur est cachéderrière un type plus abstrait α, on peut fournir des mécanismes pour« le redécouvrir » grâce à des tests dynamiques ou à des raisonnementspurement statiques. La propriété qui permet de diriger son calcul parla forme des types est appelée le polymorphisme intentionnel.Dans cet exposé, nous présenterons plusieurs versions dupolymorphisme intentionnel offertes par différents systèmes de typeset de preuves sûrs (c'est-à-dire garantissant que les programmesne peuvent pas planter et sont corrects vis-à-vis de leur spécification).corrects vis-à-vis de leur spécification).)
Seminar/2009-04-22 + (SmartEiffel, également connu sous le nom d … SmartEiffel, également connu sous le nom de GNU Eiffel, est à la foisun langage et un ensemble d'outils de compilations, de documentation etde validation.Le langage SmartEiffel vise à favoriser la mise en pratique desprincipales exigences liées au développement d'un gros logiciel parune grande équipe. En plus d'exigences en terme de qualité, desécurité et de documentation, la définition de SmartEiffel estégalement soucieuse de l'efficacité du programme à l'exécution. Ainsi,le modèle des objets qui est à la base du langage intègre égalementles types les plus élémentaires sans surcoût potentiel à l'exécution.Pour sa part, le mécanisme de programmation par contrats qui estessentiel en matière de documentation est également un bon moyen derechercher les meilleures performances à l'exécution.Durant cet exposé, la visite guidée du langage présentera le modèled'objets, la programmation par contrats, la double forme d'héritagemultiple ainsi que le mécanisme des agents.ultiple ainsi que le mécanisme des agents.)
Seminar/2019-10-01 + (The Loci Auto-Parallelizing framework prov … The Loci Auto-Parallelizing framework provides a Domain SpecificLanguage (DSL) for the creation of high performance numericalmodels. The framework uses a logic-relation model to describeirregular computations, provide guarantees of internal logicalconsistency, and provides for automatic parallel execution. Theframework has been used to develop a number of advance computationalmodels used in production engineering processes. Currently Loci basedtools form the backbone of computational fluid dynamics tools used byNASA Marshall and Loci based codes account for more than 20% of thecomputational workload on NASA’s Pleiades supercomputer. This talkwill provide an overview of the framework, discuss its generalapproach, and provide comparisons to other programming models througha mini-app benchmark. In addition, future plans for developingefficient schedules of fine-grained parallel and memory bandwidthconstrained computations will be discussed. Finally, some examples ofthe range of engineering simulations enabled by the technology will beintroduced and briefly discussed. will be introduced and briefly discussed.)

(The Single-chip Cloud Computer (SCC) is a 48-core experimental processor)

Seminar/2012-10-17 + (The Single-chip Cloud Computer (SCC) is a … The Single-chip Cloud Computer (SCC) is a 48-core experimental processorcreated by Intel Labs targeting the many-core research community. The 6x4mesh Network-on-Chip provides 24 tiles with 2 cores each. All cores areindependent and run their own instance of an operating system. It hashardware support (local buffers on the tiles) for sending short messagesbetween cores, and allows for voltage and frequency control at 8 and 2 coresrespectively.We have already modified the SVP runtime system to use these on-chip buffersfor the communication between threads executed on separate cores. We alsocreated a visual application for manual process migration and scheduling onthe SCC as well as a library for customized voltage and frequency scaling onthe chip.Currently we focus on automated parallelization and mapping of one ormultiple sequential programs onto the 48 cores by modifying the daedalusframework to target the SCC. The daedalus framework parallelizes sequentialC programs using Kahn Process Networks (KPNs) and generates code to run theKPN on multiple hardware platforms like for example an FPGA, SMP CPU orGPU. The SCC backend, which is work in progress, should result in a toolthat utilizes the SCC cores in an optimal way by means of performance andenergy consumption. It should also allow the system to dynamically adapt onchanges in the computational or communicational needs of the processes byscaling frequency and migrating processes.scaling frequency and migrating processes.)
Seminar/2011-11-16 + (The ilastik system developed by our group … The ilastik system developed by our group uses machine learning andsimple interaction techniques to empower users without special imageprocessing expertise to segment and analyze their 2- and 3-dimensionalimage data on their own. It offers a number of easy-to-use workflowsfor various common analysis tasks. The talk will present two of theseworkflows (“interactive classification” and “region carving”), goingfrom an online demonstration of the high-level user experience down tothe algorithmic and software design details. Special emphasis will beput on aspects of genericity and parallelization which facilitateconvenient adaptation of basic building blocks to different contextswithout loss of performance. Examples from challenging biologicalapplications will illustrate our system's capabilities.will illustrate our system's capabilities.)
Seminar/2019-12-17 + (The relationship between neighboring pixel … The relationship between neighboring pixels plays animportant role in many vision applications. A typical example of arelationship between neighboring pixels is the intensity order, whichgives rise to some morphological tree-based image representations(e.g., Min/Max tree and tree of shapes). These trees have been shownuseful for many applications, ranging from image filtering to objectdetection and segmentation. Yet, these intensity order based trees donot always perform well for analyzing complex natural images. Thesuccess of deep learning in many vision tasks motivates us to resortto convolutional neural networks (CNNs) for learning such arelationship instead of relying on the simple intensity order. As astarting point, we propose the flux or direction field representationthat encodes the relationship between neighboring pixels. We thenleverage CNNs to learn such a representation and develop somecustomized post-processings for several vision tasks, such as symmetrydetection, scene text detection, generic image segmentation, and crowdcounting by localization. This talk is based on [1] and [2], as wellas extension of those previous works that are currently under review.[1] Xu, Y., Wang, Y., Zhou, W., Wang, Y., Yang, Z. and Bai, X.,2019. Textfield: Learning a deep direction field for irregular scenetext detection. IEEE Transactions on Image Processing.[2] Wang, Y., Xu, Y., Tsogkas, S., Bai, X., Dickinson, S. and Siddiqi,K., 2019. DeepFlux for Skeletons in the Wild. In Proceedings of theIEEE Conference on Computer Vision and Pattern Recognition.n Computer Vision and Pattern Recognition.)
Seminar/2021-05-12 + (Topological Data Analysis (TDA) is a recen … Topological Data Analysis (TDA) is a recent area of computer science that focuses on discovering intrinsic structures hidden in data. Based on solid mathematical tools such as Morse theory and Persistent Homology, TDA enables the robust extraction of the main features of a data set into stable, concise, and multi-scale descriptors that facilitate data analysis and visualization. In this talk, I will give an intuitive overview of the main tools used in TDA (persistence diagrams, Reeb graphs, Morse-Smale complexes, etc.) with applications to concrete use cases in computational fluid dynamics, medical imaging, quantum chemistry, and climate modeling. This talk will be illustrated with results produced with the "Topology ToolKit" (TTK), an open-source library (BSD license) that we develop with collaborators to showcase our research. Tutorials for re-producing these experiments are available on the TTK website.eriments are available on the TTK website.)
Seminar/2015-03-11 + (Motivé par de nombreuses applications, all … Motivé par de nombreuses applications, allant de la cryptographie aucalcul mathématique, le calcul formel s'est fortement développé cesdernières années tant au niveau des algorithmes que des implantationsefficaces. L'efficacité des calculs repose sur celle de bibliothèquesdédiées, pour certaines opérations de base, comme l'algèbre linéairedans un corps fini ou avec des entiers multi-précision. Devant lamultiplicité des domaines de calcul et des variantes algorithmiquesdisponibles, la conception de ces bibliothèques doit concilier uneforte généricité avec l'efficacité.Nous allons présenter comment cette problématique est abordée dans lesbibliothèques d'algèbre linéaire exacte FFLAS-FFPACK (2) et LinBox(3). Après une présentation générale de ces projets, nous focaliseronsla présentation sur trois aspects représentatifs:- l'exploitation des diverses arithmétiques de base (entière,flottante, booléenne), de routines numériques optimisées et leurintégration au sein d'algorithmes génériques haut niveau ;- l'approche boîte-noire de la bibliothèque LinBox, proposant unmodèle algorithmique spécifique, particulièrement performant pour lesmatrices creuses ou structurées ;- La parallélisation de code dans FFLAS-FFPACK, basée sur un langagespécifique (DSL) permettant d'utiliser de façon interchangeabledifférents langages et moteurs exécutifs, et de tirer parti duparallélisme de tâche avec dépendance par flot de données.tâche avec dépendance par flot de données.)
Seminar/2016-09-28 + (Traditionnellement, la prospection commerc … Traditionnellement, la prospection commerciale B2B se fait grâce à deslistes d'entreprises classées manuellement, sur la base de donnéesadministratives renseignées à la création des entreprises. Ces listessont donc souvent dépassées, très chères et peu qualifiées.C-Radar, produit développé par la société Data Publica, veuttransformer la prospection commerciale en enrichissant ces donnéesadministratives par des données issues du web. Ainsi, on obtient desdonnées fraîches, plus ciblées. Et grâce aux techniques de machinelearning et de clustering, on peut obtenir automatiquement des listesd'entreprises pertinentes à faible coût.Lors de cette présentation, nous aborderons les différentes techniquesde science des données mises en œuvre dans ce produit, en relationavec les fonctionnalités du produit.ation avec les fonctionnalités du produit.)
Seminar/2012-03-21 + (Une question fondamentale pour mes recherc … Une question fondamentale pour mes recherches est de savoir ce qu'estune image. Cela peut sembler à première vue une question trop simple :une image, c'est un ensemble de points. Mais ces points sont reliésentre eux, c'est ce qu'on appelle une structure, et ils ont desdonnées de types multiples qui leur sont attachées. La bibliothèqueMilena, développée au LRDE, est une bibliothèque générique dédiée autraitement d'images. Dans Milena, trois axes indépendants sontdéveloppés : l'axe des structures, l'axe des données, et celui desalgorithmes, c'est-à-dire de ce qu'on peut faire avec une image.Dans cet exposé, je vais développer plusieurs exemples dans lesquelsje choisirai un algorithme et un type de données, en faisant varier lastructure. Changer la structure, c'est penser les images d'une manièredifférente, et c'est quelque chose d'extrêmement porteur en recherche.- Un premier exemple est celui d'un algorithme classique de segmentation : la ligne de partage des eaux. Originellement pensé sur les pixels, sa traduction dans le cadre des arêtes donne le problème classique d'arbre couvrant de poids minimum. Si la ligne de partage des eaux est très connue en traitement d'images, les arbres de poids minimum sont très utilisés en classification. Un pont naturel est alors établi entre deux communautés différentes, et les idées provenant de ces deux communautés peuvent être combinées.- Un deuxième exemple est celui de la représentation arborescente des images. Pour illustrer, tant les lignes de niveaux que les composantes connexes des ensembles de niveaux (les coupes) des images sont naturellement structurées en arbre : deux lignes ou deux composantes sont soit disjointes soit emboîtées. On peut filtrer une image en éliminant de l'arbre tous les nœuds qui ne vérifient pas un critère. Mais on peut aussi considérer l'arbre lui-même comme une image, et appliquer sur cet arbre un algorithme de traitement d'images. C'est une idée récursive très riche.D'autres exemples pourront être développés en fonction du temps : liensentre ligne de partage des eaux topologique et segmentationhiérarchique, topologie discrète dans divers cadres...La bibliothèque Milena permet d’appliquer la plupart des algorithmesexistants à une nouvelle structure, ce qui est un gain de tempsincontestable. Cela permet de se concentrer sur ce qui fait le cœurde mon métier: chercher un algorithme plus efficace, adapté à un typede structure, ou encore chercher quelles sont les propriétésmathématiques d’un algorithme sur une structure donnée. d’un algorithme sur une structure donnée.)
Seminar/2017-02-08 + (Vcsn est une plateforme consacrée aux auto … Vcsn est une plateforme consacrée aux automates et aux expressionsrationnelles. Parce qu'elle traite une large variété de naturesd'automates, elle place en son coeur le concept de "contexte", quitype les automates, les expressions rationnelles, etc. La plateformerepose sur une bibliothèque C++14 "templatée" par des contextes, audessus de laquelle la couche "dyn" qui, grâce à de l'effacement detype et de la compilation à la volée, offre à l'utilisateur le confortd'une bibliothèque traditionnelle avec la généricité et lesperformances d'une bibliothèque templatée. Ces bibliothèques sontensuite exposées au travers d'outils en ligne de commande, mais aussiPython et surtout IPython, qui permettent une exploration interactivesimple d'algorithmes.La bibliothèque Vcsn repose sur un ensemble d'objets - automates,étiquettes, poids, polynômes, expressions rationnelles etdéveloppements rationnels - sur lesquels sont fournis plus de troiscents algorithmes. Dans certains cas, Vcsn offre des fonctionalitésinégalées, et certains de ces algorithmes ont des performancessupérieures à celles des projets comparables.Nous ferons une présentation de l'architecture générale de Vcsn, sousla forme d'une démonstration guidée par les questions, ainsi qu'unexposé des objectifs de Vcsn 3.0.si qu'un exposé des objectifs de Vcsn 3.0.)
Seminar/2021-02-10 + (We introduce iposets - posets with interfa … We introduce iposets - posets with interfaces - equipped with a novel gluingcomposition along interfaces and the standard parallel composition. We studytheir basic algebraic properties as well as the hierarchy of gluing-parallelposets generated from singletons by finitary applications of the twocompositions. We show that not only series-parallel posets, but alsointerval orders, which seem more interesting for modeling concurrent anddistributed systems, can be generated, but not all posets. Generating posetsis also important for constructing free algebras for concurrent semi-ringsand Kleene algebras that allow compositional reasoning about such systems.ompositional reasoning about such systems.)
Seminar/2022-06-22 + (We present a framework for modelling and v … We present a framework for modelling and verifying epistemic properties overparameterized multi-agent systems that communicate by truthful publicannouncements. In this framework, the number of agents or the amount of certainresources are parameterized (i.e. not known a priori), and the correspondingverification problem asks whether a given epistemic property is true regardlessof the instantiation of the parameters. As in other regular model checking (RMC)techniques, a finite-state automaton is used to specify a parameterized familyof systems.Parameterized systems might also require an arbitrary number of announcements,leading to the introduction of the so-called iterated public announcement.Although model checking becomes undecidable because of this operator, we providea semi-decision procedure based on Angluin's L*-algorithm for learning finiteautomata. Moreover, the procedure is guaranteed to terminate when someregularity properties are met. We illustrate the approach on the Muddy Childrenpuzzle, and we further discuss dynamic protocol encodings through the DiningCryptographer example.Initial publication at AAMAS21, joint work with Anthony Lin and Felix Thomasint work with Anthony Lin and Felix Thomas)
Seminar/2018-05-30 + (We show a symbolic-execution-based algorit … We show a symbolic-execution-based algorithm computing the preciseeffect of a program cycle on program variables. For a program variable,the algorithm produces an expression representing the variable valueafter the number of cycle iterations specified by parameters of theexpression. The algorithm is partial in the sense that it can fail tofind such an expression for some program variables (for example, itfails in cases where the variable value depends on the order of paths inthe cycle taken during iterations).We present two applications of this loop summarization procedure. Thefirst is the construction of a nontrivial necessary condition on programinput to reach a given program location. The second application is aloop bound detection algorithm, which produces tighter loop bounds thanother approaches.tighter loop bounds than other approaches.)
Seminar/2008-04-30 + (Mouldable programming is about looking at … Mouldable programming is about looking at programs as mouldablefragments of code, not as the static, brittle syntax software oftenturns out to be. Some simple examples follow. The notation for callinga method "push" which adds an element "E" to a stack "S" can be OO orstatic method style, it can modify "S" or return the new stacketc. Can we simplify usage to just one form, and mould it to theactual call? A function which breaks down for some input can signalthis using return flags, special return values, or exceptions, to namesome common ways. Can we abstract over this, and mould to the relevanterror handling technique? Often we need to do run-time checking ofarguments, e.g., array indexing bounds, forcing us to introduce lotsof code to deal with the unwanted cases. Can we use mouldable ideas tosimplify the code? In the presentation, we will elaborate on suchexamples, discussing how we can free us from awkward syntacticconstraints.ree us from awkward syntactic constraints.)
Seminar/2012-02-15 + («The effective exploitation of his powers … «The effective exploitation of his powers of abstraction must beregarded as one of the most vital activities of a competentprogrammer.» disait Dijsktra.En effet, pour aborder la complexité d'un problème, l'explicitationdes concepts utiles à sa formalisation et à sa résolution est biensouvent une étape clé. Lorsque que l'on étend ce processus à uneclasse de problèmes qui partagent les mêmes concepts, il est naturelde se doter d'un langage le plus approprié possible pour manipuler cesabstractions spécifiques à un domaine (en anglais, «Domain SpecificLanguage»).Comment implémenter ces DSLs? Une première approche classique reflèteles constructions du DSL sous la forme d'un jeu de fonctions debibliothèque. L'avantage de cette approche est d'utiliser directementson langage généraliste préféré, et sa chaîne de compilationoptimisée, de façon à générer du code machine à moindre frais. Parcontre, dans ce cadre, l'écriture de passe d'optimisations spécifiquesau DSL - à moins d'utiliser des techniques pointues deméta-programmation - est a priori impossible.Une seconde approche, opposée, consiste à écrire un compilateur pourle DSL à partir de zéro. Toute liberté est alors donnée àl'implémenteur d'intégrer à son compilateur des passes d'optimisationspécifiques… mais au prix d'une réimplémentation de passes decompilation déjà présentes, et certainement plus abouties, dans lecompilateur de son langage généraliste favori.Dans cet exposé, je présenterai les travaux de Martin Odersky etson équipe sur la virtualisation de DSLs à l'intérieur du langage deprogrammation Scala. La virtualisation de langage utiliseintensivement le polymorphisme et la composition mixin de Scala ainsique des techniques de génération de code à l'exécution pour embarquerdes langages spécifiques dans Scala dont la compilation peutréutiliser des modules du compilateur mais aussi étendre ces dernierspar des optimisations spécifiques au domaine. des optimisations spécifiques au domaine.)

Special

Search by property

List of results