Koushik Sen – Communications of the ACM

Research and Advances Jun 1 2016

Technical Perspective: Veritesting Tackles Path-Explosion Problem

"Enhancing Symbolic Execution with Veritesting" by Avgerinos et al. proposes an effective technique called veritesting that addresses the scalability limitations of path merging in symbolic execution.

Computing Applications

Author Archives

Research and Advances Feb 1 2013

Symbolic Execution For Software Testing: Three Decades Later

The challenges — and great promise — of modern symbolic execution techniques, and the tools to help implement them.

Architecture and Hardware

Symbolic Execution for Software Testing, illustration

Research and Advances Jun 1 2010

Asserting and Checking Determinism For Multithreaded Programs

The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. Writing correct multithreaded programs, however, has proven to be quite challenging in practice.

Computing Applications

Research and Advances Oct 1 2009

A View of the Parallel Computing Landscape

Writing programs that scale with increasing numbers of cores should be as easy as writing programs for sequential computers. Here as a concrete example of a coordinated attack on the problem of parallelism.

Architecture and Hardware

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved