A survey on thread-level speculation techniques

A Estebanez, DR Llanos… - ACM Computing Surveys …, 2016 - dl.acm.org
Thread-Level Speculation (TLS) is a promising technique that allows the parallel execution
of sequential code without relying on a prior, compile-time-dependence analysis. In this …

SpecuSym: Speculative symbolic execution for cache timing leak detection

S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu… - Proceedings of the ACM …, 2020 - dl.acm.org
CPU cache is a limited but crucial storage component in modern processors, whereas the
cache timing side-channel may inadvertently leak information through the physically …

SD3: A scalable approach to dynamic data-dependence profiling

M Kim, H Kim, CK Luk - 2010 43rd Annual IEEE/ACM …, 2010 - ieeexplore.ieee.org
As multicore processors are deployed in mainstream computing, the need for software tools
to help parallelize programs is increasing dramatically. Data-dependence profiling is an …

Integrating profile-driven parallelism detection and machine-learning-based mapping

Z Wang, G Tournavitis, B Franke… - ACM Transactions on …, 2014 - dl.acm.org
Compiler-based auto-parallelization is a much-studied area but has yet to find widespread
application. This is largely due to the poor identification and exploitation of application …

Alchemist: A transparent dependence distance profiling infrastructure

X Zhang, A Navabi… - … Symposium on Code …, 2009 - ieeexplore.ieee.org
Effectively migrating sequential applications to take advantage of parallelism available on
multicore platforms is a well-recognized challenge. This paper addresses important aspects …

Perspective: A sensible approach to speculative automatic parallelization

S Apostolakis, Z Xu, G Chan, S Campanoni… - Proceedings of the …, 2020 - dl.acm.org
The promise of automatic parallelization, freeing programmers from the error-prone and time-
consuming process of making efficient use of parallel processing resources, remains …

Speeding up dynamic language execution on a virtual machine with type speculation

R Westrelin, JR Rose - US Patent 10,324,741, 2019 - Google Patents
According to one technique, a virtual machine stores type profiling data for program code,
the type profiling data indicating observed types for profiled values within the program code …

Profiling data-dependence to assist parallelization: Framework, scope, and optimization

A Ketterlin, P Clauss - 2012 45th Annual IEEE/ACM …, 2012 - ieeexplore.ieee.org
This paper describes a tool using one or more executions of a sequential program to detect
parallel portions of the program. The tool, called Par wiz, uses dynamic binary …

The road not taken: exploring alias analysis based optimizations missed by the compiler

K Chitre, P Kedia, R Purandare - Proceedings of the ACM on …, 2022 - dl.acm.org
Context-sensitive inter-procedural alias analyses are more precise than intra-procedural
alias analyses. However, context-sensitive inter-procedural alias analyses are not scalable …

Speculative separation for privatization and reductions

NP Johnson, H Kim, P Prabhu, A Zaks… - ACM SIGPLAN …, 2012 - dl.acm.org
Automatic parallelization is a promising strategy to improve application performance in the
multicore era. However, common programming practices such as the reuse of data …