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

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

Risk factors for borderline personality disorder in treatment seeking patients with a substance use disorder: An international multicenter study

Borderline personality disorder (BPD) and substance use disorders (SUDs) often co-occur, partly because they share risk factors. In this international multicenter study, risk factors for BPD were examined for SUD patients. In total, 1,205 patients were comprehensively examined by standardized interviews and questionnaires on psychiatric diagnosis and risk factors, and it was found that 1,033 (85.7%) had SUDs without BPD (SUD) and 172 (14.3%) had SUD with BPD (SUD + BPD). SUD + BPD patients were significantly younger, more often females and more often diagnosed with comorbid adult attention deficit/hyperactivity disorder. SUD + BPD patients did not differ from SUD patients on most risk factors typical for SUD such as maternal use of drugs during pregnancy or parents having any SUD. However, SUD + BPD patients did have a higher risk of having experienced emotional and physical abuse, neglect, or family violence in childhood compared to SUD patients, suggesting that child abuse and family violence are BPD-specific risk factors in patients with SUDs

Factors associated with posttraumatic stress symptoms in a prospective cohort of patients after abdominal sepsis:A nomogram

Objective: To determine to what extent patients who have survived abdominal sepsis suffer from symptoms of posttraumatic stress disorder (PTSD) and depression, and to identify potential risk factors for PTSD symptoms. Design and setting: PTSD and depression symptoms were measured using the Impact of Events Scale-Revised (IES-R), the Post-Traumatic Symptom Scale 10 (PTSS-10) and the Beck Depression Inventory II (BDI-II). Patients and participants: A total of 135 peritonitis patients were eligible for this study, of whom 107 (80%) patients completed the questionnaire. The median APACHE-II score was 14 (range 12-16), and 89% were admitted to the ICU.Measurements and results: The proportion of patients with "moderate" PTSD symptom scores was 28% (95% CI 20-37), whilst 10% (95% CI 6-17) of patients had "high" PTSD symptom scores. Only 5% (95% CI 2-12) of the patients expressed severe depression symptoms. Factors associated with increased PTSD symptoms in a multivariate ordinal regression model were younger age (0.74 per 10 years older, p = 0.082), length of ICU stay (OR = 1.4 per doubling of duration, p = 0.003) and having some (OR = 4.9, p = 0.06) or many (OR = 55.5, p &lt; 0.001) traumatic memories of the ICU or hospital stay. Conclusion: As many as 38% of patients after abdominal sepsis report elevated levels of PTSD symptoms on at least one of the questionnaires. Our nomogram may assist in identifying patients at increased risk for developing symptoms of PTSD.</p

Factors associated with posttraumatic stress symptoms in a prospective cohort of patients after abdominal sepsis: a nomogram

Objective: To determine to what extent patients who have survived abdominal sepsis suffer from symptoms of posttraumatic stress disorder (PTSD) and depression, and to identify potential risk factors for PTSD symptoms. Design and setting: PTSD and depression symptoms were measured using the Impact of Events Scale-Revised (IES-R), the Post-Traumatic Symptom Scale 10 (PTSS-10) and the Beck Depression Inventory II (BDI-II). Patients and participants: A total of 135 peritonitis patients were eligible for this study, of whom 107 (80%) patients completed the questionnaire. The median APACHE-II score was 14 (range 12-16), and 89% were admitted to the ICU. Measurements and results: The proportion of patients with "moderate" PTSD symptom scores was 28% (95% CI 20-37), whilst 10% (95% CI 6-17) of patients had "high" PTSD symptom scores. Only 5% (95% CI 2-12) of the patients expressed severe depression symptoms. Factors associated with increased PTSD symptoms in a multivariate ordinal regression model were younger age (0.74 per 10 years older, p = 0.082), length of ICU stay (OR = 1.4 per doubling of duration, p = 0.003) and having some (OR = 4.9, p = 0.06) or many (OR = 55.5, p < 0.001) traumatic memories of the ICU or hospital stay. Conclusion: As many as 38% of patients after abdominal sepsis report elevated levels of PTSD symptoms on at least one of the questionnaires. Our nomogram may assist in identifying patients at increased risk for developing symptoms of PTSD

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

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