Search

Parallelization of static analyses is necessary to scale to real-world programs, but it is a complex and difficult task and, therefore, often only done manually for selected high-profile analyses. In this paper, we propose a programming model for semi-implicit parallelization of static analyses which is inspired by reactive programming. Reusing the domain-expert knowledge on how to parallelize anal- yses encoded in the programming framework, developers do not need to think about parallelization and concurrency issues on their own. The programming model supports stateful computations, only requires monotonic computations over lattices, and is independent of specific analyses. Our evaluation shows the applicability of the programming model to different analyses and the importance of user-selected scheduling strategies. We implemented an IFDS solver that was able to outperform a state-of-the-art, specialized parallel IFDS solver both in absolute performance and scalability.

Current approaches combining multiple static analyses deriving different, independent properties focus either on modularity or performance. Whereas declarative approaches facilitate modularity and automated, analysis-independent optimizations, imperative approaches foster manual, analysis-specific optimizations. In this paper, we present a novel approach to static analyses that leverages the modularity of blackboard systems and combines declarative and imperative techniques. Our approach allows exchangeability, and pluggable extension of analyses in order to improve sound(i)ness, precision, and scalability and explicitly enables the combination of otherwise incompatible analyses. With our approach integrated in the OPAL framework, we were able to implement various dissimilar analyses, including a points-to analysis that outperforms an equivalent analysis from Doop, the state-of-the-art points-to analysis framework., Comment: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Nov 2020

This paper was presented in 2018 at the 33rd ACM/IEEE International Conference on Automated Software Engineering and proposes a framework for purity analyses. Analyzing methods in object-oriented programs whether they are side-effect free and also deterministic, i.e., mathematically pure, has been the target of extensive research. Identifying such methods helps to find code smells and security related issues, and helps analyses detecting concurrency bugs. Pure methods are further used for formal specifications and proving the pureness is necessary to ensure correct specifications. However, no common terminology exists which describes the purity of methods. Furthermore, some terms (e.g., pure or side-effect free) are used inconsistently. Further, all current approaches only report selected purity information making them only suitable for a smaller subset of the potential use cases. We present a fine-grained unified lattice model which puts the purity levels found in the literature into relation and which adds a new level that generalizes existing definitions. We have also implemented a scalable, modularized purity analysis which produces significantly more precise results for real-world programs than the best-performing related work. The analysis shows that all defined levels are found in real-world projects.

Core and peripheral body temperatures are affected by changes in reproductive hormones during the menstrual cycle. Women worldwide use the basal body temperature (BBT) method to aid and prevent conception. However, prior research suggests that taking one’s daily temperature can prove inconvenient and subject to environmental factors. We investigate whether a more automatic, non-invasive temperature measurement system can detect changes in temperature across the menstrual cycle. We examined how wrist skin temperature (WST), measured with wearable sensors, correlates with urinary tests of ovulation and may serve as a new method of fertility tracking. One hundred and thirty-six eumenorrheic, non-pregnant women participated in an observational study. Participants wore WST biosensors during sleep and reported their daily activities. An at-home luteinizing hormone (LH) test was used to confirm ovulation. WST was recorded across 437 cycles (mean cycles/participant = 3.21, S.D. = 2.25). We tested the relationship between the fertile window and WST temperature shifts, using the BBT three-over-six rule. A sustained 3-day temperature shift was observed in 357/437 cycles (82%), with the lowest cycle temperature occurring in the fertile window 41% of the time. Most temporal shifts (307/357, 86%) occurred on ovulation day (OV) or later. The average early-luteal phase temperature was 0.33°C higher than in the fertile window. Menstrual cycle changes in WST were impervious to lifestyle factors, like having sex, alcohol, or eating prior to bed, that, in prior work, have been shown to obfuscate BBT readings. Although currently costlier than BBT, the present study suggests that WST could be a promising, convenient parameter for future multiparameter fertility awareness methods.

Sleep monitoring provides valuable insights into the general health of an individual and helps in the diagnostic of sleep-derived illnesses. Polysomnography, is considered the gold standard for such task. However, it is very unwieldy and therefore not suitable for long-term analysis. Here, we present a non-intrusive wearable system that, by using photoplethysmography, it can estimate beat-to-beat intervals, pulse rate, and breathing rate reliably during the night. The performance of the proposed approach was evaluated empirically in the Department of Psychology at the University of Fribourg. Each participant was wearing two smart-bracelets from Ava as well as a complete polysomnographic setup as reference. The resulting mean absolute errors are 17.4 ms (MAPE 1.8%) for the beat-to-beat intervals, 0.13 beats-per-minute (MAPE 0.20%) for the pulse rate, and 0.9 breaths-per-minute (MAPE 6.7%) for the breath rate., Submitted to the 40th International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

In order to achieve a higher reusability and testability, static analyses are increasingly being build as modular pipelines of analysis components. However, to build, debug, test, and evaluate these components the complete pipeline has to be executed every time. This process recomputes intermediate results which have already been computed in a previous run but are lost because the preceding process ended and removed them from memory. We propose to leverage runtime reusability for static analysis pipelines and introduce SootKeeper, a framework to modularize static analyses into OSGi (Open Service Gateway initiative) bundles, which takes care of the automatic caching of intermediate results. Little to no change to the original analysis is necessary to use SootKeeper while speeding up the execution of code-build-debug cycles or evaluation pipelines significantly.

An affordable, user-friendly fertility-monitoring tool remains an unmet need. We examine in this study the correlation between pulse rate (PR) and the menstrual phases using wrist-worn PR sensors. 91 healthy, non-pregnant women, between 22–42 years old, were recruited for a prospective-observational clinical trial. Participants measured PR during sleep using wrist-worn bracelets with photoplethysmographic sensors. Ovulation day was estimated with “Clearblue Digital-Ovulation-urine test”. Potential behavioral and nutritional confounders were collected daily. 274 ovulatory cycles were recorded from 91 eligible women, with a mean cycle length of 27.3 days (±2.7). We observed a significant increase in PR during the fertile window compared to the menstrual phase (2.1 beat-per-minute, p