Practical, Pluggable Types for a Dynamic Language

Most languages fall into one of two camps: either they adopt a unique, static type system, or they abandon static type-checks for run-time checks. Pluggable types blur this division by (i) making static type systems optional, and (ii) supporting a choice of type systems for reasoning about different kinds of static properties. Dynamic languages can then benefit from static-checking without sacrificing dynamic features or committing to a unique, static type system. But the overhead of adopting pluggable types can be very high, especially if all existing code must be decorated with type annotations before any type-checking can be performed. We propose a practical and pragmatic approach to introduce pluggable type systems to dynamic languages. First of all, only annotated code is type-checked. Second, limited type inference is performed on unannotated code to reduce the number of reported errors. Finally, external annotations can be used to type third-party code. We present Typeplug, a Smalltalk implementation of our framework, and report on experience applying the framework to three different pluggable type systems.

Taking an Object-Centric View on Dynamic Information with Object Flow Analysis

A large body of research analyzes the runtime execution of a system to extract abstract behavioral views. Those approaches primarily analyze control flow by tracing method execution events or they analyze object graphs of heap snapshots. However, they do not capture how objects are passed through the system at runtime. We refer to the exchange of objects as the object flow, and we claim that object flow is necessary to analyze if we are to understand the runtime of an object-oriented application. We propose and detail Object Flow Analysis, a novel dynamic analysis technique that takes this new information into account. To evaluate its usefulness, we present a visual approach that allows a developer to study classes and components in terms of how they exchange objects at runtime. We illustrate our approach on three case studies.

Augmenting Static Source Views in IDEs with Dynamic Metrics

Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any information about runtime behavior. However, object-oriented programs heavily rely on polymorphism and late-binding, which makes them difficult to understand just based on their static structure. Developers thus resort to debuggers or profilers to study the system's dynamics. However, the information provided by these tools is volatile and hence cannot be exploited to ease the navigation of the source space. In this paper we present an approach to augment the static source perspective with dynamic metrics such as precise runtime type information, or memory and object allocation statistics. Dynamic metrics can leverage the understanding for the behavior and structure of a system. We rely on dynamic data gathering based on aspects to analyze running Java systems. By solving concrete use cases we illustrate how dynamic metrics directly available in the IDE are useful. We also comprehensively report on the efficiency of our approach to gather dynamic metrics.

Dynamic Synchronization: A Synchronization Model through Behavioral Reflection

In conventional software applications, synchronization code is typically interspersed with functional code, thereby impacting understandability and maintainability of the code base. At the same time, the synchronization defined statically in the code is not capable of adapting to different runtime situations. We propose a new approach to concurrency control which strictly separates the functional code from the synchronization requirements to be used and which adapts objects to be synchronized dynamically to their environment. First-class synchronization specifications express safety requirements, and a dynamic synchronization system dynamically adapts objects to different runtime situations. We present an overview of a prototype of our approach together with several classical concurrency problems, and we discuss open issues for further research.

Early Versus Late Effort in Dynamic Agencies with Unverifiable Information

In this paper we analyze a dynamic agency problem where contracting parties do not know the agent's future productivity at the beginning of the relationship. We consider a two-period model where both the agent and the principal observe the agent's second-period productivity at the end of the first period. This observation is assumed to be non-verifiable information. We compare long-term contracts with short-term contracts with respect to their suitability to motivate effort in both periods. On the one hand, short-term contracts allow for a better fine-tuning of second-period incentives as they can be aligned with the agent's second-period productivity. On the other hand, in short-term contracts first-period effort incentives might be distorted as contracts have to be sequentially optimal. Hence, the difference between long-term and short-term contracts is characterized by a trade-off between inducing effort in the first and in the second period. We analyze the determinants of this trade-off and demonstrate its implications for performance measurement and information system design.

GPU-based Ray Tracing of Dynamic Scenes

Interactive ray tracing of non-trivial scenes is just becoming feasible on single graphics processing units (GPU). Recent work in this area focuses on building effective acceleration structures, which work well under the constraints of current GPUs. Most approaches are targeted at static scenes and only allow navigation in the virtual scene. So far support for dynamic scenes has not been considered for GPU implementations. We have developed a GPU-based ray tracing system for dynamic scenes consisting of a set of individual objects. Each object may independently move around, but its geometry and topology are static.

Dynamic merge of discrete goods flow – Impact on throughput and efficiency

Continuous conveyors with a dynamic merge were developed with adaptable control equipment to differentiate these merges from competing Stop-and-Go merges. With a dynamic merge, the partial flows are manipulated by influencing speeds so that transport units need not stop for the merge. This leads to a more uniform flow of materials, which is qualitatively observable and verifiable in long-term measurements. And although this type of merge is visually mesmerizing, does it lead to advantages from the view of material flow technology? Our study with real data indicates that a dynamic merge shows a 24% increase in performance, but only for symmetric or nearly symmetric flows. This performance advantage decreases as the flows become less symmetric, approaching the throughput of traditional Stop-and-Go merges. And with a cost premium for a continuous merge of approximately 10% due to the additional technical components (belt conveyor, adjustable drive engines, software, etc.), this restricts their economical use.

Governing individual learning in the transition phase of software maintenance offshoring: a dynamic perspective

Prior studies suggest that clients need to actively govern knowledge transfer to vendor staff in offshore outsourcing. In this paper, we analyze longitudinal data from four software maintenance offshore out-sourcing projects to explore why governance may be needed for knowledge transfer and how governance and the individual learning of vendor engineers inter-act over time. Our results suggest that self-control is central to learning, but may be hampered by low levels of trust and expertise at the outset of projects. For these foundations to develop, clients initially need to exert high amounts of formal and clan controls to enforce learning activities against barriers to knowledge sharing. Once learning activities occur, trust and expertise increase and control portfolios may show greater emphases on self-control.

Locational policies in secondary capital cities: constructing a dynamic framework

Capital cities that are not the economic centers of their nations – so-called secondary capital cities (SSCs) – tend to be overlooked in the field of political science. Consequentially, there is a lack of research and resulting theory describing their local economy and their public policies. This paper analyzes how SCCs try to develop and position themselves through the formulation of locational policies. By linking three different theoretical strands – the Regional Innovation System (RIS) approach, the concept of locational policies, and the regime perspective – this paper aims for constructing a framework to study the economic and political dynamics in SCCs.

An integrated system for 3D hip joint reconstruction from 2D X-rays: a preliminary validation study

The acquisition of conventional X-ray radiographs remains the standard imaging procedure for the diagnosis of hip-related problems. However, recent studies demonstrated the benefit of using three-dimensional (3D) surface models in the clinical routine. 3D surface models of the hip joint are useful for assessing the dynamic range of motion in order to identify possible pathologies such as femoroacetabular impingement. In this paper, we present an integrated system which consists of X-ray radiograph calibration and subsequent 2D/3D hip joint reconstruction for diagnosis and planning of hip-related problems. A mobile phantom with two different sizes of fiducials was developed for X-ray radiograph calibration, which can be robustly detected within the images. On the basis of the calibrated X-ray images, a 3D reconstruction method of the acetabulum was developed and applied together with existing techniques to reconstruct a 3D surface model of the hip joint. X-ray radiographs of dry cadaveric hip bones and one cadaveric specimen with soft tissue were used to prove the robustness of the developed fiducial detection algorithm. Computed tomography scans of the cadaveric bones were used to validate the accuracy of the integrated system. The fiducial detection sensitivity was in the same range for both sizes of fiducials. While the detection sensitivity was 97.96% for the large fiducials, it was 97.62% for the small fiducials. The acetabulum and the proximal femur were reconstructed with a mean surface distance error of 1.06 and 1.01 mm, respectively. The results for fiducial detection sensitivity and 3D surface reconstruction demonstrated the capability of the integrated system for 3D hip joint reconstruction from 2D calibrated X-ray radiographs.

Incremental Dynamic Updates with First-class Contexts

Highly available software systems occasionally need to be updated while avoiding downtime. Dynamic software updates reduce down-time, but still require the system to reach a quiescent state in which a global update can be performed. This can be difficult for multi-threaded systems. We present a novel approach to dynamic updates using first-class contexts, called Theseus. First-class contexts make global updates unnecessary: existing threads run to termination in an old context, while new threads start in a new, updated context; consistency between contexts is ensured with the help of bidirectional transformations. We show that for multi-threaded systems with coherent memory, first-class contexts offer a practical and flexible approach to dynamic updates, with acceptable overhead.

Dynamic Remodeling of the Stressed Heart: Role of Protein Degradation Pathways

The heart is a remarkable organ. In order to maintain its function, it remodels in response to a variety of environmental stresses, including pressure overload, volume overload, mechanical or pharmacological unloading and hormonal or metabolic disturbances. All these responses are linked to the inherent capacity of the heart to rebuild itself. Particularly, cardiac pressure overload activates signaling pathways of both protein synthesis and degradation. While much is known about regulators of protein synthesis, little is known about regulators of protein degradation in hypertrophy. The ubiquitin-proteasome system (UPS) selectively degrades unused and abnormal intracellular proteins. I speculated that the UPS may play an important role in both qualitative and quantitative changes in the composition of heart muscle during hypertrophic remodeling. My study hypothesized that cardiac remodeling in response to hypertrophic stimuli is a dynamic process that requires activation of highly regulated mechanisms of protein degradation as much as it requires protein synthesis. My first aim was to adopt a model of left ventricular hypertrophy and determine its gene expression and structural changes. Male Sprague-Dawley rats were submitted to ascending aortic banding and sacrificed at 7 and 14 days after surgery. Sham operated animals served as controls. Effective aortic banding was confirmed by hemodynamic assessment by Doppler flow measurements in vivo. Banded rats showed a four-fold increase in peak stenotic jet velocities. Histomorphometric analysis revealed a significant increase in myocyte size as well as fibrosis in the banded animals. Transcript analysis showed that banded animals had reverted to the fetal gene program. My second aim was to assess if the UPS is increased and transcriptionally regulated in hypertrophic left ventricular remodeling. Protein extracts from the left ventricles of the banded and control animals were used to perform an in vitro peptidase assay to assess the overall catalytic activity of the UPS. The results showed no difference between hypertrophied and control animals. Transcript analysis revealed decreases in transcript levels of candidate UPS genes in the hypertrophied hearts at 7 days post-banding but not at 14 days. However, protein expression analysis showed no difference at either time point compared to controls. These findings indicate that elements of the UPS are downregulated in the early phase of hypertrophic remodeling and normalizes in a later phase. The results provide evidence in support of a dynamic transcriptional regulation of a major pathway of intracellular protein degradation in the heart. The discrepancy between transcript levels on the one hand and protein levels on the other hand supports post-transcriptional regulation of the UPS pathway in the hypertrophied heart. The exact mechanisms and the functional consequences remain to be elucidated.

Microbial-immune cross-talk and regulation of the immune system

We are all born germ-free. Following birth we enter into a lifelong relationship with microbes residing on our body's surfaces. The lower intestine is home to the highest microbial density in our body, which is also the highest microbial density known on Earth (up to 10(12) /g of luminal contents). With our indigenous microbial cells outnumbering our human cells by an order of magnitude our body is more microbial than human. Numerous immune adaptations confine these microbes within the mucosa, enabling most of us to live in peaceful homeostasis with our intestinal symbionts. Intestinal epithelial cells not only form a physical barrier between the bacteria-laden lumen and the rest of the body but also function as multi-tasking immune cells that sense the prevailing microbial (apical) and immune (basolateral) milieus, instruct the underlying immune cells, and adapt functionally. In the constant effort to ensure intestinal homeostasis, the immune system becomes educated to respond appropriately and in turn immune status can shape the microbial consortia. Here we review how the dynamic immune-microbial dialogue underlies maturation and regulation of the immune system and discuss recent findings on the impact of diet on both microbial ecology and immune function.

Dynamic high-resolution computer simulation of electrophoretic enantiomer separations with neutral cyclodextrins as chiral selectors.

GENTRANS, a comprehensive one-dimensional dynamic simulator for electrophoretic separations and transport, was extended for handling electrokinetic chiral separations with a neutral ligand. The code can be employed to study the 1:1 interaction of monovalent weak and strong acids and bases with a single monovalent weak or strong acid or base additive, including a neutral cyclodextrin, under real experimental conditions. It is a tool to investigate the dynamics of chiral separations and to provide insight into the buffer systems used in chiral capillary zone electrophoresis (CZE) and chiral isotachophoresis. Analyte stacking across conductivity and buffer additive gradients, changes of additive concentration, buffer component concentration, pH, and conductivity across migrating sample zones and peaks, and the formation and migration of system peaks can thereby be investigated in a hitherto inaccessible way. For model systems with charged weak bases and neutral modified β-cyclodextrins at acidic pH, for which complexation constants, ionic mobilities, and mobilities of selector-analyte complexes have been determined by CZE, simulated and experimentally determined electropherograms and isotachopherograms are shown to be in good agreement. Simulation data reveal that CZE separations of cationic enantiomers performed in phosphate buffers at low pH occur behind a fast cationic migrating system peak that has a small impact on the buffer composition under which enantiomeric separation takes place.