From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes

Reconstructing the meaning of a program from its binary executable is known as reverse engineering; it has a wide range of applications in software security, exposing piracy, legacy systems, etc. Since reversing is ultimately a search for meaning, there is much interest in inferring a type (a meaning) for the elements of a binary in a consistent way. Unfortunately existing approaches do not guarantee any semantic relevance for their reconstructed types. This paper presents a new and semantically-founded approach that provides strong guarantees for the reconstructed types. Key to our approach is the derivation of a witness program in a high-level language alongside the reconstructed types. This witness has the same semantics as the binary, is type correct by construction, and it induces a (justifiable) type assignment on the binary. Moreover, the approach effectively yields a type-directed decompiler. We formalise and implement the approach for reversing Minx, an abstraction of x86, to MinC, a type-safe dialect of C with recursive datatypes. Our evaluation compiles a range of textbook C algorithms to MinX and then recovers the original structures

Bridging the multiple reality gap: Application of augmented reality in new product development

Increased product complexity and internal team dynamics pose serious challenges to the quality of collaboration, usually reflected upon long delays, cost overruns and poor design quality during product development. Our focus is to study the factors that drive collaboration, shared understanding and team learning in product development in order to investigate new tools to facilitate this process. The present paper provides the theoretical framework to experiment with novel collaborative tools like Augmented Reality in the product development setting. The core argument is that Augmented Reality technologies act as a catalyst to the communication between the various stakeholders. The main idea behind this work is a dynamic investigation on the nature of collaboration in product development teams, through a socio-cognitive lens. The basic focus of this work is to connect insights from the social sciences to collaborative design and visualization technologies. © 2011 IEEE

Plastic Hotspot Mapping in Urban Water Systems

Reducing plastic pollution in rivers, lakes, and oceans is beneficial to aquatic animals and human livelihood. To achieve this, reliable observations of the abundance, spatiotemporal variation, and composition of plastics in aquatic ecosystems are crucial. Current efforts mainly focus on collecting data on the open ocean, on beaches and coastlines, and in river systems. Urban areas are the main source of plastic leakage into the natural environment, yet data on plastic pollution in urban water systems are scarce. In this paper, we present a simple method for plastic hotspot mapping in urban water systems. Through visual observations, macroplastic abundance and polymer categories are determined. Due to its simplicity, this method is suitable for citizen science data collection. A first application in the Dutch cities of Leiden and Wageningen showed similar mean plastic densities (111–133 items/km canal) and composition (75–80% soft plastics), but different spatial distributions. These observations emphasize the importance of long-term data collection to further understand and quantify spatiotemporal variations of plastics in urban water systems. In turn, this will support improved estimates of the contribution of urban areas to the plastic pollution of rivers and oceans.Industrial EcologyEnvironmental Biolog

Coordination as a function of skill level in the gymnastics longswing

The purpose of this study was to investigate the nature of inter-joint coordination at different levels of skilled performance to: (1) distinguish learners who were successful versus unsuccessful in terms of their task performance; (2) investigate the pathways of change during the learning of a new coordination pattern and (3) examine how the learner’s coordination patterns relate to those of experts in the longswing gymnastics skill. Continuous relative phase of hip and shoulder joint motions was examined for longswings performed by two groups of novices, successful (n = 4) and unsuccessful (n = 4) over five practice sessions, and two expert gymnasts. Principal component analysis showed that during longswing positions where least continuous relative phase variability occurred for expert gymnasts, high variability distinguished the successful from the unsuccessful novice group. Continuous relative phase profiles of successful novices became more out-of-phase over practice and less similar to the closely in-phase coupling of the expert gymnasts. Collectively, the findings support the proposition that at the level in inter-joint coordination a technique emerges that facilitates successful performance but is not more like an expert’s movement coordination. This finding questions the appropriateness of inferring development towards a “gold champion” movement coordination

Direct and indirect exposure to trauma, posttraumatic stress disorder symptoms, and poor subjective sleep quality in patients with substance use disorder

Stress and Psychopatholog