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...

We show how to model the semantics of quantum programs that give classical output during their execution. That is, in our model even non-terminating programs may have output. The modelling interprets a program as a measurement process on the machines state, with the classical output as measurement result. The semantics presented here are fully abstract in the sense that two programs are equal i...

We show how to model the semantics of quantum programs that give classical output during their execution. That is, in our model even non-terminating programs may have output. The modelling interprets a program as a measurement process on the machines state, with the classical output as measurement result. The semantics presented here are fully abstract in the sense that two programs are equal i...

Learning programs is a timely and interesting challenge. In Programming by Example (PBE), a system attempts to infer a program from input and output examples alone, by searching for a composition of some set of base functions. We show how machine learning can be used to speed up this seemingly hopeless search problem, by learning weights that relate textual features describing the provided inpu...

• It connects to a distribution network to receive from the head-end the content for transmission • It optionally performs program re-multiplexing according to location-specific requirements • It modulates the output signal in compliance with the broadcasting technology in question • In a Single Frequency Network (SFN), which requires tight signal timing coordination, it synchronizes its output...

This paper presents a set-based output energy measure for constrained polynomial systems with parameter uncertainties. Output energy is measured in terms of the L2-norm on a finite-time interval while the initial conditions and parameters are allowed to take values from a set. By specifying a bound on the output norm, the measure allows further to determine the set of initial conditions and par...