We present the fusion calculus as a significant step towards a canonical calculus of
concurrency. It simplifies and extends the/spl pi/-calculus. The fusion calculus contains the …

Spreadsheets are one of the most widely used programming environments, and are widely
deployed in domains like finance where errors can have catastrophic consequences. We …

Spreadsheets are very common for information processing to support decision making by
both professional developers and non-technical end users. Moreover, business intelligence …

Software bugs are prevalent and fixing them is time consuming, and therefore
troubleshooting is an important part of software engineering. This paper presents a novel …

Being able to analyze and derive insights from data, which we call Daily Data Analysis
(DDA), is an increasingly important skill in everyday life. While the accessibility community …

Debugging Simulink models presents a significant challenge in the embedded industry. This
paper proposes SimFL, a fault localization approach for Simulink models by combining …

Various techniques have been proposed to detect smells in spreadsheets, which are
susceptible to errors. These techniques typically detect spreadsheet smells through a …

Spreadsheets are widely used in organizations for various purposes such as data
aggregation, reporting and decision-making. Since spreadsheets, like other types of …

Spreadsheets are widely used by end users for numerical computation in their business.
Spreadsheet cells whose computation is subject to the same semantics are often clustered …

Spreadsheets are widely used in various business tasks. Spreadsheet users may put similar
data and computations by repeating a block of cells (a unit) in their spreadsheets. We name …