Scientists
Businesses

Contents

Focus

Frank Cappello - © Inria Photo Jim Wallace

Inria-Urbana champaign

Productive partnership for high performance computing

30/09/2011

As the fifth workshop of the Inria-Urbana-Champaign joint lab (Joint Laboratory on Petascale Computing-JLPC) came to an end in Grenoble, Franck Cappello, its co-director, took stock of the activities of this institution dedicated to high-performance computing. Two years after its creation, it was now time to review its most emblematic results and to present its current research on climate and the international G8 Exascale project, with which the joint laboratory is associated.

© Matthieu Dorier

Inria-Urbana Champaign

Matthieu Dorier winner 2011 ACM-SRC

Françoise Monfort - 30/09/2011

Matthieu Dorier received the second prize at the ACM Student Research Competition, held in conjunction with the International Conference on Supercomputing, in Tucson (Arizona), from 1st to 3rd June, 2011. He was awarded this prize while doing a Masters internship at the Joint Laboratory for Petascale Computing-JLPC, a joint laboratory set up by Inria and the University of Illinois at Urbana-Champaign.

Inria-Urbana Champaign

Thom Dunning: a successful collaboration

Amélie Castan - 30/09/2011

On June the 27th, The Joint Laboratory for Petascale Computing (JLPC), formed by the University of Illinois and Inria, held its fifth workshop in Grenoble. Thom Dunning, director of the Institute for Advanced Computing Applications and Technologies and the National Center for Supercomputing Applications (NCSA) at the University of Illinois, explains why this collaboration is a success.

Contents

Focus

2012 Inria Awards

2012 Inria Awards

22/02/2012

On 14 June in Paris, the "Inria Awards" ceremony will take place for the second consecutive year. After Gérard Huet, Bruno Levy, Stéphane Donikian... who will be the 2012 prize winners? In your immediate surroundings, perhaps you know a researcher or a team of scientists whose research results, vision, action, and originality of approach contribute to advances in computer sciences and mathematics for the development of our society. Inria invites you to nominate your candidates.

Please note

© suphakit73 - Fotolia.com

Social media

Some trends and challenges for the 2.0 years

Françoise Breton - Yannick Le Thiec - 28/11/2011

According to the Inria/TNS Sofres survey conducted this year, nearly one French person in two declared they could not do without social networks. Such interest on its own proves what a success the social web is, although success is not without an increase in private data now present in cyberspace. A thorough grasp of interaction tools and controlling one’s web image are becoming major challenges for tomorrow’s web, both for individuals and companies… as well as a challenge for researchers developing social web management tools.

Contents

Focus

International programmes

The "Internships" programme

Each year, Inria welcomes students from all over the world for a research training experience through the Internships programme. Undergraduate, masters or PhD students come and spend a few months in an Inria research team. Two students, Michail Zervos and Nadia Khalfa, talk about their successful experience and offer advice to all those who may be interested in the Internships programme.

Conference

Conference in the memory of Philippe Flajolet

14/12/2011 to 16/12/2011

From 14 till 16 December 2011 Inria co-organizes a conference dedicated to the work and to the memory of Philippe Flajolet, died suddenly on March 22nd, 2011. In this conference, we wish to pay homage to the man as well as the multi-faceted mathematician and computer-scientist.This conference will also help more people understand his rich and varied work, through talks aimed at a large audience.

Feature

Focus

Web

W3C chooses Inria to open its France office

The World Wide Web Consortium (W3C) is opening an office in France, to be hosted by Inria, in order to consolidate its relations with industry and with other participants in the French ecosystem. The new office is to develop and coordinate the community of French W3C members.

Inria & SME - Publication

Innovate through the digital sciences

Discover CONNECT, the magazine for SMEs seeking innovation through the digital sciences, and get access to ICST news, updates on the state of research and applied technology for industry, portraits of partners who have participated in Inria research teams working with innovative SMEs, special reports and other features. Come on, CONNECT!

Direct links

Please note

© ALMA / ESO / NRAO / NAOJ

Partnership

ALMA, the world’s largest radio telescope project

Céline Acharian - 22/12/2011

Inria and ALMA (Atacama Large Millimeter / submillimeter Array), alongside the CNAM (Conservatoire National des Arts et Métiers, the French National Academy for Arts and Crafts), are working together to design the man-machine interfaces that will control the revolutionary radio-telescope currently being built in the Atacama desert, to the north of Chile.

Frank Cappello - © Inria Photo Jim Wallace

Inria-Urbana champaign

Productive partnership for high performance computing

30/09/2011

As the fifth workshop of the Inria-Urbana-Champaign joint lab (Joint Laboratory on Petascale Computing-JLPC) came to an end in Grenoble, Franck Cappello, its co-director, took stock of the activities of this institution dedicated to high-performance computing. Two years after its creation, it was now time to review its most emblematic results and to present its current research on climate and the international G8 Exascale project, with which the joint laboratory is associated.

Find out more

© Inria / Photo Kaksonen

European Research Council 2011

Dale Miller: “Making proof universal”

Sophy Caulier - 9/01/2012

As the beneficiary of an ERC Advanced Grant for experienced researchers, Dale Miller has embarked on the difficult path of establishing proof. His aim? In this field, which is highly abstract but which has a definite impact on the real world, he wishes to standardise proof systems and issue certificates for such systems in order to promote greater confidence in them.

International programmes

The "Internships" programme

Each year, Inria welcomes students from all over the world for a research training experience through the Internships programme. Undergraduate, masters or PhD students come and spend a few months in an Inria research team. Two students, Michail Zervos and Nadia Khalfa, talk about their successful experience and offer advice to all those who may be interested in the Internships programme.

Direct links

Please note

Inria & SME - Publication

Innovate through the digital sciences

Discover CONNECT, the magazine for SMEs seeking innovation through the digital sciences, and get access to ICST news, updates on the state of research and applied technology for industry, portraits of partners who have participated in Inria research teams working with innovative SMEs, special reports and other features. Come on, CONNECT!

Find out more

Technology Transfer at Inria

Strategic partnerships with large industrial players

The strategic partnerships that Inria establishes are long-term bilateral partnerships with large industrial groups, formalized in a framework agreement. A research program is developed jointly by Inria and its partner based on the industrial player’s proposed priority topics. Research projects, fitting into this program, are then developed jointly by Inria’s teams and the partner. In addition, a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly.

Home > Research > Research teams > CRISTAL

Presentation
HAL publications
Activity reports

CRISTAL Research team

Activity reports

Overall Objectives

The research carried out in the Cristal group is centered on type systems and related program analyses, applied to functional, object-oriented, and modular programming languages. The Caml language embodies many of our research results. Our work spans the whole spectrum from theoretical foundations and formal semantics to language design, efficient and robust implementations, and applications to real-world problems. The conviction of the Cristal group is that high-level, statically-typed programming languages greatly enhance program reliability, security and efficiency, during both development and maintenance.

The team CRISTAL
is stopped since 07/31/2005

Find out more

On the RAweb website

CRISTAL team full activity report (in English)
Full activity report of all our research teams (in English)

Download

See also