Postdoctoral position on language design

The INRIA RMoD Team led by S. Ducasse has an open position on traits.

        http://rmod.lille.inria.fr/
        http://stephane.ducasse.free.fr/

End of the campaign : May 4, 2009
Beginning of the positions: from September to December 2009



CONTEXT

INRIA, the national institute for research in computer science and  
control, is dedicated to fundamental
and applied research in information and communication science and  
technology (ICST). The Institute has a
workforce of 3,700, 2,900 of whom are scientists from INRIA and its  
partner organizations. INRIA has
an annual budget of 162 million euros, 20% of which comes from its own  
research contracts and
development products. INRIA develops many partnerships with industry  
and fosters technology transfer
  and company foundations in the field of ICST - some eighty companies  
have been funded. Startups are
financed in particular by INRIA Transfert, a subsidiary of INRIA that  
supports four startup funds.
The international collaborations are based on an incentive strategy of  
welcoming and recruiting foreign
students as well as developing strong exchanges between research  
scientists. Priority is given to geographic
zones with strong growth: Europe, Asia and North America while  
maintaining reasonable
cooperation with South America, Africa and Middle-East.

from http://www.inria.fr/lille/scientific-research/research-teams/RMOD_page 
  :
The goal of RMoD is to support remodularization of object-oriented  
applications. This objective
is tackled from two complementary perspectives: reengineering and  
modularity constructs for
programming languages. In the reengineering perspective we will  
propose new analyses to understand
and restructure existing large applications (specialized package  
metrics, adapted visualizations, layer
identifications). In the modularity construct context we will work on  
a pure trait-based language and
new modular abstractions. We will also propose the definition of  
dedicated secure language constructs
based on a modular and layered kernel as one direct application of  
modularization. These programming
language constructs will be experimented on Pharo, a platform for  
dynamic web development. Pharo
will be used as a testbed for a pure-traits language, which will be  
used to assess the impact of modular
classes in terms of reuse orthogonally to inheritance.


SCIENTIFIC CONTEXT
Recently, traits have been proposed as a single inheritance backward  
compatible solution in which the
composing entity has the control over the trait composition. Traits  
are fine-grained units used to
compose classes, while avoiding many of inheritance and mixin-based  
approaches. To evaluate the
expressiveness of traits, some hierarchies were refactored, showing  
code reuse. However, such large
refactorings, while valuable, may not be facing all the problems,  
since the hierarchies were previously
expressed within single inheritance and following certain patterns. In  
addition traits have always been
considered in addition to class inheritance but not as the main  
composition and reuse mechanism.

Goals
We are in the process of designing a pure traits based language. We  
want to evaluate the impact of
having only traits as building blocks and removing inheritance from an  
object-oriented language.

We expect the candidate to take part of the design of a pure traits-
based programming language,
to perform analysis on large piece of software for remodularisation  
purposes and redesign a library.
We expect the candidate to implement the core of a pure trait-based  
language and some representative
examples.

Expected Skills

-have good skills in interpretation of object-oriented programming  
languages (classbased, prototypes, mixins...)
- have an expertise in object-oriented programming languages outside  
Java, C++ and C#
- be fluent in English


Bilbiographical References:
1 Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz and Roel Wuyts,  
Stateful Traits and their Formalization,
Journal of Computer Languages, Systems and Structures, 2008.
2 Damien Cassou, Stphane Ducasse and Roel Wuyts, Redesigning with  
Traits: the Nile Stream trait-based Library,
International Conference on Dynamic Languages 2007, 2007, pp. 50-79.
3 Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schaerli, Roel Wuyts  
and Andrew Black, Traits: A Mechanism for
fine-grained Reuse, ACM Transactions on Programming Languages and  
Systems (TOPLAS), vol. 28, no. 2, March 2006, pp. 331-388.
4 Luigi Liquori and Arnaud Spiwack, FeatherTrait: A Modest Extension  
of Featherweight Java, ACM Transactions on
Programming Languages and Systems (TOPLAS), 2007, To appear.
5 Nathanael Schaerli, Stéphane Ducasse, Oscar Nierstrasz and Andrew  
Black, Traits: Composable Units of Behavior,
Proceedings of European Conference on Object-Oriented Programming  
(ECOOP'03), LNCS, vol. 2743, Springer Verlag, July 2003, pp. 248-274.


APPLICATION REQUIREMENTS
Applicant should have held a doctorate or Ph.D. for less than one year
or you are about to obtain one and you would like to carry out a
fulfilling research activity in the field of ICST (information and
communication science and technology) or in a related field.

POSITION SALARY
2,357.30 EUR gross per month (Social security already payed)

SOCIAL SECURITY BENEFITS
- Entitled to unemployment benefit at the end of the contract;
- Affiliated to the French social security system.

HOW TO APPLY
Thank you for applying directly on the institute's website, by
following this link: =
http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html






_______________________________________________
Pharo-project mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project