Research and Advances

Automatic and Versatile Publications Ranking For Research Institutions and Scholars

Assessing both academic and industrial research institutions, along with their scholars, can help identify the best organizations and individuals in a given discipline. Assessment can reveal outstanding institutions and scholars, allowing students and researchers to better decide where they want to study or work and allowing employers to recruit the most qualified potential employees. These assessments can also assist both internal and external administrators in making influential decisions; for example, funding, promotion, and compensation.

Advertisement

Author Archives

Research and Advances

A general-purpose algorithm for analyzing concurrent programs

Developing and verifying concurrent programs presents several problems. A static analysis algorithm is presented here that addresses the following problems: how processes are synchronized, what determines when programs are run in parallel, and how errors are detected in the synchronization structure. Though the research focuses on Ada, the results can be applied to other concurrent programming languages such as CSP.

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