KELT-23Ab: A Hot Jupiter Transiting a Near-solar Twin Close to the TESS and JWST Continuous Viewing Zones

We announce the discovery of KELT-23Ab, a hot Jupiter transiting the relatively bright (V = 10.3) star BD+66 911 (TYC 4187-996-1), and characterize the system using follow-up photometry and spectroscopy. A global fit to the system yields host-star properties of K, , , , (cgs), and . KELT-23Ab is a hot Jupiter with a mass of , radius of , and density of g cm-3. Intense insolation flux from the star has likely caused KELT-23Ab to become inflated. The time of inferior conjunction is and the orbital period is days. There is strong evidence that KELT-23A is a member of a long-period binary star system with a less luminous companion, and due to tidal interactions, the planet is likely to spiral into its host within roughly a gigayear. This system has one of the highest positive ecliptic latitudes of all transiting planet hosts known to date, placing it near the Transiting Planet Survey Satellite and James Webb Space Telescope continuous viewing zones. Thus we expect it to be an excellent candidate for long-term monitoring and follow up with these facilities

KELT-24b: A 5M_J Planet on a 5.6 day Well-Aligned Orbit around the Young V=8.3 F-star HD 93148

We present the discovery of KELT-24 b, a massive hot Jupiter orbiting a bright (V=8.3 mag, K=7.2 mag) young F-star with a period of 5.6 days. The host star, KELT-24 (HD 93148), has a T_(eff) =6508±49 K, a mass of M∗ = 1.461^(+0.056)_(−0.060) M_⊙, radius of R∗ = 1.506±0.022 R_⊙, and an age of 0.77^(+0.61)_(−0.42) Gyr. Its planetary companion (KELT-24 b) has a radius of R_P = 1.272^(+0.021)_(−0.022) R_J, a mass of MP = 5.18^(+0.21)_(−0.22) M_J, and from Doppler tomographic observations, we find that the planet's orbit is well-aligned to its host star's projected spin axis (λ = 2.6^(+5.1)_(−3.6)). The young age estimated for KELT-24 suggests that it only recently started to evolve from the zero-age main sequence. KELT-24 is the brightest star known to host a transiting giant planet with a period between 5 and 10 days. Although the circularization timescale is much longer than the age of the system, we do not detect a large eccentricity or significant misalignment that is expected from dynamical migration. The brightness of its host star and its moderate surface gravity make KELT-24b an intriguing target for detailed atmospheric characterization through spectroscopic emission measurements since it would bridge the current literature results that have primarily focused on lower mass hot Jupiters and a few brown dwarfs

Identification of the top TESS objects of interest for atmospheric characterization of transiting exoplanets with JWST

Funding: Funding for the TESS mission is provided by NASA's Science Mission Directorate. This work makes use of observations from the LCOGT network. Part of the LCOGT telescope time was granted by NOIRLab through the Mid-Scale Innovations Program (MSIP). MSIP is funded by NSF. This paper is based on observations made with the MuSCAT3 instrument, developed by the Astrobiology Center and under financial support by JSPS KAKENHI (grant No. JP18H05439) and JST PRESTO (grant No. JPMJPR1775), at Faulkes Telescope North on Maui, HI, operated by the Las Cumbres Observatory. This paper makes use of data from the MEarth Project, which is a collaboration between Harvard University and the Smithsonian Astrophysical Observatory. The MEarth Project acknowledges funding from the David and Lucile Packard Fellowship for Science and Engineering, the National Science Foundation under grant Nos. AST-0807690, AST-1109468, AST-1616624 and AST-1004488 (Alan T. Waterman Award), the National Aeronautics and Space Administration under grant No. 80NSSC18K0476 issued through the XRP Program, and the John Templeton Foundation. C.M. would like to gratefully acknowledge the entire Dragonfly Telephoto Array team, and Bob Abraham in particular, for allowing their telescope bright time to be put to use observing exoplanets. B.J.H. acknowledges support from the Future Investigators in NASA Earth and Space Science and Technology (FINESST) program (grant No. 80NSSC20K1551) and support by NASA under grant No. 80GSFC21M0002. K.A.C. and C.N.W. acknowledge support from the TESS mission via subaward s3449 from MIT. D.R.C. and C.A.C. acknowledge support from NASA through the XRP grant No. 18-2XRP18_2-0007. C.A.C. acknowledges that this research was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration (80NM0018D0004). S.Z. and A.B. acknowledge support from the Israel Ministry of Science and Technology (grant No. 3-18143). The research leading to these results has received funding from the ARC grant for Concerted Research Actions, financed by the Wallonia-Brussels Federation. TRAPPIST is funded by the Belgian Fund for Scientific Research (Fond National de la Recherche Scientifique, FNRS) under the grant No. PDR T.0120.21. The postdoctoral fellowship of K.B. is funded by F.R.S.-FNRS grant No. T.0109.20 and by the Francqui Foundation. H.P.O.'s contribution has been carried out within the framework of the NCCR PlanetS supported by the Swiss National Science Foundation under grant Nos. 51NF40_182901 and 51NF40_205606. F.J.P. acknowledges financial support from the grant No. CEX2021-001131-S funded by MCIN/AEI/ 10.13039/501100011033. A.J. acknowledges support from ANID—Millennium Science Initiative—ICN12_009 and from FONDECYT project 1210718. Z.L.D. acknowledges the MIT Presidential Fellowship and that this material is based upon work supported by the National Science Foundation Graduate Research Fellowship under grant No. 1745302. P.R. acknowledges support from the National Science Foundation grant No. 1952545. This work is partly supported by JSPS KAKENHI grant Nos. JP17H04574, JP18H05439, JP21K20376; JST CREST grant No. JPMJCR1761; and Astrobiology Center SATELLITE Research project AB022006. This publication benefits from the support of the French Community of Belgium in the context of the FRIA Doctoral Grant awarded to M.T. D.D. acknowledges support from TESS Guest Investigator Program grant Nos. 80NSSC22K1353, 80NSSC22K0185, and 80NSSC23K0769. A.B. acknowledges the support of M.V. Lomonosov Moscow State University Program of Development. T.D. was supported in part by the McDonnell Center for the Space Sciences. V.K. acknowledges support from the youth scientific laboratory project, topic FEUZ-2020-0038.JWST has ushered in an era of unprecedented ability to characterize exoplanetary atmospheres. While there are over 5000 confirmed planets, more than 4000 Transiting Exoplanet Survey Satellite (TESS) planet candidates are still unconfirmed and many of the best planets for atmospheric characterization may remain to be identified. We present a sample of TESS planets and planet candidates that we identify as “best-in-class” for transmission and emission spectroscopy with JWST. These targets are sorted into bins across equilibrium temperature Teq and planetary radius Rp and are ranked by a transmission and an emission spectroscopy metric (TSM and ESM, respectively) within each bin. We perform cuts for expected signal size and stellar brightness to remove suboptimal targets for JWST. Of the 194 targets in the resulting sample, 103 are unconfirmed TESS planet candidates, also known as TESS Objects of Interest (TOIs). We perform vetting and statistical validation analyses on these 103 targets to determine which are likely planets and which are likely false positives, incorporating ground-based follow-up from the TESS Follow-up Observation Program to aid the vetting and validation process. We statistically validate 18 TOIs, marginally validate 31 TOIs to varying levels of confidence, deem 29 TOIs likely false positives, and leave the dispositions for four TOIs as inconclusive. Twenty-one of the 103 TOIs were confirmed independently over the course of our analysis. We intend for this work to serve as a community resource and motivate formal confirmation and mass measurements of each validated planet. We encourage more detailed analysis of individual targets by the community.Peer reviewe

TOI-1259Ab – a gas giant planet with 2.7 per cent deep transits and a bound white dwarf companion

We present TOI-1259Ab, a 1.0RJup gas giant planet transiting a 0.71R⊙ K-dwarf on a 3.48 d orbit. The system also contains a bound white dwarf companion TOI-1259B with a projected distance of ∼1600 au from the planet host. Transits are observed in nine TESS sectors and are 2.7 per cent deep – among the deepest known – making TOI-1259Ab a promising target for atmospheric characterization. Our follow-up radial velocity measurements indicate a variability of semiamplitude $K=71\, \rm m\, s^{-1}$, implying a planet mass of 0.44MJup. By fitting the spectral energy distribution of the white dwarf, we derive a total age of $4.08^{+1.21}_{-0.53}$ Gyr for the system. The K dwarf’s light curve reveals rotational variability with a period of 28 d, which implies a gyrochronology age broadly consistent with the white dwarf’s total age

Un modèle de raisonnement pour les opérateurs de composition logicielle décrits en boite noire

The complexity of software systems made it necessary to split them up and reunite them afterward. Separating concerns is a well-studied challenge and teams separate the work to be done beforehand. Still, separating without considering the recomposition leads to rushed, unsafe, and time-consuming recomposition. The composition should create the right and best system with minimal human effort. Composition operators are often ad-hoc solutions developed by non-specialist development teams. They are not developed using high-level formalism and end up being too complicated or too poorly formalized to support proper reasonings. We call them "black-boxes" as existing techniques requiring knowledge of its internals cannot be applied or reused. However, black-box operators, like others, must ensure guarantees: one must assess their idempotency to use them in a distributed context; provide an average execution time to assess usage in a reactive system; check conflicts to validate that the composed artifact conforms to business properties. Despite the black-box aspect, none of these properties are domain-specific. In this thesis, we present a domain-independent approach that enables (i) reasonings on composition equation, (ii) to compose them safely, (iii) by assessing properties similar to the ones from the state-of-the-art. We validated the approach in heterogeneous application domains: 19 versions of Linux kernel with 54 rewriting rules, fixing 13 antipatterns in 22 Android apps, and validating the efficiency of the approach on the composition of 20k Docker images.La complexité des systèmes informatiques a rendu nécessaire leur découpage avant de les recomposer. Cette séparation est un défi connu et les développeurs découpent déjà les tâches au préalable. Néanmoins, séparer sans considérer la recomposition finale entraine des réunifications hâtives et chronophages. Cette composition doit mener au bon et meilleur système avec le minimum d'effort humain. Les opérateurs de composition sont souvent ad-hoc et développés par des non-spécialistes. Ils ne respectent pas de formalismes de haut-niveau et deviennent trop complexes ou informels pour pouvoir raisonner. Nous les appelons des "boites-noires": les techniques nécessitant d'en connaitre l'intérieur ne peuvent être appliquées. Or, ces boites noires doivent garantir des propriétés : d'aucun doit vérifier son idempotence pour l'utiliser dans un contexte distribué ; connaitre son temps d'exécution pour des systèmes réactifs ; vérifier des conflits pour le confronter à des règles d'entreprise. Aucun de ces besoins n'est spécifique à un domaine applicatif. Dans cette thèse, nous présentons une approche indépendante du domaine qui permet, sur des opérateurs existants, (i) de raisonner sur des équations de composition pour (ii) les composer en sécurité, en (iii) proposant une vérification de propriétés similaires à celles de l’état de l’art. Nous avons validé cette approche sur des domaines différents : 19 versions du noyau Linux avec 54 règles de réécriture, réparé 13 « antipatrons » dans 22 applications Android et validé son efficacité sur la composition de 20k images Docker

Enabling white-box reasonings on black-box composition operators in a domain-independent way

La complexité des systèmes informatiques a rendu nécessaire leur découpage avant de les recomposer. Cette séparation est un défi connu et les développeurs découpent déjà les tâches au préalable. Néanmoins, séparer sans considérer la recomposition finale entraine des réunifications hâtives et chronophages. Cette composition doit mener au bon et meilleur système avec le minimum d'effort humain. Les opérateurs de composition sont souvent ad-hoc et développés par des non-spécialistes. Ils ne respectent pas de formalismes de haut-niveau et deviennent trop complexes ou informels pour pouvoir raisonner. Nous les appelons des "boites-noires": les techniques nécessitant d'en connaitre l'intérieur ne peuvent être appliquées. Or, ces boites noires doivent garantir des propriétés : d'aucun doit vérifier son idempotence pour l'utiliser dans un contexte distribué ; connaitre son temps d'exécution pour des systèmes réactifs ; vérifier des conflits pour le confronter à des règles d'entreprise. Aucun de ces besoins n'est spécifique à un domaine applicatif. Dans cette thèse, nous présentons une approche indépendante du domaine qui permet, sur des opérateurs existants, (i) de raisonner sur des équations de composition pour (ii) les composer en sécurité, en (iii) proposant une vérification de propriétés similaires à celles de l’état de l’art. Nous avons validé cette approche sur des domaines différents : 19 versions du noyau Linux avec 54 règles de réécriture, réparé 13 « antipatrons » dans 22 applications Android et validé son efficacité sur la composition de 20k images Docker.The complexity of software systems made it necessary to split them up and reunite them afterward. Separating concerns is a well-studied challenge and teams separate the work to be done beforehand. Still, separating without considering the recomposition leads to rushed, unsafe, and time-consuming recomposition. The composition should create the right and best system with minimal human effort. Composition operators are often ad-hoc solutions developed by non-specialist development teams. They are not developed using high-level formalism and end up being too complicated or too poorly formalized to support proper reasonings. We call them "black-boxes" as existing techniques requiring knowledge of its internals cannot be applied or reused. However, black-box operators, like others, must ensure guarantees: one must assess their idempotency to use them in a distributed context; provide an average execution time to assess usage in a reactive system; check conflicts to validate that the composed artifact conforms to business properties. Despite the black-box aspect, none of these properties are domain-specific. In this thesis, we present a domain-independent approach that enables (i) reasonings on composition equation, (ii) to compose them safely, (iii) by assessing properties similar to the ones from the state-of-the-art. We validated the approach in heterogeneous application domains: 19 versions of Linux kernel with 54 rewriting rules, fixing 13 antipatterns in 22 Android apps, and validating the efficiency of the approach on the composition of 20k Docker images

Challenges to Support Scalable Software Composition

International audienceSoftware systems became so complex that the need to decompose them into simpler, more manageable pieces became crucial. Because of this, one has to compose every isolated pieces to build the expected system. Thus, composition is a mechanism used in many different domains developed from scratch through custom composition operators. Therefore, nowadays composition use-cases are developed in isolation from each other and do not reuse common mechanisms nor common abstractions. Do these composition mechanisms and operators can be shared and reused across (other) domains? Is there any common abstractions behind the composition in itself? This Ph.D. thesis, started in 2016, explores different composition examples, taken from real-life use-cases, to explore these questions

Supporting Micro-services Deployment in a Safer Way: a Static Analysis and Automated Rewriting Approach

International audienceThe SOA ecosystem has drastically evolved since its childhood in the early 2000s. From monolithic services, micro–services now cooperate together in ultra-large scale systems. In this context, there is a tremendous need to deploy frequently new services, or new version of existing services. Container–based technologies (e.g., Docker) emerged recently to tool such deployments, promoting a black-box reuse mechanism to support off-the-shelf deployments. Unfortunately, from the service deployment point of view, such form of black-box reuse prevent to ensure what is really shipped inside the container with the service to deploy. In this paper, we propose a formalism to model and statically analyze service deployment artifacts based on state of the art deployment platforms. The static analysis mechanism leverages the hierarchy of deployment descriptors to verify a given deployment, as well as rewrite it to automatically fix common errors. The approach is validated through the automation of the guidelines provided by the user community associated to the reference Docker engine, and the analysis of 20,000 real deployment descriptors (hosted on GitHub)