News

[JOB][PhD] BlockChain

The RMod research team (France) is opening a PhD position:

English Version: Support to the "BlockChain-isation" of software systems

Blockchain is becoming more and more mature as a technology and architecture to secure transactions. Various and competing platforms are emerging such as Hyperledger, Ethereum or Digital Assets.

In this context BlockSY proposes to abstract from these differentes solutions. Now one of the major challenges that companies are confronted is how to migrate existing business making applications use such new architecture. These needs to be be completely restructured and modified to connect them to some blockchain application. Indeed, first experiences show that more than 80% of the time (and project cost) to connect an existing application to a blockchain or to build a blockchain connecting to an existing legacy is spent in the identification of the data flow, database connexion, data manipulation and application internal logic. The goal of the PhD is to support using tools the analysis of existing applications to support the identification of such information. Such tooling should support the use of BlockSy in existing software systems.

The following possible tasks are:

  • Study of Moose an international open-source platform for software analysis developed by RMOD team.
  • Study of Ethereum, Hyperledger and BlockSY
  • Definition of queries - DSL or not
  • Software maps & Tools to explore query results
  • Dedicated metamodel to represent connector and flow of information
  • Code transformation to inject BlockSY interface in existing software

The first experiments show that up to 80% of the time (and money) of such projects is consumed by an analysis of the data flows and the logic of the existing (legacy) systems. This thesis aims at providing new tools for legacy software analysis to help developers identify the data flows, database connections, and where to inject the interactions with the BlockSI platform.

French version: Aide a la Blockchainisation d’Applicatifs Existants

La blockchain devient de plus en plus mure comme technologie et architecture pour securiser des transactions. Differentes plateformes émergent telle Hyperledger, Ethereum ou Digital Assets. Dans ce cadre BlockSI de SYMAG se propose d’abstraire les differentes solutions. Un des défis majeurs auquel les companies voulant tirer bénéfices de solutions Blockchain sont confrontées est comment migrer des applications existantes pour utiliser cette nouvelle architecture. En effet, de premières experiences montrent que plus de 80% du temps (et cout de projet) pour connecter une application blockchain a un applicatif existant est passe dans l’identification des flux et logiques des applicatifs. Le but de la these est d’outiller l’analyse d’applicatifs afin d’identifier les flux de donnees, les connexions en base de donnees afin de permettre l’injection d’appel a la plateforme BlockSI.

Plan de travail possible:

  • Montee en puissance sur Moose http://www.moosetechnology.org la plateforme open-source développer en partie par l’équipe RMOD
  • Montee en puissance sur Blockchain/Ethereum/Hyperledger et BlockSY
  • Définition de vue/requete - DSL ou langage dédié
  • Representation sous forme de carte - Outils d’exploration des résultats de requetes
  • Creation de metamodel dédié pour la représentation de connecteurs et flot d'information
  • Injection de connecteur BlockSY dans l’existant.

Work plan:

  • Getting acquainted and proficient in the Moose open source platform (http://www.moosetechnology.org) to which the RMod team is a key contributor
  • Getting acquainted and proficient in the various Blockchain technologies including Ethereum/Hyperledger and, of course, BlockSI
  • Tooling on visualizations, maps, queries, and creation of Domain Specific Lanquage(s)
  • Specification of a specific meta-model to represent connectors and flows
  • Automatic injection of BlockSI connectors in the source code of the legacy systems

Description of the Team and Supervisors

The goal of RMoD is to support ever running systems. This objective is tackled from two complementary perspectives: reengineering of large systems and constructs for dynamic reflective programming languages. In the reengineering perspective we propose new analyses to understand and restructure existing large applications (specialized package metrics, adapted visualizations, layer identifications, automated migration) on top of Moose (an open-source reengineering platform). We work on rule identification, validation. We created Synectique a company deploying tools that support software analyses. http://rmod.inria.fr

Stephane Ducasse: I'm an Inria Research Director. I lead RMoD team. I'm expert in language design and reengineering. I worked on traits. Traits have been introduced in Pharo, Perl, PHP and under a variant into Scala and Fortress. I'm expert on software quality, program understanding, program visualisations, reengineering and metamodeling. I'm one of the developer of Moose, an open-source software analysis platform . I created http://www.synectique.eu/ a company building dedicated tools for advanced software analyses. I'm one of the leader of Pharo a dynamic reflective object-oriented language supporting live programming. I wrote couple hundred articles and several books. According to google my h-index is 53 for more than 12300 citations.

Nicolas Anquetil est Habilité à Diriger des Recherches en informatique à l'Université de Lille depuis mai 2014 Il a un doctorat en informatique de l’université de Montréal (Canada) en 1996, a travaillé successivement à l’Université d’Ottawa (Canada), l’Université Fédérale de Rio de Janeiro (Brésil), l’Université Catholique de Brasilia (Brésil), l’École des Mines de Nantes (France) et l’université de Lille (France, depuis 2009). Ses travaux de recherche se concentrent sur l’évolution logicielle : gestion de l’évolution, gestion des connaissances liées au génie logiciel, qualité logiciel, remodularisation d’architecture. Il a co-orienté 6 thèses de doctorat dans ce domaine et a de nombreuses publications dans les principales conférences et revues internationales du domaine.

Nicolas Anquetil received his habilitation from University of Lille in 2014. He defended his PhD in computer science at University of Montreal (Canada) in 1996. Later he successively worked at University of Ottawa (Canada), Federal University of Rio de Janeiro (Brazil), Catholic University of Brasilia (Brazil), Ecole des Mines de Nantes (France, and University of Lille (France) since 2009. His research interest center around software evolution, including such topics as: software evolution management, knowledge management for software engineering, software quality, software architecture remodularization. He co-supervized 6 PhDs n this domain and has numerous publications in the main conferences and journals in software engineering and software evolution.

Posted by admin at 8 June 2018, 1:35 pm link

[PhD] Virtual machine for debugging high performance computing

The RMOD team of INRIA Lille has an open position for a PhD student.

I. Context

Language virtual machines (such as the Java virtual machine) are deployed everywhere. They can be found on mobiles, on web browsers, on server applications and embedded devices. They implement many features and allow applications to be packaged once and deployed on many different platforms. They provide debugging facilities for the program they run.

Besides, in the context of high performance computing, a single program is deployed on many different machines with different hardwares (CPUs, GPUs, TPUs, FPGAs, ...). Tracking down bugs in this context is tough: all the different machines communicate asynchronously with a nondeterministic order of execution due to side-effects such as latency. Debugging this kind of problem is today close to impossible.

In the RMoD team in Inria Lille, we have skills in virtual machine implementation and application debugging. We built a virtual machine with one of the most powerful debugging engines. Our virtual machine has no support, so far, for vectorised instructions which are really important for high performance computing.

II. Problem & research directions

How to extend the language virtual machine to solve easily and efficiently bugs happening in high performance computing problems in a heterogenous cluster of machines?

The Ph.D will be split in 3 phases:

  1. How to support vector instructions in a language virtual machine with full debugging support? The student will focus on Intel SIMD instructions (AVX, AVX-512) and most likely will design a debuggable DSL on top of the virtual machine using those instructions.
  2. How to integrate vector instructions with the eco-system (frameworks, development tools, virtual machine)? The student would need to implement a library or framework (Matrix library ?) to prove that it is possible to use the DSL implemented in part 1). In terms of development tools, some enhancements are required for them to support vector instructions. Regarding the VM, multiple problems arise (How to align vector objects? How to deal with 256/512 bits of raw data on stack? How to support vector instructions efficiently in JIT compilation?)
  3. Can we efficiently debug high performance computing programs by launching part of the execution on our virtual machine while keeping decent performance ?

The student will need to adapt an existing high performance computing framework to compile to our virtual machine and build the debugging toolchain to be able to debug the part of the program run on our virtual machine. Performance will be slower than normal execution, but it has to stay practical (an hour computation can be down to a night of computation to help solving a problem, but not to months of computation).

Application

To apply, please send us :

  • a CV,
  • a copy of your Master diploma
  • a copy of your Master thesis
  • 2 (two) reference letters, with the contact details of the referents

The application materials should be sent by email to C. Béra <bera.clement@inria.fr> and S. Ducasse <stephane.ducasse@inria.fr>.

Email subject must start with : [PhD-RMoD-VM-2018].

Links

Posted by admin at 21 February 2018, 4:16 pm link

[JOB] 3 Year Starting Research Positions

Inria opended a call for starting researchers. This is a three year contract, with in total 8 research positions (for both starting and advanced combined).

Requirements:

  • Have a French doctorate or an equivalent international degree
  • From 2 to 8 years of experience in research (after the thesis)
  • No age or nationality conditions.
  • Deadline: April 3rd, 2018
  • Before writing their research program, the applicants are strongly encouraged to contact the teams or project(s)-teams leaders concerned by their applications.

More information on the official website.

MISSION

Join one of our two lines of research: Tools for Software Maintenance or New Programming Language Constructs for Software Evolution.

THE REGION

Lille is strategically located in Northern Europe with train connections to Paris (1h), London (1h30) and Brussels (30 min.) The Nord Pas de Calais region is a dynamic area in both industry and research for computer science with companies that are european leaders in their branch. Lille, the capital of northern France is an attractive metropolis of over 1 million inhabitants. Cost of living in Lille is lower than that of very big cities such as Paris and London.

THE TEAM

RMoD is an Inria research project team. It consists of 5 permant researchers (Inria CR and DR, as well as University Assistant Professors) and Engineers, postdocs and students (Master and PhD). RMoD is an international team with around 20 members from six countries.

LINKS:

APPLICATION

Please contact the head of the research team: Stephane.Ducasse@inria.fr or one of the following group members: Nicolas.Anquetil@inria.fr, Marcus.Denker@inria.fr

Posted by admin at 19 February 2018, 9:15 pm link

[JOB] 3 Year Advanced Research Position

Inria opended a call for experienced researchers. This is a three year contract, with in total 8 research positions (for both starting and advanced combined).

Requirements:

  • Have a French doctorate or an equivalent international degree
  • Be able to prove at least eight years of research and/or post-doctoral academic or industrial experience;
  • No age or nationality conditions.
  • Deadline: April 3rd, 2018
  • Before writing their research program, the applicants are strongly encouraged to contact the teams or project(s)-teams leaders concerned by their applications.

More information on the official website.

MISSION

Join one of our two lines of research: Tools for Software Maintenance or New Programming Language Constructs for Software Evolution.

THE REGION

Lille is strategically located in Northern Europe with train connections to Paris (1h), London (1h30) and Brussels (30 min.) The Nord Pas de Calais region is a dynamic area in both industry and research for computer science with companies that are european leaders in their branch. Lille, the capital of northern France is an attractive metropolis of over 1 million inhabitants. Cost of living in Lille is lower than that of very big cities such as Paris and London.

THE TEAM

RMoD is an Inria research project team. It consists of 5 permant researchers (Inria CR and DR, as well as University Assistant Professors) and Engineers, postdocs and students (Master and PhD). RMoD is an international team with around 20 members from six countries.

LINKS:

APPLICATION

Please contact the head of the research team: Stephane.Ducasse@inria.fr or one of the following group members: Nicolas.Anquetil@inria.fr, Marcus.Denker@inria.fr

Posted by admin at 17 February 2018, 12:30 pm link

Talk: Challenges of High-performance Language Virtual Machines

In the Inria Lille Series of "30 minutes of Science", Clément Bera will give a talk:

Title: Challenges of High-performance Language Virtual Machines

Abstract:

Language virtual machines are now everywhere, from server to mobile applications through web pages. The main ones are developed and maintained by large industrial groups (Oracle and the JVM, Microsoft and .Net, Google and V8, etc.). The talk introduces the different components of a virtual machine (Interpreter, JIT compiler, Memory Manager) and the key challenges to build a good one. Then, the talk details the current and incoming research going-on at RMoD around this topic.

  • When? 7 Feb 2018, 13:30
  • Where? Inria Lille, Building A
Posted by admin at 6 February 2018, 2:47 pm link
<< 1 2 3 4 5 6 7 8 9 10 >>