| MIRC-X: A Highly Sensitive Six-telescope Interferometric Imager at the CHARA Array N Anugu, JB Le Bouquin, JD Monnier, S Kraus, BR Setterholm, A Labdon, ... The Astronomical Journal 160 (4), 158, 2020 | 107 | 2020 |
| ARMADA. I. Triple Companions Detected in B-type Binaries α Del and ν Gem T Gardner, JD Monnier, FC Fekel, G Schaefer, KJC Johnson, ... The Astronomical Journal 161 (1), 40, 2020 | 20 | 2020 |
| ARMADA. II. Further Detections of Inner Companions to Intermediate-mass Binaries with Microarcsecond Astrometry at CHARA and VLTI T Gardner, JD Monnier, FC Fekel, JB Le Bouquin, A Scovera, G Schaefer, ... The Astronomical Journal 164 (5), 184, 2022 | 8 | 2022 |
| Mirc-x polarinterferometry at chara BR Setterholm, JD Monnier, JB Le Bouquin, N Anugu, A Labdon, J Ennis, ... Optical and Infrared Interferometry and Imaging VII 11446, 180-191, 2020 | 5 | 2020 |
| The SemGuS Toolkit KJC Johnson, A Reynolds, T Reps, L D’Antoni International Conference on Computer Aided Verification, 27-40, 2024 | 3 | 2024 |
| Verifying Solutions to Semantics-Guided Synthesis Problems C Murphy, K Johnson, T Reps, L D'Antoni arXiv preprint arXiv:2408.15475, 2024 | 1 | 2024 |
| Modular System Synthesis. K Park, KJC Johnson, L D'Antoni, TW Reps FMCAD, 257-267, 2023 | 1 | 2023 |
| A thesis to probe unique exoplanet regimes with micro-arcsecond astrometry and precision closure phases at CHARA and VLTI T Gardner, JD Monnier, FC Fekel, JB Le Bouquin, A Scovera, G Schaefer, ... Optical and Infrared Interferometry and Imaging VIII 12183, 343-360, 2022 | 1 | 2022 |
| Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics KJC Johnson, R Krishnan, T Reps, L D’Antoni Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 935-961, 2024 | | 2024 |
| Synthesizing Formal Semantics from Executable Interpreters J Liu, C Murphy, A Grover, KJC Johnson, T Reps, L D’Antoni Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 362-388, 2024 | | 2024 |
| VizieR Online Data Catalog: ARMADA. II. Binaries astrometry & radial velocity (Gardner+, 2022) T Gardner, JD Monnier, FC Fekel, JB Le Bouquin, A Scovera, G Schaefer, ... VizieR Online Data Catalog, J/AJ/164/184, 2022 | | 2022 |
| Differential Astrometry to detect giant planets around A-stars JD Monnier, K Johnson, S Swihart, M Ireland, M Zhao, T Ten Brummelaar American Astronomical Society Meeting Abstracts# 225 225, 258.30, 2015 | | 2015 |
