Autopoietic companions and correctness helpers

Authors:
Richard P. Gabriel
Affiliations:
IBM Research, Hawthorne, NY, USA
Venue:
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
Year:
2008

Citing 3
Cited 0

Automatic detection and repair of errors in data structures

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Exploring the acceptability envelope

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Conscientious software

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ultra large scale systems and multicore processors are part of the future - how are they related? ULS systems are almost impossible to build. Beyond human comprehension, such systems drive us crazy as many of our most treasured principles and aspirations turn out in them to be but tinfoil. Conventional wisdom tells us that multicore processor chips will save us from the apparent demise of Moore's Law, and going fast will be in again - if only we can figure out how to program parallel systems easily and well. But while we're in the mood to throw out established truths, why not throw out that one too? Instead of using all those cores to run programs fast, why not use them to keep our ultra large scale systems running in good health and correctly?