It is widely considered that in-store shopping is a repetitive yet vital activity in human life. People are accustomed to making shopping lists on a piece of paper or on their mobile phones, or more commonly, memorizing the list in their minds. However, people tend to forget the items they want to buy if they cannot write them down immediately when they have the shopping demand, let alone keeping the list in their minds. Some work has started to help people resolve this problem, yet most of them are based on smartphones and are focused on riching add-on functions of the shopping list applications instead of allowing real-time recording. Namely, these existing shopping-list systems cannot let people record items and satisfy their information needs while minimizing the intervention to their ongoing activities. In this study, a new Augmented Reality (AR) solution named AR Shopping List was proposed. It is a smart-glasses application that allows users to add items at any time and place and with arbitrary input formats (photos, videos, and voice to text). We conducted semi-structured interviews with twelve participants aged from 20 to 30 by letting them experience the AR Shopping List app themselves on Microsoft HoloLens (1st gen). Our interviews reveal that the AR Shopping List realizes real-time recording, and therefore releases people’s hands from touching a physical device when making a list. It also shows the app’s potential in helping people reduce the opportunity of forgetting something to buy, as well as shopping more targeted. Furthermore, this research sheds light on future designs on smart-glasses applications for assisting people in recording and remembering items, building a new memorizing habit, and further functioning as people’s working memory expansion. / Trots att det är repetitivt att handla i butik så anses det allmänt vara en vital del av vardagen. Det är vanligt förekommande att inköpslistor skrivs ner på ett paper eller på en mobiltelefon, men även att memorera inköpslistor är vanligt förekommande. Att memorera en inköpslista är dock svårt, och det är ofta viktigt att skriva ner varor som behöver införskaffas, så fort behovet att köpa varorna uppstår. Några metoder har tagits fram för att lösa detta problem, men de flesta av dessa metoder är till för att användas på mobiltelefoner och fokuserar främst på att lägga till funktioner för att skapa avancerade inköpslistor, istället för att tillåta skapandet av listor i realtid. Framförallt så kan de existerande systemen för att skapa inköpslistor inte registrera varor och tillfredsställa användarens andra behov, utan att användarens pågående aktiviteter påverkas. I denna studie presenteras en ny lösning kallad AR Shopping List baserad på Augmented Reality (AR). Det är en applikation för smarta glasögon som tillåter användare att lägga till varor när som helst och var som helst, med godtyckligt format (bilder, videor och text genererad med rösten). Vi genomförde semistrukturerade intervjuer där tolv deltagare i åldrarna 20 till 30 år, fick prova på att använda AR Shopping List applikationen på en Microsoft HoloLens (första generationen). Våra intervjuer visar att AR Shopping List kan skapa inköpslistor i realtid, utan att användarna behöver använda en fysisk enhet. De visar även potentialen som applikationen har för att minska antalet tillfällen där varor som behöver köpas in glöms bort, samt potentialen för mer riktade inköp. Dessutom belyser denna rapport designen för framtida applikationer till smarta glasögon för att underlätta skapandet av inköpslistor, bygga upp nya minnesvanor, och för att utöka det aktiva minnet.

Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au c{\oe}ur de la détection du parallélisme, elles rassemblent des informations à la compilation sur les propriétés des programmes à l'exécution. Ces informations valident des transformations utiles pour l'extraction du parallélisme et la génération de code parallèle. Cette thèse aborde principalement des analyses et des transformations avec une vision par instances, c'est-à-dire considérant les propriétés individuelles de chaque instance d'une instruction à l'exécution. Une nouvelle formalisation à l'aide de langages formels nous permet tout d'abord d'étudier une analyse de dépendances et de définitions visibles par instances pour programmes récursifs. L'application de cette analyse à l'expansion et la parallélisation de programmes récursifs dévoile des résultats encourageants. Les nids de boucles quelconques font l'objet de la deuxième partie de ce travail. Une nouvelle étude des techniques de parallélisation fondées sur l'expansion nous permet de proposer des solutions à des problèmes d'optimisation cruciaux.