Search
Search Results
-
A new thread-level speculative automatic parallelization model and library based on duplicate code execution
Loop-efficient automatic parallelization has become increasingly relevant due to the growing number of cores in current processors and the...
-
Secure Speculation via Speculative Secret Flow Tracking
Speculative execution attacks can leak arbitrary program data under malicious speculation, presenting a severe security threat. Based on two key...
-
SimdFSM: An Adaptive Vectorization of Finite State Machines for Speculative Execution
Parallel execution of a Finite State Machine (FSM) is challenging due to strong data dependency. Previous work proposed speculative execution to... -
Speculative anisotropic mesh adaptation on shared memory for CFD applications
Efficient and robust anisotropic mesh adaptation is crucial for Computational Fluid Dynamics (CFD) simulations. The CFD Vision 2030 Study highlights...
-
Automatic and Incremental Repair for Speculative Information Leaks
We present CureSpec, the first model-checking based framework for automatic repair of programs with respect to information leaks in the presence of... -
RDBMS Speculative Support Improvement by the Use of the Query Hypergraph Representation
The paper concerns the methodology for speculative support for query execution in Relational Database Management Systems (RDBMSs). It discusses and... -
Specularizer : Detecting Speculative Execution Attacks via Performance Tracing
This paper presents Specularizer, a framework for uncovering speculative execution attacks using performance tracing features available in commodity... -
Towards the Optimization of Speculative PDES Platforms in Shared-Memory Multi-core Machines
Speculative parallel discrete event simulation on shared-memory machines has become a hot field to study due to its exploitation of massively... -
Data Sins: Speculative Design Unveiling Data Colonialism Through AI Imagery
The Data Sins project aims to provoke reflection on the concept of data colonialism by exploring its key underpinnings as an emerging phenomenon in... -
Tasking framework for adaptive speculative parallel mesh generation
Handling the ever-increasing complexity of mesh generation codes along with the intricacies of newer hardware often results in codes that are both...
-
Speculative SAT Modulo SAT
State-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples.... -
Explanations for over-constrained problems using QuickXPlain with speculative executions
Conflict detection is used in various scenarios ranging from interactive decision making (e.g., knowledge-based configuration) to the diagnosis of...
-
Using Off-the-Shelf Hardware Transactional Memory to Implement Speculative While in OpenMP
This paper presents Speculative While (SWh), a technique that enables Speculative Task Execution (STE) in OpenMP to accelerate while loops marked by... -
Building Execution Environments from the Trusted Platform Module
In this chapter, we describe attempts at unifying the worlds of hardware and software in which the behaviour of software is controlled by security... -
Using Hardware Transactional Memory to Implement Speculative Privatization in OpenMP
Loop Thread-Level Speculation on Hardware Transactional Memories is a promising strategy to improve application performance in the multicore era.... -
Indirect Meltdown: Building Novel Side-Channel Attacks from Transient-Execution Attacks
The transient-execution attack Meltdown leaks sensitive information by transiently accessing inaccessible data during out-of-order execution.... -
OptSmart: a space efficient
Opt imistic concurrent execution ofSmart contractsPopular blockchains such as Ethereum and several others execute complex transactions in the block through user-defined scripts known as smart contracts ...
-
A meta-pattern for building QoS-optimal mobile services out of equivalent microservices
A QoS-optimal service balances reliability, execution cost, and latency to satisfy application requirements. In emerging distributed environments,...
-
Speculative Dereferencing: Reviving Foreshadow
In this paper, we provide a systematic analysis of the root cause of the prefetching effect observed in previous works and show that its... -
An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities
Reasoning about correctness and security of software is increasingly difficult due to the complexity of modern microarchitectural features such as...