16 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.PL2023
Modular System Synthesis
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni +1
This paper describes a way to improve the scalability of program synthesis by exploiting modularity: larger programs are synthesized from smaller programs. The key issue is to make…
astro-ph.SR2022★ 16 cited
ARMADA II: Further Detections of Inner Companions to Intermediate Mass Binaries with Micro-Arcsecond Astrometry at CHARA and VLTI
Tyler Gardner, John D. Monnier, Francis C. Fekel +18
We started a survey with CHARA/MIRC-X and VLTI/GRAVITY to search for low mass companions orbiting individual components of intermediate mass binary systems. With the incredible pre…