Synthesizing Imperative Programs from Examples Guided by Static Analysis

We present a novel algorithm that synthesizes imperative programs for introductory programming courses. Given a set of input-output examples and a partial program, our algorithm generates a complete program that is consistent with every example. Our key idea is to combine enumerative program synthesis and static analysis, which aggressively prunes out a large search space while guaranteeing to find, if any, a correct solution. We have implemented our algorithm in a tool, called SIMPL, and evaluated it on 30 problems used in introductory programming courses. The results show that SIMPL is able to solve the benchmark problems in 6.6 seconds on average.Comment: The paper is accepted in Static Analysis Symposium (SAS) '17. The submission version is somewhat different from the version in arxiv. The final version will be uploaded after the camera-ready version is read

Unstimulated cortisol secretory activity in everyday life and its relationship with fatigue and chronic fatigue syndrome : a systematic review and subset meta-analysis

Copyright © 2013 The Authors. Published by Elsevier Ltd.. All rights reserved.Peer reviewedPublisher PD

Value management in practice: an interview survey

The results of an interview survey are provided involving 17 professionals working in the property and construction industry, mainly from Australia, concerning their actual experiences and observations of the Value Management (VM) process and outcomes. The main finding is that VM is popular among those with experience in its use, with an average 33% acceptance of the VM workshop - its use having extended even into the area of consultant selection. Much of the interviewees’ experiences are related qualitatively in terms of VM contribution to the identification and management of the risks involved in project delivery

The Economic Consequences of the Klassical Caricature

This essay is part of a wider investigation into the macroeconomic creation myth; and this introductory section provides only a very brief summary of Pigou\u27s work. The reader\u27s indulgence is therefore requested: full justification for my assertions will be provided in a forthcoming book. Limitations of space prohibit me from doing justice to my thesis about Pigou at the same time as addressing my allocated topic. ISBN: 978-0-7923-8149-