Stage de M2: Dynamic Shape Analysis for Sparse Tensor Code

Inria
December 31, 2022
Contact:N/A
Offerd Salary:Negotiation
Location:N/A
Working address:N/A
Contract Type:Other
Working Time:Negotigation
Working type:N/A
Job Ref.:N/A

2022-05527 - Stage de M2: Dynamic Shape Analysis for Sparse Tensor Code

Contract type : Internship agreement

Level of qualifications required : Master's or equivalent

Fonction : Internship Research

About the research centre or Inria department

The Inria research centre in Lyon (previously the Lyon branch of the Inria centre in Grenoble) is the 9th Inria research centre, formally created in December 2021. It brings together approximately 270 people (including 110 Inria employees) in 15 research teams and research support services.

Its staff are distributed at this stage on 2 campuses: in Villeurbanne La Doua (Centre / INSA Lyon / UCBL) on the one hand, and Lyon Gerland (ENS de Lyon) on the other. A third site should be opened in the course of 2022. The teams are mainly hosted with our partners. The centre's teams work closely with research and higher education institutions (ENS de Lyon, UCBL, INSA Lyon, etc.), their laboratories, and other research organisations in Lyon (CNRS, INRAE, competitiveness clusters, etc.), but also with Lyon and regional economic players. Many international collaborations are also underway.

The Lyon centre is active in the fields of software, distributed and high- performance computing, embedded systems, quantum computing and privacy in the digital world, but also in digital health and computational biology.

Context

Collaboration with Inria Paris and Inria Strasbourg

Assignment

The overall goal of this internship is to address runtime specialization of loop kernels on sparse tensors to ensure an efficient parallel execution

Specifically, we propose to infer automatically, at runtime the shape of the tensors flowing between the loop kernels of a scientific application. The intern will address the following points:

  • Analyse the behavior of dense linear algebra algorithms on some of the sparse tensors from the Florida sparse matrix collection.
  • Propose a shape analysis infering the tensor shape produced by a loop kernel provided the input tensor shape.
  • Implement and validate the shape analysis on the Polybench/C
  • Main activities

    All the details might be found here

    Skills

    Notions in compilers, parallelism, parallel architectures. Experience with C++.

    Benefits package
  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Remuneration

    Minimum legal gratification

    General Information
  • Theme/Domain : Architecture, Languages and Compilation Scientific computing (BAP E)

  • Town/city : Lyon

  • Inria Center : Centre Inria de Lyon
  • Starting date : 2022-03-01
  • Duration of contract : 5 months
  • Deadline to apply : 2022-12-31
  • Contacts
  • Inria Team : CASH
  • Recruiter : Alias Christophe / christophe.alias@inria.fr
  • About Inria

    Inria is the French national research institute dedicated to digital science and technology. It employs 2,600 people. Its 200 agile project teams, generally run jointly with academic partners, include more than 3,500 scientists and engineers working to meet the challenges of digital technology, often at the interface with other disciplines. The Institute also employs numerous talents in over forty different professions. 900 research support staff contribute to the preparation and development of scientific and entrepreneurial projects that have a worldwide impact.

    Instruction to apply

    Applications must be submitted online on the Inria website.

    Processing of applications sent by other channels is not guaranteed.

    Defence Security : This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.

    Recruitment Policy : As part of its diversity policy, all Inria positions are accessible to people with disabilities.

    Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed.

    From this employer

    Recent blogs

    Recent news