All Stories

  1. The Sweeter Lesson

    Article • Communications of the ACM, August 2026, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  2. Whither Computing?

    Article • Communications of the ACM, June 2026, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  3. Falsificationof Autonomous Systems in Rich Environments

    Article • ACM Transactions on Cyber-Physical Systems, May 2026, ACM (Association for Computing Machinery)

    Professor Lydia E Kavraki, Dr Moshe Y. Vardi

  4. The Centrality Fallacy and ACM

    Article • Communications of the ACM, April 2026, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  5. Where We Should Discuss Only Computing Research

    Article • Communications of the ACM, February 2026, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  6. Techno-Optimism, Techno-Pessimism, and Techno-Realism

    Article • Communications of the ACM, December 2025, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  7. Computing Is Indeed a Discipline in Crisis

    Article • Communications of the ACM, October 2025, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  8. Will AI Destroy the World Wide Web?

    Article • Communications of the ACM, August 2025, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  9. An On-the-fly Synthesis Framework for LTL over Finite Traces

    Article • ACM Transactions on Software Engineering and Methodology, July 2025, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  10. I Teach Computer Science, and That Is Not All

    Article • Communications of the ACM, June 2025, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  11. Big Tech, You Need Academia. Speak Up!

    Article • Communications of the ACM, April 2025, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  12. Homo Ratiocinator (Reckoning Human)

    Article • Communications of the ACM, February 2025, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  13. I Was Wrong about the Ethics Crisis

    Article • Communications of the ACM, December 2024, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  14. What Is Theoretical Computer Science?

    Article • Communications of the ACM, October 2024, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  15. The Linear Fallacy

    Article • Communications of the ACM, August 2024, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  16. Is Computing a Discipline in Crisis?

    Article • Communications of the ACM, June 2024, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  17. More Is Different, in Social Media Too

    Article • Communications of the ACM, May 2024, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  18. Human Intuition and Algorithmic Efficiency Must Be Balanced to Enhance Data Mesh Resilience

    Article • Communications of the ACM, May 2024, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  19. What Do Computing and Economics Have to Say to Each Other?

    Article • Communications of the ACM, February 2024, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  20. Computing, You Have Blood on Your Hands!

    Article • Communications of the ACM, December 2023, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  21. What Came First, Math or Computing?

    Article • Communications of the ACM, October 2023, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  22. To Regulate Tech, Nullify Click-Through Contracts

    Article • Communications of the ACM, August 2023, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  23. Revisiting ACM's Open-Conference Principle

    Article • Communications of the ACM, June 2023, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  24. ACM for the Public Good

    Article • Communications of the ACM, April 2023, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  25. The sand-heap paradox of privacy and influence

    Article • Communications of the ACM, September 2021, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  26. Program verification

    Article • Communications of the ACM, June 2021, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  27. The agency trilemma and ACM

    Article • Communications of the ACM, May 2021, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  28. Deep Tech Ethics: An Approach to Teaching Social Justice in Computer Science

    Article • March 2021, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  29. The people vs. tech

    Article • Communications of the ACM, February 2021, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  30. Strategy Logic with Imperfect Information

    Article • ACM Transactions on Computational Logic, January 2021, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  31. Reboot the computing-research publication systems

    Article • Communications of the ACM, December 2020, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  32. On uniformly sampling traces of a transition system

    Article • November 2020, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  33. What should be done about social media?

    Article • Communications of the ACM, October 2020, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  34. Where have all the domestic graduate students gone?

    Article • Communications of the ACM, August 2020, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  35. A computational lens on economics

    Article • Communications of the ACM, June 2020, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  36. Advancing computing as a science and profession

    Article • Communications of the ACM, February 2020, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  37. Publish and perish

    Article • Communications of the ACM, December 2019, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  38. The winner-takes-all tech corporation

    Article • Communications of the ACM, October 2019, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  39. The long game of research

    Article • Communications of the ACM, August 2019, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  40. To serve humanity

    Article • Communications of the ACM, June 2019, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  41. Quantum hype and quantum skepticism

    Article • Communications of the ACM, April 2019, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  42. Lost in math?

    Article • Communications of the ACM, February 2019, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  43. Are we having an ethical crisis in computing?

    Article • Communications of the ACM, December 2018, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  44. Self-reference and section 230

    Article • Communications of the ACM, October 2018, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  45. Move fast and break things

    Article • Communications of the ACM, August 2018, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  46. Sequential Relational Decomposition

    Article • July 2018, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  47. How the hippies destroyed the internet

    Article • Communications of the ACM, June 2018, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  48. How we lost the women in computing

    Article • Communications of the ACM, April 2018, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  49. Open access and ACM

    Article • Communications of the ACM, March 2018, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  50. A declaration of the dependence of cyberspace

    Article • Communications of the ACM, February 2018, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  51. Computer professionals for social responsibility

    Article • Communications of the ACM, December 2017, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  52. Would Turing have won the Turing award?

    Article • Communications of the ACM, October 2017, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  53. Divination by program committee

    Article • Communications of the ACM, August 2017, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  54. A Theory of Regular Queries

    Article • June 2016, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  55. The moral hazard of complexity-theoretic assumptions

    Article • Communications of the ACM, January 2016, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  56. Does query evaluation tractability help query containment?

    Article • June 2014, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  57. Semantic acyclicity on graph databases

    Article • June 2013, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  58. Why ACM?

    Article • Communications of the ACM, September 2012, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  59. Compositional Temporal Synthesis

    Article • September 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Moshe Y. Vardi

  60. Predatory scholarly publishing

    Article • Communications of the ACM, July 2012, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  61. What is an algorithm?

    Article • Communications of the ACM, March 2012, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  62. Hypercriticality

    Article • Communications of the ACM, July 2010, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  63. Is the image crisis over?

    Article • Communications of the ACM, November 2009, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  64. The financial meltdown and computing

    Article • Communications of the ACM, September 2009, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  65. Open, closed, or clopen access?

    Article • Communications of the ACM, July 2009, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  66. "Yes, it can be done"

    Article • Communications of the ACM, March 2009, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  67. How are we doing?

    Article • Communications of the ACM, January 2009, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  68. Let us---together---make CACM exciting

    Article • Communications of the ACM, October 2008, ACM (Association for Computing Machinery)

    Dr Moshe Y. Vardi

  69. Robust Satisfaction

    Article • January 1999, Springer Science + Business Media

    Dr Moshe Y. Vardi

  70. Module checking revisited

    Article • January 1997, Springer Science + Business Media

    Dr Moshe Y. Vardi

  71. Module checking

    Article • January 1996, Springer Science + Business Media

    Dr Moshe Y. Vardi

  72. Alternating automata and program verification

    Article • January 1995, Springer Science + Business Media

    Dr Moshe Y. Vardi

  73. On decomposition of relational databases

    Article • November 1982, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Moshe Y. Vardi

  74. The Büchi Complementation Saga

    Article • Springer Science + Business Media

    Dr Moshe Y. Vardi

  75. Symbolic Techniques in Satisfiability Solving

    Article • Springer Science + Business Media

    Dr Moshe Y. Vardi

  76. Verification of Open Systems

    Article • Springer Science + Business Media

    Dr Moshe Y. Vardi

  77.  Globalization and Offshoring of Software

    Article • Edward Elgar Publishing

    Dr Moshe Y. Vardi

  78. LTL Satisfiability Checking

    Article • Springer Science + Business Media

    Dr Moshe Y. Vardi, Prof. Dr. Kristin Yvonne Rozier

  79. From Monadic Logic to PSL

    Article • Springer Science + Business Media

    Dr Moshe Y. Vardi