David Ackley (University of New Mexico)
Abstract. Traditional digital computers are deterministic, synchronous, centralized, and bounded—simplifying assumptions that interlock to resist fundamental change, even though their collective results are incurring growing scale and security liabilities in the modern world. "Indefinitely scalable architecture" renegotiates all four design decisions at once, accepting harder choices up front to enable vastly increased robustness and scalability down the road. This talk introduces the area and demonstrates recent progress in programming techniques for low-level living system abilities—such as self-repair and mobility—that will be essential for software to flourish in such open-ended architectures.