Monolithic whispering-gallery mode resonators with vertically coupled integrated bus waveguides

We report on the realization and optical characterization of a CMOS-compatible silicon-based microresonator/waveguide coupled system, fully integrated on a silicon chip. The device uses a vertical coupling scheme between the resonator and a buried strip waveguide. We demonstrate that its high optical quality follows from the accurate planarization of the waveguide topography. More importantly, we demonstrate a wafer-scale mass fabrication of freestanding planar resonators suspended in air and coupled to the integrated bus waveguides. A nanometer control of the coupling distances allows for a precise and selective excitation of different mode families of the resonator. This opens the door for the realization of stable all-integrated complex resonator systems for optomechanical and metrological applications, with the potential to substitute the nowadays intensive use of complicated fiber-taper coupling schemes.Comment: 3 pages, 3 figure

Static Analysis of Java for Distributed and Parallel Programming

We investigate the use of static analysis for building distributed and parallel programs in Java. We first quickly explain a principle of seamless sequential, multithreaded and distributed programming using Java, in order to enhance code reuse and code evolution. We exhibit conditions on the graph of objects to detect activable objects and transform a sequential program into a distributed or parallel program using active objects. We then present a static analysis based on an abstract interpretation of a Java subset, which provides approximate sets of activable objects. Finally, we illustrate our algorithm and results with one example

Analyse statique de programmes Java [et] application à la parallélisation

Nous proposons une analyse statique de programmes à objets par interprétation abstraite. L'analyse de programmes à objets comporte deux particularités que nous traitons séparément : l'analyse du flot de contrôle et la représentation des graphes d'objets. Dans un premier temps, nous présentons une analyse de flot de contrôle paramétrée par une représentation abstraite de graphes d'objets. Cette analyse est générique et peut servir de base à de nombreuses applications. De plus, elle est conçue par interprétation abstraite ce qui nous permet de montrer sa correction sous certaines hypothèses qui portent sur le domaine employé pour représenter les graphes d'objets. Nous dérivons de notre interpréteur abstrait une présentation des problèmes d'analyse statique sous la forme d'un système d'équations et nous prouvons que ce système d'équations est équivalent à l'interpréteur abstrait. La présentation sous cette forme permet de résoudre efficacement les problèmes d'analyse en utilisant des stratégies d'itérations de point fixe sophistiquées (et aussi d'utiliser des solveurs génériques) et de limiter le nombre de calculs qui est fait [sic] pendant les itérations de point fixe en les reportant sur la phase de construction du système d'équation (...). Dans un second temps nous instancions notre analyseur statique en utilisant un domaine abstrait pour les graphes d'objets qui est dû à Sagiv, Reps et Wilhelm. Nous étendons ce domaine pour construire une analyse interprocédurale (...). Enfin, nous décrivons une application de l'analyse statique à la parallélisation et à la distribution de programmes à objets (...).NICE-BU Sciences (060882101) / SudocFONTAINEBLEAU-MINES ParisTech (771862302) / SudocSudocFranceF