News

[JOB][PhD] Infrastructure and Language Kernels for IoT Systems

The RMOD team of INRIA Lille and the CAR theme of IMT Lille Douai have an open position for a PhD student on Infrastructure and language kernels for IoT Systems.

Description

Over the last years, the RMOD team of INRIA Lille and the CAR theme of IMT Lille Douai have been working together on creating tiny language core. For example, Guillermo Polito demonstrated in his PhD a fully reflective kernel that fits into 80 kb of memory and that it is possible to have hyper specialized kernels down to 11 kb. We have also worked on remote debugging (PhD of N. Papoulias) and dynamic code updates (PhD of P. Tesone) of such kernels. All of these works are prototyped in Pharo. More recently, RMOD have been working on advanced probes mechanisms (M. Denker) and a solid remote debugging infrastructure (D. Kudriashov). The goal of this PhD is to revisit the architecture around such mini-kernels for building IoT applicatons.

The following tasks are foreseen :

  • improve the tools to : edit, compile, debug, deploy and update such kernels on IoT devices. Learning how to debug remotely and dynamically update such IoT systems using the PharmID Pharo environment. This task will be in cooperation with M. Denker and D. Kudriashov on remote debugging for IoT and G. Polito for the kernel edition and tooling,
  • define some language extensions to manage groups of IoT devices to program them at once. Managing hundreds or even thousands of IoT devices is a challenging task. We want to explore different solutions to help deploying and updating groups of IoT devices using some registration mechanism in a cloud server or some groups/roles based approaches for example,
  • expressing the architecture of IoT applications. We would like to explore also how to express IoT architectures and what are the abstractions that should be offered to developers such as expressing event-driven architectures with declarative ECA (Event-Conditions-Actions) rules. But we will study a couple of typical IoT applications.
  • dynamically update an IoT application. An IoT application needs to adapt itself because unreachable or faulty devices or the diminution of available bandwith. We would like that the whole application can reconfigure itself in such situations as Guillaume Grondin proposes it in its PhD.
  • Lighweight virtual machines. Virtual machines in the IoT context are very powerful for incremental deployment or dynamic updates. Although they are tuned for speed, they consume space compared to a non VM-based program. In this task, we would like to investigate what is the minimal memory consumption that we can reach for a VM usable for IoT. To do so we will use a standard VM such as Cog (the open- source virtual machine of Pharo) and degrade it. We will use it since our minimal kernels are running on it.

Note that ZweiDenker GmbH is interested in collaboration on the IoT management cloud infrastructure.

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
  • links to videos of demos of your experiments and/or simulations

The application materials should be sent no later than August 30th 2017 by email to Prof. S. Ducasse stephane.ducasse@inria.fr. Email subject must start with : [PhD-RMoD- CAR-2017].

Bibliography

  • Guillermo Polito, Stephane Ducasse, N Bouraqadi, L Fabresse, M Mattone. Virtualization Support for Dynamic Core Library Update. Onward !, Oct 2015, Pittsburg, USA.
  • Guillermo Polito. Virtualization Support for Application Runtime Virtualization and Extension. Ph.D. Thesis 2015. Co-delivree par l’Universite de Lille et l’Ecole des Mines de Douai.
  • Extended results of Tornado : A Run-Fail-Grow approach for Dynamic Application Tayloring. Commanditeur : Ecole des mines de Douai, France. 50p, July 2014
  • Nick Papoulias, Noury Bouraqadi, Luc Fabresse, Stephane Ducasse and Marcus Denker, Mercury: Properties and Design of a Remote Debugging Solution using Reflection, Journal of Object Technology, 14, 1 :1-36, 2015
Posted by admin at 16 June 2017, 1:24 pm link

Pharo 6 Release

Pharo 6 has been released on June 6, 2017!

Read the official release announcement: http://pharo.org/news/pharo6.0-released

To get a monthly newsletter (and the release announcement) via email, consider subscribing to the Pharo Monthly Newsletter.

Posted by admin at 13 June 2017, 10:50 am link

Pharo Days 2017: May 18/19

Mark your calendar: on Thursday 18th & Friday 19th of May we are organising the Pharo Days 2017. This year we moved the location to Lille, France.

Schedule

Each day has a similar schedule. The morning consists of a handful of twenty minute tech talks, the afternoon is an open pair programming workspace, coding sprint and free demo room.

For the full program, have a look here: http://pharo.org/2017PharoDays

Registration

The registration is via this link (even if you are not member of the association). For association members, the reduction will be computed automatically.

The Pharo Days are a two day event with catering included (2 lunches, 1 diner, drinks and snacks).

  • € 199 — Regular
  • € 149 — For individual Pharo Association Members
  • € 89 — For individual Pharo Gold Association Members
  • € 89 — For Pharo Consortium Members (1, 2 or 4 for bronze, silver or gold)
  • € 39 — Students (including diner)
Posted by admin at 2 May 2017, 2:32 pm link

Rendez vous Inria April 27

Business Cases : Contrôle du risque et évolutivité de logiciels business critiques

Le jeudi 27 avril 2017, de 10h à 13h au centre Inria Lille - Nord Europe à Villeneuve d'Ascq, venez assister aux Business cases Inria "Contrôle du risque et évolutivité de logiciels business critiques", avec les témoignages de Thales, Synectique et de l’équipe-projet Rmod. L’événement est en partenariat avec l'AS2I, le Club DSI GUN et Inria.

  • Date : 27/04/2017
  • Lieu : Centre Inria Lille - Nord Europe, bâtiment B - 6 rue Héloïse, Villeneuve d'Ascq

https://www.inria.fr/centre/lille/agenda/business-cases-controle-du-risque-et-evolutivite-de-logiciels-business-critiques

Posted by admin at 19 April 2017, 3:34 pm link

[JOB][Postdoc] Advanced Development Tools

Advanced Development Tools for Dynamic Languages

  • Position type: Post-doctoral Fellow
  • Functional area: Lille (Villeneuve d'Ascq)
  • Research theme: Networks, systems and services, distributed computing
  • Project: RMOD
  • Scientific advisor: stephane.ducasse@inria.fr
  • HR Contact: sandrine.catillon@inria.fr
  • Application deadline: 02/04/2017

About Inria and the job

Inria is a research institute dedicated to promoting ‘scientific excellence in the service of technology transfer and society as a whole’. Inria employs a staff of 2700, drawn from the world’s most prestigious universities, to address the latest challenges in computer science and mathematics. The Institute operates eight Research Centres throughout France. The Inria Lille - Nord Europe Research Centre was founded in 2008 and employs a staff of 360, including 300 scientists working in sixteen research teams. Recognised for its outstanding contribution the socio-economic development of the Nord - Pas-de-Calais Region, the Inria Lille - Nord Europe Research Centre undertakes research in the field of computer science in collaboration with a range of academic, institutional and industrial partners. The strategy of the Centre is to develop an internationally renowned centre of excellence with a significant impact on the City of Lille and its surrounding area. It works to achieve this by pursuing a range of ambitious research projects in such fields of computer science as the intelligence of data and adaptive software systems. Building on the synergies between research and industry, Inria is a major contributor to skills and technology transfer in the field of computer science.

Mission

IDEs (integrated development environment) provides some supporting tools to ease development, such as automatic completion. Now several important tasks are not well covered: for example, merging changes, assessing the tests to automatically rerun, debugging extreme situations,… In addition, they are often based on static type information. The goal of this postdoc is to enhance IDEs for dynamically-typed languages: using multiple approaches: type inferencing, taking advantage of the AST structure, studying the use of examples to produce concrete types. Finally, often tools are inflexible and cannot be adapted to specific domain or projects. New generation tools should support the developers customizing tools to their own workflow and domain following the PhD of A. Chis on Moldable tools.

The goal of this Postdoc is to work on high level IDE on one or more of the following topics:

  • recommander systems (following PhD of S. Proksch)
  • automatic completion
  • back in time debugger and scriptable debuggers
  • automatic test selection and execution (following PhD of V. Blondeau)
  • type inferencer for tooling (following work on RoelTyper and PhD of L. Spoon on type inference)
  • advanced refactorings (following PhD of G. Santos)
  • change merging (following PhD of M. Dias)
  • quality insurance (following PhD of Y. Timchuk)

Skills and profile

The candidate should :

  • hold a PhD degree in Computer Science
  • be fluent in English (French is an advantage but not required)
  • have good programming skills

Experience with DSLs, IDEs, Models, compilers, code analysis... is a plus.

More information here...

Posted by admin at 8 March 2017, 2:40 pm link
<< 1 2 3 4 5 6 7 8 9 10 >>