Moshe Y. Vardi – Page 8 – Communications of the ACM

Opinion Mar 1 2014

Boolean Satisfiability: Theory and Engineering

The Boolean Satisfiability Problem is a problem of central importance in computer science. At the same time, it is a paradigmatic constraint-satisfaction problem with numerous applications, including hardware and software design, operations research, bioinformatics, and more.

Computing Applications

Communications Editor-in-Chief Moshe Y. Vardi

Opinion Jan 1 2014

Scalable Conferences

One of the main insights developed at the "Publication Culture in Computing Research" workshop, held in November 2012, was that the computing-research publishing ecosystem — both conferences and journals — has simply failed to scale up with the growth of the field.

Computing Applications

Opinion Nov 1 2013

The End of The American Network

The U.S. National Security Agency's pervasive phone and Internet eavesdropping and surveillance operations is making the surveillance technology in George Orwell's classic novel, 1984, seem rather primitive in comparison.

Computing Applications

Opinion Sep 1 2013

Has The Innovation Cup Run Dry?

The future for continuing innovation is quite bright, according to the conventional wisdom. Recently, however, several techno-pessimists have been questioning this techno-optimism. So which way is it?

Computing Applications

Opinion Aug 1 2013

What Is a Flagship Publication?

Communications of the ACM has become known as the "flagship magazine of the ACM." While ACM has an impressive collection of other high-quality journals and magazines, the flagship is not leading the fleet!

Computing Applications

Opinion Jul 1 2013

The Great Robotics Debate

A major debate has erupted among economists regarding the impact of robots and automation on jobs and the possibility of technological unemployment.

Architecture and Hardware

Opinion May 1 2013

Fricative Computing

Our discipline is dedicated to reducing friction. Our goal is to reduce the friction of computing and communication as much as possible. But should zero friction really be our goal? Let's bring friction back into computing.

Computing Applications

Opinion Mar 1 2013

To Boycott or Not to Boycott

There has been sound and fury in the Open Access movement over the past year.

Computing Applications

Opinion Jan 1 2013

Who Begat Computing?

The Turing Centenary is now behind us and we can afford some reflection on what has transpired. There is a risk, however, that in our focus on highlighting Turing's seminal contributions we may have gone from celebration to hagiography.

Computing Applications

Opinion Nov 1 2012

Will MOOCs Destroy Academia?

"Thy destroyers and they that made thee waste shall go forth of thee," wrote the prophet Isaiah. This phrase has been popping into my mind as I have been following the recent raging discussions over the topic of MOOCs.

Computing Applications

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