We propose a new automatic program inversion method for imperative programs that contain loops. In particular, given a loop that produces an output state given a particular input state, our method can synthesize an inverse loop that reconstructs the input state given the original loop’s output state. The synthesis process consists of two major components: (a) building the inverse loop’s body, a...

This paper presents an articulatory codebook construction method which gives a good space coverage with a limited number of points. We represent the articulatory space by hypercubes. Therefore the articulatory space is decomposed into regions represented by few number of points. We describe our interpolation method to retrieve points from the hypercube and the inversion method based on the same...