16 research outputs found

    Skyline: Interactive In-Editor Computational Performance Profiling for Deep Neural Network Training

    Full text link
    Training a state-of-the-art deep neural network (DNN) is a computationally-expensive and time-consuming process, which incentivizes deep learning developers to debug their DNNs for computational performance. However, effectively performing this debugging requires intimate knowledge about the underlying software and hardware systems---something that the typical deep learning developer may not have. To help bridge this gap, we present Skyline: a new interactive tool for DNN training that supports in-editor computational performance profiling, visualization, and debugging. Skyline's key contribution is that it leverages special computational properties of DNN training to provide (i) interactive performance predictions and visualizations, and (ii) directly manipulatable visualizations that, when dragged, mutate the batch size in the code. As an in-editor tool, Skyline allows users to leverage these diagnostic features to debug the performance of their DNNs during development. An exploratory qualitative user study of Skyline produced promising results; all the participants found Skyline to be useful and easy to use.Comment: 14 pages, 5 figures. Appears in the proceedings of UIST'2

    Characterization of K2-167 b and CALM, a new stellar activity mitigation method

    Get PDF
    We report precise radial velocity (RV) observations of HD 212657 (= K2-167), a star shown by K2 to host a transiting sub-Neptune-sized planet in a 10 day orbit. Using Transiting Exoplanet Survey Satellite (TESS) photometry, we refined the planet parameters, especially the orbital period. We collected 74 precise RVs with the HARPS-N spectrograph between August 2015 and October 2016. Although this planet was first found to transit in 2015 and validated in 2018, excess RV scatter originally limited mass measurements. Here, we measure a mass by taking advantage of reductions in scatter from updates to the HARPS-N Data Reduction System (2.3.5) and our new activity mitigation method called CCF Activity Linear Model (CALM), which uses activity-induced line shape changes in the spectra without requiring timing information. Using the CALM framework, we performed a joint fit with RVs and transits using EXOFASTv2 and find Mp=6.3−1.4+1.4M_p = 6.3_{-1.4}^{+1.4} M⊕M_{\oplus} and Rp=2.33−0.15+0.17R_p = 2.33^{+0.17}_{-0.15} R⊕R_{\oplus}, which places K2-167 b at the upper edge of the radius valley. We also find hints of a secondary companion at a ∌\sim 22 day period, but confirmation requires additional RVs. Although characterizing lower-mass planets like K2-167 b is often impeded by stellar variability, these systems especially help probe the formation physics (i.e. photoevaporation, core-powered mass loss) of the radius valley. In the future, CALM or similar techniques could be widely applied to FGK-type stars, help characterize a population of exoplanets surrounding the radius valley, and further our understanding of their formation

    Identifying exoplanets with deep learning. IV. Removing stellar activity signals from radial velocity measurements using neural networks

    Get PDF
    Funding: This project has received funding from the European Research Council (ERC) under the European Unions Horizon 2020 research and innovation program (SCORE grant agreement No. 851555). A.C.C. acknowledges support from the Science and Technology Facilities Council (STFC) consolidated grant No. ST/R000824/1 and UKSA grant ST/R003203/1. R.D.H. is funded by the UK Science and Technology Facilities Council (STFC)’s Ernest Rutherford Fellowship (grant number ST/V004735/1). M.P. acknowledges financial support from the ASI-INAF agreement No. 2018-16-HH.0. A.M. acknowledges support from the senior Kavli Institute Fellowships.Exoplanet detection with precise radial velocity (RV) observations is currently limited by spurious RV signals introduced by stellar activity. We show that machine-learning techniques such as linear regression and neural networks can effectively remove the activity signals (due to starspots/faculae) from RV observations. Previous efforts focused on carefully filtering out activity signals in time using modeling techniques like Gaussian process regression. Instead, we systematically remove activity signals using only changes to the average shape of spectral lines, and use no timing information. We trained our machine-learning models on both simulated data (generated with the SOAP 2.0 software) and observations of the Sun from the HARPS-N Solar Telescope. We find that these techniques can predict and remove stellar activity both from simulated data (improving RV scatter from 82 to 3 cm s−1) and from more than 600 real observations taken nearly daily over 3 yr with the HARPS-N Solar Telescope (improving the RV scatter from 1.753 to 1.039 m s−1, a factor of ∌1.7 improvement). In the future, these or similar techniques could remove activity signals from observations of stars outside our solar system and eventually help detect habitable-zone Earth-mass exoplanets around Sun-like stars.Publisher PDFPeer reviewe
    corecore