Communications of the ACM
Refine your search:
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From [email protected]
Nitrd 20: A Day in Your Life
Progress in information technology over the past 20 years has dramatically changed our lives — in our daily routine, at play, and at work.
From [email protected]
Happy 20th Birthday to Nitrd!
The theme of NITRD's 20th birthday symposium was to recognize that in just 20 years, computing research has made astounding progress and has had an astounding impact...
From [email protected]
Sc11: The Cray, Fernbach and Kennedy Awards
The Cray, Fernbach, and Kennedy awards and the work of the recipients reflect the evolving interplay of technology, software, applications and algorithms in advancing...
From [email protected]
Exciting New Research Presented at Grace Hopper
The Grace Hopper Conference includes a Ph.D. Forum that showcases the research of current Ph.D. students, with the additional goal of providing support and mentoring...
From [email protected]
A Futuristic Health It Scenario
Our technology is the change agent for healthcare in the future.
From [email protected]
John Mccarthy
The contributions and personality of John McCarthy, one of the pioneers of computer science.
From [email protected]
Analog Computing: Time For a Comeback?
Use of the word "computer" conjures certain images. One of them, so deeply ingrained that we rarely question it, is that computing is digital. The alternative,...
From [email protected]
New Sql: An Alternative to Nosql and Old Sql For New Oltp Apps
New SQL should be considered as an alternative to NoSQL or Old SQL for New OLTP applications. If New OLTP is as big a market as I foresee, we will see many more...
From [email protected]
Long Live Incremental Research!
“Break through!” clamor the funding agencies, which scorn “incremental” research. Sure, every human being needs hype; in truth, though, almost all research—good...
From [email protected]
Embracing Noise or Why Computer Scientists Should Stop Worrying and Learn to Love the Errors
Precision is not required in everything or even most things. Failures are best handled by expecting them all the time, not treating them as exceptions. We should...
From [email protected]
Why Have There Been So Many Security Breaches Recently?
We're only five months into this year, but there have been a large number of sensational security breaches. Why have there been so many, and what can we do about...
From [email protected]
Again: The One Sure Way to Advance Software Engineering
There is one proven way to improve the state of software, following the the airline industry's spectacular improvements of safety. The IT industry ignores it. Why...
From [email protected]
2010 Seymour Cray and Sidney Fernbach Awards
This year, I again had the honor and privilege to chair the selection committee for the IEEE Seymour Cray and Sidney Fernbach awards, both of which were presented...
From [email protected]
Sc10: Green500 and Booth "awards"
SC10 has included several lists that rank supercomputers according to different criteria. The November 2010 Green500, focusing on energy efficiency, is out and...
From [email protected]
Welcome to Sc10: Opening Keynote, Top500 List
SC10--the premier conference for Supercomputing--has begun. This post touches on a few highlights from the first day of the full technical program, including the...
From [email protected]
Watts Humphrey: In Honor of a Pioneer
Watts Humphrey left us a few weeks ago. His contributions to professional software engineering have been essential.
From [email protected]
To Videolecture or Not
Should conferences cover the cost of a videolecture or not? I say "yes."
From [email protected]
Hpc and the Excluded Middle
Betwixt and between ubiquitous consumer software and the ethereal realm of ultra-high-performance computing, lies the excluded middle, the world of day-to-day computational...
From [email protected]
Can Randomly Generated Code Fix Software Bugs?
Can the principles of evolution be applied to software code and used to improve it? Stephanie Forrest thinks so—and has some encouraging data to prove it.
From [email protected]