Enriching Reverse Engineering with Annotations

Much of the knowledge about software systems is implicit, and therefore difficult to recover by purely automated techniques. Architectural layers and the externally visible features of software systems are two examples of information that can be difficult to detect from source code alone, and that would benefit from additional human knowledge. Typical approaches to reasoning about data involve encoding an explicit meta-model and expressing analyses at that level. Due to its informal nature, however, human knowledge can be difficult to characterize up-front and integrate into such a meta-model. We propose a generic, annotation-based approach to capture such knowledge during the reverse engineering process. Annotation types can be iteratively defined, refined and transformed, without requiring a fixed meta-model to be defined in advance. We show how our approach supports reverse engineering by implementing it in a tool called Metanool and by applying it to (i) analyzing architectural layering, (ii) tracking reengineering tasks, (iii) detecting design flaws, and (iv) analyzing features.

PyGirl Generating Whole-System VMs from high-level models using PyPy

Virtual machines emulating hardware devices are generally implemented in low-level languages and using a low-level style for performance reasons. This trend results in largely difficult to understand, difficult to extend and unmaintainable systems. As new general techniques for virtual machines arise, it gets harder to incorporate or test these techniques because of early design and optimization decisions. In this paper we show how such decisions can be postponed to later phases by separating virtual machine implementation issues from the high-level machine-specific model. We construct compact models of whole-system VMs in a high-level language, which exclude all low-level implementation details. We use the pluggable translation toolchain PyPy to translate those models to executables. During the translation process, the toolchain reintroduces the VM implementation and optimization details for specific target platforms. As a case study we implement an executable model of a hardware gaming device. We show that our approach to VM building increases understandability, maintainability and extendability while preserving performance.

A Calculus of Evolving Objects

The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only applications must evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time to changing contexts. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.

A Calculus of Evolving Objects

The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only must applications evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment. How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.

Towards a Moldable Debugger

The debugger is an essential tool in any programming environment, as it helps developers understand the dynamic behaviour of software systems. However, traditional debuggers fail in answering domain-specific questions, as the semantics of what they show and do are fixed. In this paper we introduce our work towards a moldable debugger which, unlike traditional debuggers, both adapts itself and can be adapted to a particular debugging context. Thus, it allows developers to answer their questions by using concepts from their own application domains.

Unravelling the distinct strains of Tharu ancestry

The northern region of the Indian subcontinent is a vast landscape interlaced by diverse ecologies, e.g. the Gangetic plain and the Himalayas. A great number of ethnic groups are found there, displayed as a multitude of languages and cultures. The Tharu represent one of the largest and linguistically most diversified such groups, scattered across the Tarai region of Nepal and bordering Indian states. Their origins are uncertain. Hypotheses have been advanced about an Austroasiatic affinity, Tibeto-Burman origins, as well as aboriginal roots in the Tarai. Several Tharu groups speak a variety of Indo-Aryan languages, but have traditionally been described by ethnographers as representing an East Asian phenotype. Their ancestry and intra-population diversity had previously been tested only for haploid (mtDNA and Y-chromosome) markers in a small portion of the population. This study presents the first systematic genetic survey of the Tharu from both Nepal and the Indian states of Uttaranchal and Uttar Pradesh, using genome-wide SNPs and haploid (mtDNA and Y-chromosome) markers. The results suggest that the 'ethnic' construct of Tharu is likely to have lain in the Tarai region, with a reconstructible radiation to Uttaranchal and Uttar Pradesh. Despite extensive admixture with other local communities, Tharu sub-populations preserve strong genetic signatures that indicate a common ancestry.

Evaluative Morphology in Georgian

With examples drawn from over 200 world languages, this ground-breaking volume presents a state-of-the-art overview of evaluative morphology. Offering an innovative approach to major theoretical questions, the Edinburgh Handbook analyses the field from a cross-linguistic perspective, considering semantic, pragmatic and sociolinguistic aspects, as well as word-formation processes and evaluative morphology acquisition. Complementing the synchronic approach with a diachronic perspective, this study establishes a picture of intriguing diversity in evaluative morphology manifestations, and offers a comprehensive analysis of the situation in dozens of languages and language families. Divided into 2 distinct parts, the handbook begins with 13 chapters discussing evaluative morphology in relation to areas such as pragmatics, semantics, linguistic universals and sociolinguistics. The second part is comprised of descriptive chapters, broken into the following subsets: Eurasia, South- East Asia and Oceania, Australia-New Guinea, Africa, North America and South America.

Mirabilia Urbis Romae. Die Wunderwerke der Stadt Rom

Dieser Text ist gewissermaßen die »Mutter« aller Reiseführer über die ewige Stadt. Er liegt zahlreichen lateinischen und muttersprachlichen Varianten und Redaktionen zugrunde. Zugleich ist er ein wichtiges Zeugnis für die Wiedergeburt der Stadt und ihres Selbstbewusstseins im 12. Jahrhundert. Von diesem Text, der in lateinischer Sprache schwer zugänglich ist, gibt es bislang keine deutsche Übersetzung. In dieser hier erstmals vorgelegten lateinisch-deutschen Ausgabe sind zahlreiche Anmerkungen enthalten. Karten und Bilder der beschriebenen »Wunderwerke« sowie eine bibliophile Ausstattung machen den Band zum Pflichttitel für jeden Romkenner und Romliebhaber. Eine knappe Einleitung zur Stadtgeschichte, zum Pilgerwesen sowie zur Geschichte dieses Führers komplettiert diese Ausgabe.

Call for uniform neuropsychological assessment after aneurysmal subarachnoid hemorrhage: Swiss recommendations.

BACKGROUND In a high proportion of patients with favorable outcome after aneurysmal subarachnoid hemorrhage (aSAH), neuropsychological deficits, depression, anxiety, and fatigue are responsible for the inability to return to their regular premorbid life and pursue their professional careers. These problems often remain unrecognized, as no recommendations concerning a standardized comprehensive assessment have yet found entry into clinical routines. METHODS To establish a nationwide standard concerning a comprehensive assessment after aSAH, representatives of all neuropsychological and neurosurgical departments of those eight Swiss centers treating acute aSAH have agreed on a common protocol. In addition, a battery of questionnaires and neuropsychological tests was selected, optimally suited to the deficits found most prevalent in aSAH patients that was available in different languages and standardized. RESULTS We propose a baseline inpatient neuropsychological screening using the Montreal Cognitive Assessment (MoCA) between days 14 and 28 after aSAH. In an outpatient setting at 3 and 12 months after bleeding, we recommend a neuropsychological examination, testing all relevant domains including attention, speed of information processing, executive functions, verbal and visual learning/memory, language, visuo-perceptual abilities, and premorbid intelligence. In addition, a detailed assessment capturing anxiety, depression, fatigue, symptoms of frontal lobe affection, and quality of life should be performed. CONCLUSIONS This standardized neuropsychological assessment will lead to a more comprehensive assessment of the patient, facilitate the detection and subsequent treatment of previously unrecognized but relevant impairments, and help to determine the incidence, characteristics, modifiable risk factors, and the clinical course of these impairments after aSAH.