CACM Oct. 2020 - What Do Agile, Lean, and ITIL Mean to DevOps
CACM Oct. 2020 - Responsible Vulnerability Disclosure in Cryptocurrencies
CACM Oct. 2018 - Building the Universal Archive of Source Code
November 2020 CACM, Latin America Regional Special Section
Online CACM Review Course - Overview
CACM Oct. 2019 - "Final Protein Design by Provable Algorithms"
CACM Oct. 2016 - Universities and Computer Science in the European Crisis of Refugees
CACM #TPChallenge - Join Us!
November 2020 CACM, Coding at a Crossroads
Online CACM Review Course
CACM Oct. 2015 - Discovering Genes Involved in Disease and the Mystery of Missing Heritability
Sifakis on his first model checking work
WEBINAR - CACM Annual Report 2020 - executive summary
WEBINAR - CACM Annual Report 2020 - SIDC part
WEBINAR - CACM Annual Report 2020 - welcoming part
WEBINAR - CACM Annual Report 2020 - SDAC part
CACM July 2019 - Internet of Things Search Engine
CACM Mar. 2019 - Beyond Worst-Case Analysis
WEBINAR - CACM Annual Report 2020 - policy session
Good old cacm
