Finding software vulnerabilities in concurrent programs is a challenging task due to the size
of the state-space exploration, as the number of interleavings grows exponentially with the …

The systematic development of efficient algorithms has become a key technology for all
kinds of ambitious and innovative computer applications. With major parts of algorithmic …

Information systems adoption by small businesses often is viewed as a basic building block
of economic development. Yet, the components that impact business success and thus …

Due to fundamental physical limitations and power constraints, we are witnessing a radical
change in commodity microprocessor architectures to multicore designs. Continued …

Parallelism is the key to achieving high performance in computing. However, writing efficient
and scalable parallel programs is notoriously difficult, and often requires significant …

Providing point-to-point messaging-passing semantics atop Put/Get hardware traditionally
involves implementing a protocol comprising three network latencies. In this paper, we …

We present parallel algorithms for wavelet tree construction with polylogarithmic depth,
improving upon the linear depth of the recent parallel algorithms by Fuentes-Sepulveda et …

In this position paper we argue that an intelligent program development environment that
proactively supports the user helps a mainstream programmer to overcome the difficulties of …

The computing community is in the midst of a disruptive architectural change. The advent of
manycore and heterogeneous computing nodes forces us to reconsider every aspect of the …

提高应用程序开发产能同时获得并行性能收益是多核大众化并行计算研究的核心目标.
采用应用驱动和自顶向下的研究思想着重综述了影响该目标的三个关键问题. 首先 …