School of Computing Professor Vinodchandran Variyam's work has been featured in the Research Highlights section of the current issue of Communications of the ACM (Sept. 2023).
Variyam's paper, “Model Counting Meets Distinct Elements,” was co-authored with Professors Pavan Aduri of Iowa State, Kuldeep Meel of the University of Toronto, and Arnab Bhattacharyya of the National University of Singapore.
Communications of the ACM, ACM's flagship magazine, is the premier chronicler of computing technologies, covering the latest discoveries, innovations, and research that inspire and influence the field. It is the leading print and online publication for the computing and information technology fields. Read by computing's leading professionals worldwide, Communications is recognized as the most trusted and knowledgeable source of industry information for today’s computing professional.
Communications of the ACM’s Research Highlights provides readers with a collection of outstanding research articles, selected from the broad spectrum of computing-research conferences. Articles are first nominated by editorial board members or approved nominating organizations, then subject to final selection by the editorial board. Authors are then invited to submit articles after they have rewritten and expanded their scope as appropriate for the broad readership of Communications.
With a readership of over 85,000 across the globe, publication in Communications of the ACM’s Research Highlights provides unmatched visibility and is regarded as a significant honor.