petitRADTRANS: a Python radiative transfer package for exoplanet characterization and retrieval

We present the easy-to-use, publicly available, Python package petitRADTRANS, built for the spectral characterization of exoplanet atmospheres. The code is fast, accurate, and versatile; it can calculate both transmission and emission spectra within a few seconds at low resolution ($\lambda/\Delta\lambda$ = 1000; correlated-k method) and high resolution ($\lambda/\Delta\lambda = 10^6$; line-by-line method), using only a few lines of input instruction. The somewhat slower correlated-k method is used at low resolution because it is more accurate than methods such as opacity sampling. Clouds can be included and treated using wavelength-dependent power law opacities, or by using optical constants of real condensates, specifying either the cloud particle size, or the atmospheric mixing and particle settling strength. Opacities of amorphous or crystalline, spherical or irregularly-shaped cloud particles are available. The line opacity database spans temperatures between 80 and 3000 K, allowing to model fluxes of objects such as terrestrial planets, super-Earths, Neptunes, or hot Jupiters, if their atmospheres are hydrogen-dominated. Higher temperature points and species will be added in the future, allowing to also model the class of ultra hot-Jupiters, with equilibrium temperatures $T_{\rm eq} \gtrsim 2000$ K. Radiative transfer results were tested by cross-verifying the low- and high-resolution implementation of petitRADTRANS, and benchmarked with the petitCODE, which itself is also benchmarked to the ATMO and Exo-REM codes. We successfully carried out test retrievals of synthetic JWST emission and transmission spectra (for the hot Jupiter TrES-4b, which has a $T_{\rm eq}$ of $\sim$ 1800 K). The code is publicly available at http://gitlab.com/mauricemolli/petitRADTRANS, and its documentation can be found at https://petitradtrans.readthedocs.io.Comment: 17 pages, 7 figures, published in A&

Signatures of Planets in Spatially Unresolved Disks

Main sequence stars are commonly surrounded by debris disks, composed of cold dust continuously replenished by a reservoir of undetected dust-producing planetesimals. In a planetary system with a belt of planetesimals (like the Solar System's Kuiper Belt) and one or more interior giant planets, the trapping of dust particles in the mean motion resonances with the planets can create structure in the dust disk, as the particles accumulate at certain semimajor axes. Sufficiently massive planets may also scatter and eject dust particles out of a planetary system, creating a dust depleted region inside the orbit of the planet. In anticipation of future observations of spatially unresolved debris disks with the Spitzer Space Telescope, we are interested in studying how the structure carved by planets affects the shape of the disk's spectral energy distribution (SED), and consequently if the SED can be used to infer the presence of planets. We numerically calculate the equilibrium spatial density distributions and SEDs of dust disks originated by a belt of planetesimals in the presence of interior giant planets in different planetary configurations, and for a representative sample of chemical compositions. The dynamical models are necessary to estimate the enhancement of particles near the mean motion resonances with the planets, and to determine how many particles drift inside the planet's orbit. Based on the SEDs and predicted $\it{Spitzer}$ colors we discuss what types of planetary systems can be distinguishable from one another and the main parameter degeneracies in the model SEDs.Comment: 40 pages (pre-print form), including 16 figures. Published in ApJ 200

Dust rings and filaments around the isolated young star V1331 Cygni

We characterize the small and large scale environment of the young star V1331 Cygni with high resolution HST/WFPC2 and Digitized Sky Survey images. In addition to a previously known outer dust ring (~30'' in diameter), the HST/WFPC2 scattered light image reveals an inner dust ring for the first time. This ring has a maximum radius of 6.5'' and is possibly related to a molecular envelope. Large-scale optical images show that V1331 Cyg is located at the tip of a long dust filament linking it to the dark cloud LDN 981. We discuss the origin of the observed dust morphology and analyze the object's relation to its parent dark cloud LDN 981. Finally, based on recent results from the literature, we investigate the properties of V1331 Cyg and conclude that in its current state the object does not show suffcient evidence to be characterized as an FU Ori object.Comment: 15 pages ApJ preprint style including 3 figures, accepted for publication in ApJ (Feb. 2007

EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++

Low-level programming languages with weak/static type systems, such as C and C++, are vulnerable to errors relating to the misuse of memory at runtime, such as (sub-)object bounds overflows, (re)use-after-free, and type confusion. Such errors account for many security and other undefined behavior bugs for programs written in these languages. In this paper, we introduce the notion of dynamically typed C/C++, which aims to detect such errors by dynamically checking the "effective type" of each object before use at runtime. We also present an implementation of dynamically typed C/C++ in the form of the Effective Type Sanitizer (EffectiveSan). EffectiveSan enforces type and memory safety using a combination of low-fat pointers, type meta data and type/bounds check instrumentation. We evaluate EffectiveSan against the SPEC2006 benchmark suite and the Firefox web browser, and detect several new type and memory errors. We also show that EffectiveSan achieves high compatibility and reasonable overheads for the given error coverage. Finally, we highlight that EffectiveSan is one of only a few tools that can detect sub-object bounds errors, and uses a novel approach (dynamic type checking) to do so.Comment: To appear in the Proceedings of 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI2018

The end-state comfort effect in 3- to 8-year-old children in two object manipulation tasks

The aim of the study was to compare 3- to 8-year-old children’s propensity to antici- pate a comfortable hand posture at the end of a grasping movement ( end-state comfort effect ) between two different object manipulation tasks, the bar-transport task, and the overturned-glass task. In the bar-transport task, participants were asked to insert a verti- cally positioned bar into a small opening of a box. In the overturned-glass task, participants were asked to put an overturned-glass right-side-up on a coaster. Half of the participants experienced action effects (lights) as a consequence of their movements (AE groups), while the other half of the participants did not (No-AE groups). While there was no differ- ence between the AE and No-AE groups, end-state comfort performance differed across age as well as between tasks. Results revealed a significant increase in end-state comfort performance in the bar-transport task from 13% in the 3-year-olds to 94% in the 8-year- olds. Interestingly, the number of children grasping the bar according to end-state comfort doubled from 3 to 4 years and from 4 to 5 years of age. In the overturned-glass task an increase in end-state comfort performance from already 63% in the 3-year-olds to 100% in the 8-year-olds was significant as well. When comparing end-state comfort performance across tasks, results showed that 3- and 4-year-old children were better at manipulating the glass as compared to manipulating the bar, most probably, because children are more familiar with manipulating glasses. Together, these results suggest that preschool years are an important period for the development of motor planning in which the familiarity with the object involved in the task plays a significant role in children’s ability to plan their movements according to end-state comfort