On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

La bioéthique, l’art et le syndrome des ovaires polykystiques: propos impressionniste visant à réhabiliter les corps tabous et les ovaires blâmés

Essai / Essay

Les contraintes sociales agissant sur la critique musicale journalistique à Montréal en contexte de compétition marchande

Exploration empirique et théorique des diverses contraintes sociales agissant sur la pratique de la critique musicale dans les médias montréalais en contexte de compétition marchande. Pour ce faire, une enquête sociologique qualitative fut menée auprès d’un échantillon de dix animateurs et journalistes musicaux de Montréal. L’auteur développe une théorie selon laquelle critiquer esthétiquement consiste à trier et à choisir en fonction du goût au moyen d’un concept appelé « dynamique EGC », soit le processus par lequel les expériences esthétiques sont filtrées par le goût, qui commande une réponse actée sous forme de critique d’art. Sa recherche s’intéresse d’abord aux impératifs (obstacles) du métier d’animateur et de journaliste musical et montre que c’est la compétition marchande qui prédomine dans un tel travail parce qu’elle surplombe tout le reste. Le mémoire s’attarde ensuite à étudier les déterminismes sociaux poussant certains individus à vouloir pratiquer ce métier. Il est montré que les déterminismes particuliers incitant à la pratique du métier d’animateur musical ne sont pas les mêmes que ceux incitant à la pratique du journalisme musical. Les animateurs sont des « conservateurs esthétiques » qui aiment constamment partager implicitement leur passion, tandis que les journalistes sont des « progressistes esthétiques » préférant donner leur avis explicitement lorsque nécessaire, mais pas nécessairement tout le temps. Dans tous les cas, animateurs et journalistes musicaux sont à comprendre comme des « militants esthétiques », des gens qui tentent de convaincre en même temps qu’ils tentent d’acquérir de la notoriété critique.

Pérennité du dilettantisme néo-vaguien. Rémanence et filiations des masculinités oisives dans le cinéma français

Volet cinématographique d’une révolution d’ordre social, la Nouvelle Vague a cristallisé les changements qui ont bouleversé la société européenne au début des années soixante. De l’émancipation sexuelle à la mise en scène d’une jeunesse affranchie, elle sut se faire le miroir cinématographique d’une libération des mœurs qui fit entrer les Européens dans une ère nouvelle. Si une nouvelle conception du cinéma suffit à accorder une place de choix au mouvement dans son histoire, ses représentants ont également forgé une nouvelle figure du héros masculin dans le paysage cinématographique français. Loin des héros lisses de l'académisme ou de la gravité de ceux du réalisme poétique qui l'ont par exemple précédé, l'héroïsme conjugué par la Nouvelle Vague insufflait légèreté, oisiveté et désinvolture à des protagonistes dont le dilettantisme des acteurs Jean-Pierre Léaud et Jean-Paul Belmondo (par exemple) en constitua le parangon. Le travail de recherche dont il est ici question visera principalement à s’interroger sur la façon dont ce héros atypique semble s’être annexé aux voix du cinéma français contemporain qui en présentent une mosaïque de réinterprétations. Mouvement dont le rayonnement ne semble toujours pas s’être tari – son héritage est encore revendiqué par plusieurs cinéastes – et qui dépasse la sphère du cinéma, nous viserons surtout à rendre compte de la pérennité de la Nouvelle Vague à travers l'examen de la perpétuation de son héritage par de nouvelles générations d'auteurs. Ce projet de mémoire s'essaiera notamment à la définition d'une identité du héros cinématographique français contemporain qui ne nous semble a priori pas si éloignée de celle colportée dans les années soixante par les porte-étendards de la Nouvelle Vague.