Program developers spend significant time on optimizing and tuning programs. During this
iterative process, they apply optimizations, analyze the resulting code, and modify the …

Calling context trees (CCTs) couple performance metrics with call paths, helping understand
the execution and performance of parallel programs. To identify performance bottlenecks …

Optimizing the performance of large-scale parallel codes is critical for efficient utilization of
computing resources. Code developers often explore various execution parameters, such as …

Common pitfalls in visualization projects include lack of data availability and the domain
users' needs and focus changing too rapidly for the design process to complete. While it is …

Modern software systems require the support of automatic program analyses to answer
questions about their correctness, reliability, and safety. In recent years, symbolic execution …

Evaluations—encompassing computational evaluations, benchmarks and user studies—are
essential tools for validating the performance and applicability of graph and network layout …

The trend of rapid technology scaling is expected to make the hardware of high-performance
computing (HPC) systems more susceptible to computational errors due to random bit flips …

Malaysia and many other developing countries progressively adopting massively open
online course (MOOC) in their national higher education approach. We have observed an …

Symbolic execution is a powerful software testing technique for finding bugs in complex
software. Unfortunately, following the symbolic execution and understanding its results is …

Embedded devices are pivotal in many aspects to our everyday life, acting as key elements
within our critical infrastructures, e-health sector, and the IoT ecosystem. These devices ship …