Colloques du DIRO: hiver 2009
Information générale
Responsable en hiver 2009: Victor Ostromoukhov.
Nos colloques ont normalement lieu le jeudi à 15h30, dans la salle 6214 ou la salle 5340 du Pavillon André-Aisenstadt.
Calendrier
- 15 janvier 2009, 15:30. AA 6214. Iluju Kiringa, University of Ottawa.
- Coordinating Source Data in Relational Data Sharing
- (La présentation se donnera en anglais.)
- Over the last few years, the peer-to-peer (P2P) computing paradigm has emerged as a flexible, democratic, and versatile way of setting up an open-ended network of distributed data and/or computational nodes (peers), where each peer can share data and/or services with other peers in a fully unsupervised fashion. In terms of data sharing, this paradigm has been increasingly popular for sharing plain files such as songs, voice packages and videos over the Internet. Recently, a few large projects have started studying data management challenges raised by the advent of the P2P paradigm. The overall long term goal of these projects is to develop technologies for building gigantic networks of peers that are equipped with relational databases (called peer databases) that make their data available for sharing. Peer databases share data at a more fine-grained level than the one offered by file sharing systems.
- Ensuring data sharing across heterogeneous peer networks in a semantically meaningful way is at the core of research on peer databases. To this end, with others, we have established a collaborative project called Hyperion to materialize the idea of a peer database management system, that is, a P2P network of pre-existing relational peer databases where peers can share data without necessarily integrating the shared data. I will describe the overall Hyperion framework and focus on how queries are answered using both local data and data from acquainted peers, as well on how peer data is coordinated through update propagation and distributed trigger processing. My talk describes joint work with Mehedi Masud, John Mylopoulos, and Verena Kantere.
- 22 janvier 2009, 15:30. AA 6214. Sébastien Gambs , Laboratoire d'Analyse et d'Architecture des Systèmes de Toulouse.
- Fouille de données et protection de la vie privée
- (La présentation se donnera en français.)
- La fouille de données et la protection de la vie privée semblent a priori avoir des buts orthogonaux : la fouille de données s'intéresse à la découverte de connaissances cachées dans les données alors que la protection de la vie privée cherche à préserver la confidentialité des données. Toute la difficulté est donc de trouver comment extraire des connaissances utiles tout en préservant la confidentialité des données sensibles.
- Le domaine de la fouille de données préservant la confidentialité (privacy-preserving data mining en anglais) cherche à répondre à cette interrogation à la fois (1) en étudiant comment les algorithmes de fouilles de données affectent la protection de la vie privée et (2) en trouvant et en analysant de nouveaux algorithmes qui protègent la confidentialité des données. Dans cette présentation, je survolerais les trois grandes familles de techniques existantes dans le domaine : les approches basées sur la perturbation des données, les méthodes de randomisation et le calcul multiparti sécuritaire. Finalement, je conclurai par une discussion sur les limites actuelles de ces techniques et des perspectives de recherche pour essayer de les repousser.
- VENDREDI 23 janvier, 15:30 AA 5340. Bruce Croft, University of Massachusetts.
- Query Evolution
- (La présentation se donnera en anglais.)
- Search engine queries have evolved over the past 30 years from complex Boolean formulations to short lists of "keywords". Despite the apparent simplicity of short queries, choosing the right keywords can be difficult, and understanding user intentions is a major challenge. Techniques such as query expansion and user profiles have been developed to address these problems, but with limited success. Rather than trying to infer user intentions from very short queries, another approach is to improve query processing and retrieval models for long queries. In this talk, I will describe a range of techniques we are investigating for long queries in applications such as web search, collaborative question answering, forum search, and desktop search, with a particular emphasis on models of query transformation.
- 29 janvier 2009, 15:30. AA 6214. Kenneth Regan, SUNY Buffalo
- Skill and Prediction and Cheating in Chess
- (La présentation se donnera en anglais.)
- We propose to model skill in chess directly by the quality of moves chosen, to supplement the standard Elo rating system which works only by the results of games. Game results are relatively few and subject to luck, while move decisions are many and pertain only to the player being measured. A decision-based model also yields probabilistic predicitons of behavior by players of certain skill levels. This is a necessary foundation for developing rigorous statistical tests for allegations of cheating with computers during online and over-the-board games, which mushroomed after the infamous "Toilet Scandal" of the Topalov-Kramnik world championship match in October 2006. Applications and opinions on some cases will be given. The advent of $50 programs that can slaughter world champions on laptops costing under $1000 has raised this spectre of cheating, but ironically also makes possible all this analysis by which to combat it.
- For larger issues, is there a simple mathematical law that governs move-choice in chess? A 150-page C++ program to be shown and run in the talk so far says, "Not quite." The program does prove that even the smartest technical people get cocky or conservative when ahead, and demoralized or risk-crazy when behind. Open issues, statistical dilemmas, and opportunities for contributing to the project will be presented as well.
- 5 février 2009, 15:30. AA 6214. Daniel M. German, University of Victoria
- Change Impact Graphs: Determining the Impact of Prior Code Changes
- (La présentation se donnera en anglais.)
- The source code of a software system is in constant change. The impact of these changes spreads out across the software system and may lead to the sudden manifestation of failures in unchanged parts. To help developers fix such failures, we propose a method that, in a pre-processing stage, analyzes prior code changes to determine what functions have been modified. Next, given a particular period of time in the past, the changes to functions during this period are propagated throughout the rest of the system using the dependence graph of the system. This information is visualized using Change Impact Graphs (CIGs). Through a case study based on the Apache Web Server, we demonstrate the benefit of using CIGs to investigate several real defects.
- 19 février 2009, 15:30. AA 6214. Samson Abramsky, Oxford University
- Quantum Information Flow: A Computer Science Perspective
- (La présentation se donnera en anglais.)
- Some startling new perspectives on information and computation have been opened up over the past two decades by the development of Quantum Information and Computation: taking seriously the fact that 'Information is Physical', i.e. that information processing devices are embodied as physical systems, of an ultimately quantum-mechanical nature.
- We shall describe how methods and concepts from Computer Science can be used to recast the formalism of Quantum Mechanics itself in an elegant and conceptual form, well suited to the needs of Quantum Information; and how this can be applied very effectively to the description and analysis of quantum information protocols.
- This opens up the field of Quantum Information and Computation to the kind of high-level, compositional methods which have proved so important in classical Computer Science. Moreover, the formalism can be presented in a visually appealing and intuitive diagrammatic form, with links to ideas both in graphical representations of proofs, and in current work in knot theory and mathematical physics.
- 26 février 2009, 15:30. AA 6214. René Witte, Concordia University
- Software Engineering and Natural Language Processing: Friends or Foes?
- (La présentation se donnera en anglais.)
- This talk will investigate some connections between software engineering (SE) and natural language processing (NLP). It will attempt to answer questions such as "Why do software engineers use natural language artifacts everywhere, but no NLP?" and "Why, after more than 10 years of modern NLP research, do we still not have the most basic NLP functionalities integrated into our desktops?". In the first part, we examine NLP for SE: Documents written in natural languages constitute a major part of the artifacts produced during the software engineering lifecycle. Especially during software maintenance or reverse engineering, semantic information conveyed in these documents can provide important knowledge for the software engineer. However, while source code artifacts are well-managed by today's software development tools, documents are not integrated on a semantic level with their corresponding code artifacts. This results in a number of problems, like the loss of traceability links between code and its documentation (requirements specifications, user guides, design documents). We show how natural language processing approaches can be used to retrieve semantic information from software documents and connect them with source code using ontology alignment techniques. The second part of the talk will investigate the integration of existing NLP techniques (such as summarization or question-answering) into end-user desktop programs (such as email clients or word processors). This work is motivated by the observation that none of the impressive advances in NLP and text mining over the last decade has materialized in the tools and desktop environments in use today. The "Semantic Assistants" project aims to provide effective means for the integration of natural language processing services into existing applications, using an open service-oriented architecture based on OWL ontologies and W3C Web services.
- 12 mars 2009, 15:30. AA 6214. Pierre L'Ecuyer, Université de Montréal.
- Le hasard artificiel
- (La présentation se donnera en français.)
- Depuis les débuts de l'informatique on tente de construire des algorithmes déterministes produisant une longue suite de nombres que l'on peut utiliser comme s'ils étaient des nombres au hasard (dans le sens de variables aléatoires indépendantes selon une loi uniforme). Bien sûr, on ne peut pas reproduire le vrai hasard par des méthodes purement déterministes, mais on sait construire des imitations, appelées générateurs (pseudo)aléatoires. Ces algorithmes sont beaucoup moins encombrants que les mécanismes physiques produisant des vrais nombres aléatoires. On les utilise pour une foule d'applications pratiques, comme par exemple la simulation de systèmes ayant un comportement aléatoire, les méthodes Monte Carlo, les jeux par ordinateur, les loteries, et la cryptologie. Des logiciels s'appuyant sur ces générateurs sont utilisés couramment dans quasiment tous les domaines. Vous les utilisez probablement en toute confiance sans trop vous poser de questions et peut-être même sans le savoir. Mais peut-on vraiment s'y fier?
- Dans cet exposé, on passera en revue les qualités requises d'un bon générateur selon la classe d'applications visée. On s'attardera davantage sur les besoins en simulation, où les algorithmes déterministes sont nettement préférables aux mécanismes physiques (on expliquera pourquoi). On examinera des solutions proposées, en soulignant leurs forces et leurs faiblesses d'un point de vue théorique ainsi que d'un point de vue empirique et pratique. On verra en particulier que les générateurs fournis dans les logiciels commerciaux les plus en vogue sont souvent parmi les moins fiables et on vous proposera de meilleures solutions. On mettra aussi en évidence certains travaux réalisés au laboratoire de simulation du DIRO au cours des 15 dernières années.
- Cet exposé s'adresse à un auditoire ayant une formation générale en informatique, mais non spécialisé sur le sujet de la présentation.
- 19 mars 2009, 15:30. AA 6214. Sandra Beauchesne, Bereskin & Parr
- La protection des logiciels par brevet
- (La présentation se donnera en français.)
- La protection des logiciels par brevet a beaucoup évolué au cours des dernières années. Contrairement à la croyance populaire, il est maintenant possible de protéger un logiciel indépendamment du périphérique ou des composants avec lesquels il est utilisé. Cette présentation examine les critères déterminant la brevetabilité des logiciels, fournit des exemples pratiques de brevets de logiciels et procède à un rapide survol des enjeux liés à l'utilisation de code Open Source.
- 14 mai 2009, 11:30. AA 3195. Chamseddine Talhi,
- Sécurité des logiciels et des systèmes mobiles
- (La présentation se donnera en français.)
- Avec l'extension des cellulaires, des réseaux sans fil et des périphériques mobiles, la sécurité est devenue un enjeu crucial à considérer d'une manière primordiale. Sécuriser les applications mobiles devient plus qu'impératif, notamment lorsque celles-ci manipulent des données confidentielles telles que les informations relatives aux transactions électroniques. Plus encore, les périphériques mobiles se retrouvent souvent interconnectés, ce qui signifie que les applications qu'ils exécutent peuvent ainsi créer des connexions réseaux et faire circuler des données critiques sur les canaux de communication. Les efforts considérables mis en oeuvre afin de sécuriser les applications mobiles se heurtent à des contraintes sévères par rapport à l'espace mémoire disponible au sein des périphériques en question. De plus, les mécanismes de sécurité déployés engendrent souvent une dégradation de la performance de l'exécution et par conséquent un gaspillage de l'énergie, une ressource qu'il faut dépenser d'une manière optimale. Par conséquent, la sécurité et l'accélération émergent comme étant les deux principaux aspects à considérer lors du développement des systèmes et des logiciels pour les plateformes mobiles. Ces aspects doivent être pris en considération dès les premières phases du cycle de vie des logiciels et des systèmes. L'ingénierie basée-modèle s'impose alors comme étant l'approche à adopter lors du développement de ce type d'applications. Afin de mieux cerner la sécurité des logiciels, l'analyse des attaques de sécurité permet de comprendre leurs fondements, les vulnérabilités qu'elles exploitent et par conséquent déduire les méthodes et les outils nécessaires pour les contrer.
- Dans ce séminaire, je vais aborder le thème de la sécurité des logiciels et des systèmes mobiles. Les contributions que je vais présenter sont liées à ce vaste champs de recherche. Plus précisément, elles couvrent la sécurité et l'accélération des plateformes Java mobiles, les fondements formels du renforcement de la sécurité sous contraintes mémoire, l'ingénierie dirigée par les modèles et l'analyse de la mémoire physique des machines victimes d'attaques de sécurité.
- VENDREDI 15 mai, 11:30 AA 6214. Ueli Maurer, ETH Zurich.
- A Cryptographic Theory of System Indistinguishability
- (La présentation se donnera en anglais.)
- The indistinguishability of discrete interactive systems is a crucial concept in cryptography (and beyond). In this talk, targeted at a general computer science audience, we give an overview of several elements of a general theory of systems and their indistinguishability. We define the mathematical object corresponding to a system, show examples of cryptographic security proofs, and demonstrate recent results on the security amplification of cryptographic schemes. The talk is based on some recent papers for which coauthors include Krzysztof Pietrzak, Renato Renner, and Stefano Tessaro.
- VENDREDI 15 mai, 14:30 AA 3195. Ebrahim Bagheri,
- A physician can bury his mistakes, what about us?
- (La présentation se donnera en anglais.)
- Software product line engineering is concerned with capturing the commonalities, universal and shared attributes of a set of software-intensive applications for a specific problem domain. Product line engineering allows for the rapid development of variants of a domain specific application through various configurations of a common set of reusable assets often known as core assets, which support the management of commonality as well as variability. Feature modeling is an important conceptual tool in this regard. Feature modeling has received great attention both in industry and academia since its inception in the early 90s by the Software Engineering Institute. Its concepts were developed within the Feature Oriented Domain Analysis (FODA) methodology.
- One of the important issues of the feature modeling methodologies is the selection of the optimal and at the same time allowable combination of features that would satisfy the mission and requirements of the application domain. Although tools and techniques for the optimal selection and arrangement of features of a product family are of high importance to the successful configuration of a specific product, they have received less attention in the recent years. Therefore, we need to provide effective tools, techniques and methods for the selection of optimal feature configurations where goals of all stakeholders can be properly addressed. In this talk, I will motivate the problem of optimal feature selection and composition and briefly introduce some of the research we have been conducting in this area.
- MARDI 19 mai 2009, 11:30. AA 3195. Martin MONPERRUS,
- La mesure des modèles: principes et applications
- (La présentation se donnera en français.)
- Une des visions majeures de l'ingénierie dirigée par les modèles est d'automatiser certaines parties de la production des logiciels et des systèmes via l'utilisation de modèles abstraits. La mesure est une activité d'ingénierie qui permet d'obtenir une information quantitative sur les systèmes en cours de développement. La mesure des modèles pourrait permettre aux architectes et aux managers d'estimer les coûts, d'identifier les risques et les défauts, de valider des propriétés et de suivre une démarche d'assurance qualité dès le début du développement. Malheureusement, il est coûteux de développer un outil de mesure ad hoc pour chaque type de modèles manipulés. Nous proposons une approche générative pour la mesure des modèles. D'une part cette approche illustre l'applicabilité concrète de la vision IDM précitée. D'autre part elle contribue à l'élaboration d'un processus global d'ingénierie dirigée par les modèles en y ajoutant une partie métrologie.
- MERCREDI 20 mai 2009, 11:30. AA 3195. Bruno DUFOUR,
- Analyse pratique de programmes en étages
- (La présentation se donnera en français.)
- De nos jours, de plus en plus de programmes utilisent plusieurs couches d'intergiciels (middleware), de bibliothèques (libraries) et de cadres d'applications (frameworks). La taille et la complexité de ces applications en étages présentent de nouveaux défis pour les techniques d'analyse actuelles. Les analyses purement statiques souffrent de problèmes d'extensibilité et/ou de précision insuffisante pour répondre aux questions concernant le comportement de ces applications. Les analyses purement dynamiques, par contre, introduisent souvent trop de dégradation du temps d'exécution, en particulier pour les systèmes déployés, ou sont trop limitées dans l'information qu'ils peuvent enregistrer.
- Dans cette présentation, je vais introduire une nouvelle technique d'analyse combinée (blended analysis) qui permet d'éviter les faiblesses individuelles des analyses purement statiques ou dynamiques. Une analyse combinée consiste à exécuter une analyse dynamique afin de déterminer une région du programme à laquelle sera appliquée une analyse statique. Les analyses combinées permettent d'atteindre une grande précision à moindre coût. Je vais aussi démontrer l'utilité des analyses combinées pour étudier le comportement de programmes, en particulier pour décrire et caractériser l'utilisation de structures de données temporaires.

