enter search term and/or author name
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into mutually recursive, separately compilable components. Mixin modules...
A Transformation Framework for Optimizing Task-Parallel Programs
V. Krishna Nandivada, Jun Shirako, Jisheng Zhao, Vivek Sarkar
Article No.: 3
Task parallelism has increasingly become a trend with programming models such as OpenMP 3.0, Cilk, Java Concurrency, X10, Chapel and Habanero-Java (HJ) to address the requirements of multicore programmers. While task parallelism increases...
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
Junghee Lim, Thomas Reps
Article No.: 4
This article describes the design and implementation of a system, called T
Practical Integrated Analysis of Pointers, Dataflow and Control Flow
Article No.: 5
This article presents a family of static analyses to determine pointer targets, control flow, and dataflow in combination. The integrated solution to these mutually dependent problems approaches the result from the optimistic side. It is a general...