Filtyp
We introduce the concept of "residual investigation" for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that reports a possible program error. The purpose is to observe conditions that indicate whether the statically predicted program fault is likely to be realizable and relevant. The key feature of a residual investigation is that
The current generation of dynamic invariant detectors often produce invariants that are inconsistent with program semantics or programmer knowledge. We improve the consistency of dynamically discovered invariants by taking into account higher-level constraints. These constraints encode knowledge about invariants, even when the invariants themselves are unknown. For instance, even though the invari
Variance is concerned with the interplay of parametric polymorphism (i.e., templates, generics) and subtyping. The study of variance gives answers to the question of when an instantiation of a generic class can be a subtype of another. In this work, we combine the mechanisms of use-site variance (as in Java) and definition-site variance (as in Scala and C#) in a single type system, based on Java.
We present the DEAL language for heap assertions that are efficiently evaluated during garbage collection time. DEAL is a rich, declarative, logic-based language whose programs are guaranteed to be executable with good whole-heap locality, i.e., within a single traversal over every live object on the heap and a finite neighborhood around each object. As a result, evaluating DEAL programs incurs ne
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant traversals in such programs. The analysis handles
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use container classes defined in the java.util package. Given this extensive code reuse in Java programs, it is important for the interfaces of reusable classes to be well documented. An interface is well
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant traversals in XML processing programs. The analysi
Modern programs make extensive use of reusable software libraries. For example, we found that 17% to 30% of the classes in a number of large Java applications use the container classes from the java.util package. Given this extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous documentation. Unfortunately, most documentation is expressed i
One approach to the assessment of overall opinion polarity (OvOP) of reviews, a concept defined in this paper, is the use of supervised machine learning mechanisms. In this paper, the impact of lexical feature selection and feature generalization, applied to reviews, on the precision of two probabilistic classifiers (Naïve Bayes and Markov Model) with respect to OvOP identification is observed. Fe
The four-stroke engine was invented by Nikolaus Otto during the second half of the 19th century. Although a lot of technological improvements have been made over the years, the operating principle with four-strokes remains the same. The need and desire of engines with even higher fuel-efficiency is a motivation to study alternative engine concepts. This thesis presents studies of the Double Compre
Emulsion formation by homogenization is commonly used in food production and research to increase product stability and to design colloidal structures. High-energy methods such as high-pressure homogenizers and rotor–stator mixers are the two most common techniques. However, to what extent does the research community understand the emulsion formation taking place in these devices? This contributioEmulsion formation by homogenization is commonly used in food production and research to increase product stability and to design colloidal structures. High-energy methods such as high-pressure homogenizers and rotor-stator mixers are the two most common techniques. However, to what extent does the research community understand the emulsion formation taking place in these devices? This contributio
Therapeutic antibodies that block the programmed death-1 (PD-1)-programmed death-ligand 1 (PD-L1) pathway can induce robust and durable responses in patients with various cancers, including metastatic urothelial cancer. However, these responses only occur in a subset of patients. Elucidating the determinants of response and resistance is key to improving outcomes and developing new treatment strat
The rate of water exchange across cell membranes is a parameter of biological interest and can be measured by diffusion magnetic resonance imaging (dMRI). In this work, we investigate a stochastic model for the diffusion-and-exchange of water molecules. This model provides a general solution for the temporal evolution of dMRI signal using any type of gradient waveform, thereby generalizing the sig
There is a widening gap between the fast advancement of computational methods for tomographic reconstruction and their successful implementation in production software at various synchrotron facilities. This is due in part to the lack of readily available instrument datasets and phantoms representative of real materials for validation and comparison of new numerical methods. Recent advancements in
Background: Norovirus is frequently introduced to the hospital and is a frequent cause of hospital outbreaks. Recognition of the factors that facilitate or impede norovirus transmission is an important step to effectively prevent hospital outbreaks. Aim: To investigate risk factors for norovirus outbreaks in hospital settings. Methods: Clinical data, ward setting, and norovirus genotype were colle
A questionnaire survey has been conducted in Belgium, Denmark, Germany, Poland, Spain and Sweden in 20162017. Once every third month through one year respondents have received a link to an online questionnaire which asked them about information on any traffic accidents they might have experienced in the period. The questionnaire contains questions on various aspects related to the accidents that
Objective: Slipped capital femoral epiphysis (SCFE) in adolescence is associated with increased risk of future osteoarthritis (OA). The purpose of this study was to study clinical and radiographic risk factors for early cartilage degeneration after SCFE. Design: 22 patients (44 hips) (mean age 24 years, range 18-27) treated with in situ fixation (The Hansson hook-pin) for stable SCFE on average 11
