• 2024
• 2023
• 2022
• 2021
• 2020
• 2019
• 2018
• 2017
• 2016
• 2015
• 2014
• 2013
• 2012
• 2011
• 2010
• 2009
• 2008
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002
• 2001
• 2000
• view all

2017

• The changing culture of computer science: an interview with Marianne Winslett
  
  by Richard T. Snodgrass
  November 2017

  In this second interview with Marianne Winslett, our conversation mines the temporal and spatial aspects of the culture of CS research and development within academia, labs, and startups, delving into recent trends that are fundamentally changing our profession.

• Art Scott and Michael Frank on energy-efficient computing
  
  by Ted G. Lewis
  September 2017

  Clock speeds of computing chips have leveled off dramatically since 2005, and putting more cores in systems on a chip (SoC) has produced more heat, adding a new ceiling to further advances. Leading-edge researchers, like Mike Frank, and dedicated technologists with a wealth of experience, like Art Scott, represent a new vanguard of the leap-forward beyond Dennard scaling and Landauer's limit. Art looks for ways to reduce energy consumption and Mike looks for ways to "architect" future chips according to principles of reversibility. Is the future in reversible, adiabatic computing and simpler architectures using posit arithmetic? My guests think so.

• Is quantum computing for real?: an interview with Catherine McGeoch of D-Wave Systems
  
  by Walter Tichy
  July 2017

  In this interview, computer scientist Catherine McGeoch demystifies quantum computing and introduces us to a new world of computational thinking.

• Mixing computation with people: an interview with Marianne Winslett
  
  by Richard T. Snodgrass
  July 2017

  In this interview, we learn about five fascinating subjects: security in manufacturing, negotiating trust in the web, updating logical databases, differential privacy, and scientific computing (including its security issues). This is a confluence that has, at its roots, the thorny problems that arise when you mix computation with people. Some beautiful technical results, many originated by Marianne Winslett, now address those challenges, but some surprises crop up along the way.

• Cybersecurity skeptics now embracing formal methods: an interview with Gernot Heiser and Jim Morris
  
  by Ted G. Lewis
  May 2017

  There is new hope for those who despair securing computer systems from external hackers. The recent DARPA HACMS project demonstrated conclusively that "certain pathways for attackers have all been shut down in a way that's mathematically proven to be unhackable for those pathways." Continuing research at DARPA and IARPA will eventually shut down all the pathways, and the external hackers will be out of business permanently.