Spitzer Space Telescope Observations of Low Mass X-ray Binaries

We present preliminary results from our archival Spitzer Space Telescope program aimed at characterizing the mid-IR properties of compact objects, both isolated and in binary systems, i.e. white dwarfs, X-ray binaries, cataclysmic variables, and magnetars. Most of these sources are too faint at mid-IR wavelengths to be observable from the ground, so this study provides the very first comprehensive look at the mid-IR emission of these objects. Here we present our results for the low mass X-ray binaries. We considered all of the systems listed in the most recent catalog of Liu et al. (2007) that have known optical counterparts. The particular goals of our projects encompass: to establish the mid-IR spectral energy distribution, to search for the signatures of jets, circumbinary disks, low mass or planetary companions and debris disks, and to study the local environment of these sources.Comment: 6 pages, updated and expanded version of article to appear in Proceedings of "A Population Explosion: The Nature and Evolution of X-ray Binaries in Diverse Environments", 28 Oct - 2 Nov, St. Pete Beach, FL; eds. R.M. Bandyopadhyay, S. Wachter, D. Gelino, C.R. Gelino; AIP Conference Proceedings Serie

From Molecular Cores to Planet-forming Disks with SIRTF

The SIRTF mission and the Legacy programs will provide coherent data bases for extra-galactic and Galactic science that will rapidly become available to researchers through a public archive. The capabilities of SIRTF and the six legacy programs are described briefly. Then the cores to disks (c2d) program is described in more detail. The c2d program will use all three SIRTF instruments (IRAC, MIPS, and IRS) to observe sources from molecular cores to protoplanetary disks, with a wide range of cloud masses, stellar masses, and star-forming environments. The SIRTF data will stimulate many follow-up studies, both with SIRTF and with other instruments.Comment: 6 pages, from Fourth Cologne-Bonn-Zermatt-Symposium, The Dense Interstellar Matter in Galaxie

Certifying cost annotations in compilers

We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the source code. To this end, we need a clear and flexible picture of: (i) the meaning of cost annotations, (ii) the method to prove them sound and precise, and (iii) the way such proofs can be composed. We propose a so-called labelling approach to these three questions. As a first step, we examine its application to a toy compiler. This formal study suggests that the labelling approach has good compositionality and scalability properties. In order to provide further evidence for this claim, we report our successful experience in implementing and testing the labelling approach on top of a prototype compiler written in OCAML for (a large fragment of) the C language