Search

Your search keyword '"Vardi, Moshe Y."' showing total 148 results

Search Constraints

Start Over You searched for: Author "Vardi, Moshe Y." Remove constraint Author: "Vardi, Moshe Y." Publication Type Conference Materials Remove constraint Publication Type: Conference Materials
148 results on '"Vardi, Moshe Y."'

Search Results

1. More Is Different, in Social Media Too.

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

3. Computing, You Have Blood on Your Hands!

4. What Came First, Math or Computing?

5. To Regulate Tech, Nullify Click-Through Contracts.

6. Revisiting ACM's Open-Conference Principle.

7. ACM for the Public Good.

8. Who Is Responsible Around Here?

9. How Not to Win a Tech War.

10. Accountability and Liability in Computing.

11. Technology and Democracy.

12. An Association of the Members, by the Members, for the Members.

13. War and Tech (and ACM).

14. ACM, Ethics, and Corporate Behavior.

15. Will AI Destroy Education?

16. The Paradox of Choice in Computing-Research Conferences.

17. The Sand-Heap Paradox of Privacy and Influence.

18. Program Verification: Vision and Reality.

19. CACM: PAST, PRESENT, AND FUTURE.

20. The Agency Trilemma and ACM.

21. The People vs. Tech.

22. Reboot the Computing-Research Publication Systems.

23. What Should Be Done About Social Media?

24. Where Have All the Domestic Graduate Students Gone?

25. A Computational Lens on Economics.

26. Satisfiability checking for Mission-time LTL (MLTL).

27. Efficiency vs. Resilience: What COVID-19 Teaches Computing.

28. Advancing Computing as a Science and Profession—But to What End?

30. Publish and Perish.

31. The Winner-Takes-All Tech Corporation.

32. The Long Game of Research.

33. To Serve Humanity.

34. Quantum hype and quantum skepticism.

35. Are we having an ethical crisis in computing?

36. Self-Reference and Section 230.

37. Move Fast and Break Things.

39. How the Hippies Destroyed the Internet.

40. What Do We Do When the Jobs Are Gone, and Why We Must Embrace Active Learning.

42. How We Lost the Women in Computing.

43. Open Access and ACM.

44. A Declaration of the Dependence of Cyberspace.

45. Computer Professionals for Social Responsibility.

46. Would Turing Have Won the Turing Award?

47. Divination by Program Committee.

48. LTL satisfiability checking.

49. Aggregating disparate estimates of chance

50. From complementation to certification

Catalog

Books, media, physical & digital resources