148 results on '"Vardi, Moshe Y."'
Search Results
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?
29. Conferences and Carbon Impact: Author’s response.
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.
38. Hippie Values Really Did Build the Internet.
39. How the Hippies Destroyed the Internet.
40. What Do We Do When the Jobs Are Gone, and Why We Must Embrace Active Learning.
41. Get ACM (and Communications) Out of Politics.
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.