SIDE-EFFECT FAULT MODEL FOR TESTING VLSI CIRCUITS

The paper presents a new fault model for testing sequential digital circuits, preferably processor-like systems. The concept is based upon the functional specification consisting of instructions. Correct operation of the system is tested by checking not only correct execution of the instructions but their side-effects, as well. Testing for side-effects can be carried out by executing instruction-pairs

XQuery!: An XML Query Language with Side Effects

Abstract. As XML applications become more complex, there is a growing interest in extending XQuery with side-effect operations, notably XML updates. However, the presence of side-effects is at odds with XQuery’s declarative semantics which leaves evaluation order unspecified. In this paper, we define “XQuery!”, an extension of XQuery 1.0 that supports first-class XML updates and user-level control over update application, preserving the benefits of XQuery’s declarative semantics when possible. Our extensions can be easily implemented within an existing XQuery processor and we show how to recover basic database optimizations for such a language.

Model-based prediction of oncotherapy risks and side effects in bladder cancer

The prediction of cancer treatment side-effects requires the capturing of complex biophysical therapy parameters and the integration of different medical knowledge elements. In relation with radiotherapy, it is widely observed that the uncontrolled processes or undefined radiation therapy dose can decline the state of treatment. Precisely, the inability to manage the flow of available information, usually provided in heterogeneous formats, made it complicated to oversee and predict risks and effects of a prescribed treatment protocol. We think that, the optimization of knowledge representation and modelling in the context of evidence-based medicine can support the automated prediction of risks and side effects in oncotherapy. The following manuscript describes our methodology used for the design of a bladder cancer treatment side effects ontology embedded with evidence-based semantic rules and queries. Treatment knowledge is represented along with a particular consideration to the modelling of its referred risks and side effects. Our ontology model helps in improving the streamlining of medical practices and clinical decision-making. Within our semantic web approach, better strategies are applied for treatment selection with reference to possible side effects. Our ontology depicts real world scenario of developing treatment-related side effects. Furthermore, it is a clinical decision support system founding tool that highlights treatments efficiency. Our model shares treatment knowledge, facts and effects. Moreover, it includes medical evidence and incorporates a semantic rule base for systemic prediction results

HasTEE: Programming Trusted Execution Environments with Haskell

Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code and data within an untrusted host environment, such as the cloud and IoT. Despite strong security guarantees, TEE adoption has been hindered by an awkward programming model. This model requires manual application partitioning and the use of error-prone, memory-unsafe, and potentially information-leaking low-level C/C++ libraries. We address the above with \textit{HasTEE}, a domain-specific language (DSL) embedded in Haskell for programming TEE applications. HasTEE includes a port of the GHC runtime for the Intel-SGX TEE. HasTEE uses Haskell's type system to automatically partition an application and to enforce \textit{Information Flow Control} on confidential data. The DSL, being embedded in Haskell, allows for the usage of higher-order functions, monads, and a restricted set of I/O operations to write any standard Haskell application. Contrary to previous work, HasTEE is lightweight, simple, and is provided as a \emph{simple security library}; thus avoiding any GHC modifications. We show the applicability of HasTEE by implementing case studies on federated learning, an encrypted password wallet, and a differentially-private data clean room.Comment: To appear in Haskell Symposium 202

Network-wide assessment of 4D trajectory adjustments using an agent-based model

This paper presents results from the SESAR ER3 Domino project. It focuses on an ECAC-wide assessment of two 4D-adjustment mechanisms, implemented separately and conjointly. These reflect flight behaviour en-route and at-gate, optimising given (cost) objective functions. New metrics designed to capture network effects are used to analyse the results of a microscopic, agent based model. The results show that some implementations of the mechanisms allow the protection of the network from ‘domino’ effects. Airlines focusing on costs may trigger additional side-effects on passengers, displaying, in some instances, clear trade-offs between passenger- and flight-centric metrics

Clarifying and compiling C/C++ concurrency: from C++11 to POWER

The upcoming C and C++ revised standards add concurrency to the languages, for the first time, in the form of a subtle *relaxed memory model* (the *C++11 model*). This aims to permit compiler optimisation and to accommodate the differing relaxed-memory behaviours of mainstream multiprocessors, combining simple semantics for most code with high-performance *low-level atomics* for concurrency libraries. In this paper, we first establish two simpler but provably equivalent models for C++11, one for the full language and another for the subset without consume operations. Subsetting further to the fragment without low-level atomics, we identify a subtlety arising from atomic initialisation and prove that, under an additional condition, the model is equivalent to sequential consistency for race-free programs