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

Development of burnout over time and the causal order of the three dimensions of burnout among male and female GPs. A three-wave panel study

<p>Abstract</p> <p>Background</p> <p>A good understanding of the aetiology and development of burnout facilitates its early recognition, prevention and treatment. Since the prevalence and onset of this health problem is thought to differ between men and women, sex must be taken into account. This study aims to assess the prevalence and development of burnout among General Practitioners (GPs). In this population the prevalence of burnout is high.</p> <p>Methods</p> <p>We performed a three-wave longitudinal study (2002, 2004, 2006) in a random sample of Dutch GPs. Data were collected by means of self-report questionnaires including the Maslach Burnout Inventory. Our final sample consisted of 212 GPs of which 128 were male. Data were analyzed by means of SPSS and LISREL.</p> <p>Results</p> <p>Results indicate that about 20% of the GPs is clinically burned out (but still working). For both sexes, burnout decreased after the first wave, but increased again after the second wave. The prevalence of depersonalization is higher among men. With regard to the process of burnout we found that for men burnout is triggered by depersonalization and by emotional exhaustion for women.</p> <p>Conclusions</p> <p>As regards the developmental process of burnout, we found evidence for the fact that the aetiological process of burnout, that is the causal order of the three burnout dimensions, differs between men and women. These sex differences should be taken into account in vocational training and policy development, especially since general practice is feminizing rapidly.</p

Examining the Link Between Domestic Violence Victimization and Loneliness in a Dutch Community Sample: A Comparison Between Victims and Nonvictims by Type D Personality

The current study investigated whether differences in loneliness scores between individuals with a distressed personality type (type D personality) and subjects without such a personality varied by domestic violence victimization. Participants (N = 625) were recruited by random sampling from the Municipal Basic Administration of the Dutch city of ‘s-Hertogenbosch and were invited to fill out a set of questionnaires on health status. For this study, only ratings for domestic violence victimization, type D personality, feelings of loneliness, and demographics were used. Statistical analyses yielded main effects on loneliness for both type D personality and history of domestic violence victimization. Above and beyond these main effects, their interaction was significantly associated with loneliness as well. However, this result seemed to apply to emotional loneliness in particular. Findings were discussed in light of previous research and study limitations

Development of the SIOPE DIPG network, registry and imaging repository : a collaborative effort to optimize research into a rare and lethal disease

Diffuse intrinsic pontine glioma (DIPG) is a rare and deadly childhood malignancy. After 40 years of mostly single-center, often non-randomized trials with variable patient inclusions, there has been no improvement in survival. It is therefore time for international collaboration in DIPG research, to provide new hope for children, parents and medical professionals fighting DIPG. In a first step towards collaboration, in 2011, a network of biologists and clinicians working in the field of DIPG was established within the European Society for Paediatric Oncology (SIOPE) Brain Tumour Group: the SIOPE DIPG Network. By bringing together biomedical professionals and parents as patient representatives, several collaborative DIPG-related projects have been realized. With help from experts in the fields of information technology, and legal advisors, an international, web-based comprehensive database was developed, The SIOPE DIPG Registry and Imaging Repository, to centrally collect data of DIPG patients. As for April 2016, clinical data as well as MR-scans of 694 patients have been entered into the SIOPE DIPG Registry/Imaging Repository. The median progression free survival is 6.0 months (95% Confidence Interval (CI) 5.6-6.4 months) and the median overall survival is 11.0 months (95% CI 10.5-11.5 months). At two and five years post-diagnosis, 10 and 2% of patients are alive, respectively. The establishment of the SIOPE DIPG Network and SIOPE DIPG Registry means a paradigm shift towards collaborative research into DIPG. This is seen as an essential first step towards understanding the disease, improving care and (ultimately) cure for children with DIPG.Peer reviewe

DSM-5: a collection of psychiatrist views on the changes, controversies, and future directions

The recent release of the fifth edition of the Diagnostic and Statistical Manual of Mental Disorders (DSM-5) by the American Psychiatric Association has led to much debate. For this forum article, we asked BMC Medicine Editorial Board members who are experts in the field of psychiatry to discuss their personal views on how the changes in DSM-5 might affect clinical practice in their specific areas of psychiatric medicine. This article discusses the influence the DSM-5 may have on the diagnosis and treatment of autism, trauma-related and stressor-related disorders, obsessive-compulsive and related disorders, mood disorders (including major depression and bipolar disorders), and schizophrenia spectrum disorders

Regularity of center-of-pressure trajectories depends on the amount of attention invested in postural control

The influence of attention on the dynamical structure of postural sway was examined in 30 healthy young adults by manipulating the focus of attention. In line with the proposed direct relation between the amount of attention invested in postural control and regularity of center-of-pressure (COP) time series, we hypothesized that: (1) increasing cognitive involvement in postural control (i.e., creating an internal focus by increasing task difficulty through visual deprivation) increases COP regularity, and (2) withdrawing attention from postural control (i.e., creating an external focus by performing a cognitive dual task) decreases COP regularity. We quantified COP dynamics in terms of sample entropy (regularity), standard deviation (variability), sway-path length of the normalized posturogram (curviness), largest Lyapunov exponent (local stability), correlation dimension (dimensionality) and scaling exponent (scaling behavior). Consistent with hypothesis 1, standing with eyes closed significantly increased COP regularity. Furthermore, variability increased and local stability decreased, implying ineffective postural control. Conversely, and in line with hypothesis 2, performing a cognitive dual task while standing with eyes closed led to greater irregularity and smaller variability, suggesting an increase in the “efficiency, or “automaticity” of postural control”. In conclusion, these findings not only indicate that regularity of COP trajectories is positively related to the amount of attention invested in postural control, but also substantiate that in certain situations an increased internal focus may in fact be detrimental to postural control

Mechanisms of T cell organotropism

F.M.M.-B. is supported by the British Heart Foundation, the Medical Research Council of the UK and the Gates Foundation