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

Opinion Jul 1 2021

Program Verification: Vision and Reality

In 1969, Tony Hoare wrote in "An Axiomatic Basis for Computer Programming" about mathematical certainty, great reliance, and confidence. In retrospect, the hope for "mathematical certainty" was idealized, and not fully realistic, I believe.

Computing Applications

Former CACM Editor-in-Chief Moshe Y. Vardi

Opinion May 1 2021

The Agency Trilemma and ACM

Three-way conflict arises in professional societies, such as ACM, which have members, elected officials, and permanent staff. Aligning the interests of these three groups can be challenging.

Computing Applications

Opinion Mar 1 2021

The People vs. Tech

Today, the top seven companies in the S&P 500 index are all tech companies. Large companies wield power, and that often leads to a clash between these companies and "The People," that is, with governments.

Computing Profession

Opinion Jan 1 2021

Reboot the Computing-Research Publication Systems

The virtualization of conferences due to COVID-19 has sharpened my conviction that the computing-research publication system is badly broken and in need of a serious reboot.

Computing Applications

Opinion Nov 1 2020

What Should Be Done About Social Media?

One of the most basic and urgent policy questions is how to tackle the rising role of social media in our public sphere.

Computing Applications

Opinion Sep 1 2020

Where Have All the Domestic Graduate Students Gone?

U.S. Government actions to restrict immigration could result in a dramatic reduction in the number of international graduate students in U.S. universities, and will have a devastating impact on U.S. graduate programs in computing.

Computing Profession

Opinion Jul 1 2020

A Computational Lens on Economics

Our digital infrastructure, which has become a key component of the economic system in developed countries, is one of the few components that did not buckle under the stress of COVID-19.

Computing Applications

Opinion May 1 2020

Efficiency vs. Resilience: What COVID-19 Teaches Computing

Computer science has yet to internalize the idea that resilience, which to me includes fault tolerance, security, and more, must be pushed down to the algorithmic level.

Computing Profession

Opinion Mar 1 2020

Advancing Computing as a Science and Profession–But to What End?

It is time to revisit and update the purpose of ACM. It must be "to advance the science and profession of computing for the public good."

Computing Profession

Opinion Jan 1 2020

Publish and Perish

Publishing one's paper at a prestigious conference has become the standard way to build professional credentials, yet the dominance of conference publication comes at a cost.

Computing Profession

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