We are collaborating with colleagues at Microsoft Research on automatically synthesizing small programs in key domains. Our approaches are general while remaining domain-specific by providing the synthesizer with a small language in terms of an API in which to synthesizing programs. In recent work, we aim to synthesize programs given only a sequence of program tests. We avoid overfitting to the test sequence by having the synthesizer minimize its use of conditional branches.