June, 2012 Archive

Concurrency Attacks

Junfeng Yang, Ang Cui, Sal Stolfo, Simha Sethumadhavan the Fourth USENIX Workshop on Hot Topics in Parallelism (HOTPAR ’12), June, 2012 Abstract Just as errors in sequential programs can lead to security exploits, errors in concurrent programs can lead to concurrency attacks. Questions such as whether these attacks are real and what characteristics they have remain largely unknown. In this …

Read More

Sound and Precise Analysis of Parallel Programs through Schedule Specialization

Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’12), June, 2012 Abstract Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over all schedules requires over-approximations, …

Read More

Columbia University Department of Computer Science