Exploiting Runtime Information in the IDE

Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system's static source code. The static perspective, however, is not enough to understand an object-oriented program's behavior, in particular if implemented in a dynamic language. We propose to enhance IDEs with a program's runtime information (eg. message sends and type information) to support program comprehension through precise navigation and informative browsing. To precisely specify the type and amount of runtime data to gather about a system under development, dynamically and on demand, we adopt a technique known as partial behavioral reflection. We implemented navigation and browsing enhancements to an IDE that exploit this runtime information in a prototype called Hermion. We present preliminary validation of our experimental enhanced IDE by asking developers to assess its usefulness to understand an unfamiliar software system.

JExample: Exploiting Dependencies Between Tests to Improve Defect Localization

To quickly localize defects, we want our attention to be focussed on relevant failing tests. We propose to improve defect localization by exploiting dependencies between tests, using a JUnit extension called JExample. In a case study, a monolithic white-box test suite for a complex algorithm is refactored into two traditional JUnit style tests and to JExample. Of the three refactorings, JExample reports five times fewer defect locations and slightly better performance (-8-12\%), while having similar maintenance characteristics. Compared to the original implementation, JExample greatly improves maintainability due the improved factorization following the accepted test quality guidelines. As such, JExample combines the benefits of test chains with test quality aspects of JUnit style testing.

Building the View Graph of a Category by Exploiting Image Realism

We propose a weakly supervised method to arrange images of a given category based on the relative pose between the camera and the object in the scene. Relative poses are points on a sphere centered at the object in a given canonical pose, which we call object viewpoints. Our method builds a graph on this sphere by assigning images with similar viewpoint to the same node and by connecting nodes if they are related by a small rotation. The key idea is to exploit a large unlabeled dataset to validate the likelihood of dominant 3D planes of the object geometry. A number of 3D plane hypotheses are evaluated by applying small 3D rotations to each hypothesis and by measuring how well the deformed images match other images in the dataset. Correct hypotheses will result in deformed images that correspond to plausible views of the object, and thus will likely match well other images in the same category. The identified 3D planes are then used to compute affinities between images related by a change of viewpoint. We then use the affinities to build a view graph via a greedy method and the maximum spanning tree.

Surface-acoustic-wave counterflow micropumps for on-chip liquid motion control in two-dimensional microchannel arrays

Fully controlled liquid injection and flow in hydrophobic polydimethylsiloxane (PDMS) two-dimensional microchannel arrays based on on-chip integrated, low-voltage-driven micropumps are demonstrated. Our architecture exploits the surface-acoustic-wave (SAW) induced counterflow mechanism and the effect of nebulization anisotropies at crossing areas owing to lateral propagating SAWs. We show that by selectively exciting single or multiple SAWs, fluids can be drawn from their reservoirs and moved towards selected positions of a microchannel grid. Splitting of the main liquid flow is also demonstrated by exploiting multiple SAW beams. As a demonstrator, we show simultaneous filling of two orthogonal microchannels. The present results show that SAW micropumps are good candidates for truly integrated on-chip fluidic networks allowing liquid control in arbitrarily shaped two-dimensional microchannel arrays.

Neuronal polarity selection by topography-induced focal adhesion control

Interaction between differentiating neurons and the extracellular environment guides the establishment of cell polarity during nervous system development. Developing neurons read the physical properties of the local substrate in a contact-dependent manner and retrieve essential guidance cues. In previous works we demonstrated that PC12 cell interaction with nanogratings (alternating lines of ridges and grooves of submicron size) promotes bipolarity and alignment to the substrate topography. Here, we investigate the role of focal adhesions, cell contractility, and actin dynamics in this process. Exploiting nanoimprint lithography techniques and a cyclic olefin copolymer, we engineered biocompatible nanostructured substrates designed for high-resolution live-cell microscopy. Our results reveal that neuronal polarization and contact guidance are based on a geometrical constraint of focal adhesions resulting in an angular modulation of their maturation and persistence. We report on ROCK1/2-myosin-II pathway activity and demonstrate that ROCK-mediated contractility contributes to polarity selection during neuronal differentiation. Importantly, the selection process confined the generation of actin-supported membrane protrusions and the initiation of new neurites at the poles. Maintenance of the established polarity was independent from NGF stimulation. Altogether our results imply that focal adhesions and cell contractility stably link the topographical configuration of the extracellular environment to a corresponding neuronal polarity state.

The effect of alternative neuronal differentiation pathways on PC12 cell adhesion and neurite alignment to nanogratings

During development and regeneration of the mammalian nervous system, directional signals guide differentiating neurons toward their targets. Soluble neurotrophic molecules encode for preferential direction over long distances while the local topography is read by cells in a process requiring the establishment of focal adhesions. The mutual interaction between overlapping molecular and topographical signals introduces an additional level of control to this picture. The role of the substrate topography was demonstrated exploiting nanotechnologies to generate biomimetic scaffolds that control both the polarity of differentiating neurons and the alignment of their neurites. Here PC12 cells contacting nanogratings made of copolymer 2-norbornene ethylene (COC), were alternatively stimulated with Nerve Growth Factor, Forskolin, and 8-(4-chloro-phenylthio)-2'-O-methyladenosine-3',5'-cyclic (8CPT-2Me-cAMP) or with a combination of them. Topographical guidance was differently modulated by the alternative stimulation protocols tested. Forskolin stimulation reduced the efficiency of neurite alignment to the nanogratings. This effect was linked to the inhibition of focal adhesion maturation. Modulation of neurite alignment and focal adhesion maturation upon Forskolin stimulation depended on the activation of the MEK/ERK signaling but were PkA independent. Altogether, our results demonstrate that topographical guidance in PC12 cells is modulated by the activation of alternative neuronal differentiation pathways.

A Portable Image Overlay Projection Device for Computer-Aided Open Liver Surgery

Image overlay projection is a form of augmented reality that allows surgeons to view underlying anatomical structures directly on the patient surface. It improves intuitiveness of computer-aided surgery by removing the need for sight diversion between the patient and a display screen and has been reported to assist in 3-D understanding of anatomical structures and the identification of target and critical structures. Challenges in the development of image overlay technologies for surgery remain in the projection setup. Calibration, patient registration, view direction, and projection obstruction remain unsolved limitations to image overlay techniques. In this paper, we propose a novel, portable, and handheld-navigated image overlay device based on miniature laser projection technology that allows images of 3-D patient-specific models to be projected directly onto the organ surface intraoperatively without the need for intrusive hardware around the surgical site. The device can be integrated into a navigation system, thereby exploiting existing patient registration and model generation solutions. The position of the device is tracked by the navigation system’s position sensor and used to project geometrically correct images from any position within the workspace of the navigation system. The projector was calibrated using modified camera calibration techniques and images for projection are rendered using a virtual camera defined by the projectors extrinsic parameters. Verification of the device’s projection accuracy concluded a mean projection error of 1.3 mm. Visibility testing of the projection performed on pig liver tissue found the device suitable for the display of anatomical structures on the organ surface. The feasibility of use within the surgical workflow was assessed during open liver surgery. We show that the device could be quickly and unobtrusively deployed within the sterile environment.

Lessons in Software Evolution Learned by Listening to Smalltalk

The biggest challenge facing software developers today is how to gracefully evolve complex software systems in the face of changing requirements. We clearly need software systems to be more dynamic, compositional and model-centric, but instead we continue to build systems that are static, baroque and inflexible. How can we better build change-enabled systems in the future? To answer this question, we propose to look back to one of the most successful systems to support change, namely Smalltalk. We briefly introduce Smalltalk with a few simple examples, and draw some lessons for software evolution. Smalltalk's simplicity, its reflective design, and its highly dynamic nature all go a long way towards enabling change in Smalltalk applications. We then illustrate how these lessons work in practice by reviewing a number of research projects that support software evolution by exploiting Smalltalk's design. We conclude by summarizing open issues and challenges for change-enabled systems of the future.

Line focusing for soft x-ray laser-plasma lasing

A computational study of line-focus generation was done using a self-written ray-tracing code and compared to experimental data. Two line-focusing geometries were compared, i.e., either exploiting the sagittal astigmatism of a tilted spherical mirror or using the spherical aberration of an off-axis- illuminated spherical mirror. Line focusing by means of astigmatism or spherical aberration showed identical results as expected for the equivalence of the two frames of reference. The variation of the incidence angle on the target affects the line-focus length, which affects the amplification length such that as long as the irradiance is above the amplification threshold, it is advantageous to have a longer line focus. The amplification threshold is physically dependent on operating parameters and plasma-column conditions and in the present study addresses four possible cases.