text-only page produced automatically by Usablenet Assistive Skip all navigation and go to page content Skip top navigation and go to directorate navigation Skip top navigation and go to page navigation
National Science Foundation
Awards
design element
Search Awards
Recent Awards
Presidential and Honorary Awards
About Awards
How to Manage Your Award
Grant Policy Manual
Grant General Conditions
Cooperative Agreement Conditions
Special Conditions
Federal Demonstration Partnership
Policy Office Website



Award Abstract #0639876
Steps Toward the Reinvention of Programming

NSF Org: IIS
Div Of Information & Intelligent Systems
divider line
Initial Amendment Date: November 15, 2006
divider line
Latest Amendment Date: March 4, 2008
divider line
Award Number: 0639876
divider line
Award Instrument: Standard Grant
divider line
Program Manager: Ephraim P. Glinert
IIS Div Of Information & Intelligent Systems
CSE Direct For Computer & Info Scie & Enginr
divider line
Start Date: November 15, 2006
divider line
End Date: October 31, 2012 (Estimated)
divider line
Awarded Amount to Date: $5,337,538.00
divider line
Investigator(s): Alan Kay alan.kay@vpri.org (Principal Investigator)
Ian Piumarta (Co-Principal Investigator)
Daniel Ingalls (Co-Principal Investigator)
Kimberly Rose (Co-Principal Investigator)
divider line
Sponsor: ViewPoints Research Institute Inc.
1209 Grand Central Ave.
Glendale, CA 91201-2425 (818)332-3002
divider line
NSF Program(s): INFORMATION TECHNOLOGY RESEARC,
Cyber-Human Systems (CHS)
divider line
Program Reference Code(s): 7367, 9216, HPCC
divider line
Program Element Code(s): 1640, 7367

ABSTRACT

Science uses models not just to represent theories, but to think with. The models are most useful if they are powerful enough to capture the phenomena, and small enough to be comprehensible. This is not done enough in the expedient world of computing, where the artifacts tend to be functional rather than understandable. Much coding today uses techniques from the 60s, often resulting in millions of lines of code. But one's sense of intuitive entropy insists the mathematical content is tiny compared to the code size. Environments are not just used, but also lived in and learned. So advances in self-explanation would lift both software engineering (a disclosable system would be of great utility for practical programming) and computer science (the requirements for understandability and disclosure would naturally lead to the invention of better and higher level computational structures). These in turn would lift design (the visible system at all levels should be clean, compact, powerful, simple, and pretty, not dirty and ponderous). The PI's long and illustrious research career has combined interests and inventions in computer science (object-oriented programming, reflective whole systems, and networking), UI (overlapping windows and icons), education (particularly for children), design (striving for beauty as well as problem solving), and computer engineering (learning how to efficiently make whole hardware/software systems). The alternative systems he has developed have been small in comparison with standard practice. Squeak, for example, covers much of personal computing (including its own applications, operating environment, UI and development tools, etc.) in ~2.8MB of code (about 200,000 lines). With a careful new design the PI is confident it could be smaller by a factor of 10 or more. In this project the PI and his team will design and build an extremely compact and practical model of an entire personal computing system from the metal upwards, including the equivalents of an operating system, development tools, graphical user interface, applications, media, end-user programming, and internet communications, sharing and media (analogous to the web++) - as an "Exploratorium" for itself that can be readily understood by teenagers on up. Each part of the dynamic architecture will use wholly new or newly adapted powerful ideas that should help advance understanding of how to design and build whole systems from the metal up through UI and applications; much of the small model size will derive from abstracting "the many" into "the one" and other special mathematical approaches. This funding is for support of the central part of this large project (which is partitioned so that a complete and interesting system will result from the NSF support alone). The software developed will be freely disseminated on multiple platforms, and extensive user testing will be conducted in schools and universities. A key platform will be the under-powered "$100 laptop", an acid test of the pragmatic depth of the system.

Broader Impacts: Most early learning of programming is done in a non-scalable way, somewhat equivalent to banging together a doghouse with nails and planks. What is learned doesn't scale well by a factor of 5, let alone by factors of 100+. Even more critically, the deeper mathematics-like nature of the most powerful ideas in computing is poorly described and learned via papers, which even if they are read are often difficult to understand. Making a well-designed system that is also instrumented to promote learning and to facilitate changes will have a dramatic and positive impact on many areas of computing. It will constitute an example of "the system is the curriculum" for learning many important and powerful ideas, especially by teenagers and university students who comprise tomorrow's programmers, and who will find ways to make great use of a simpler yet stronger approach to personal computing.

BOOKS/ONE TIME PROCEEDING

(Showing: 1 - 10 of 130)
   Show All

Alessandro Warth & Ian Piumarta. "OMeta: an Object Oriented Language for
Patten Matching", 11/15/2006-10/31/2007, , ACM, OOPSLA"Conference Proceedings:ACM OOPSLA
Companion, 2007.",  2007, "ACM SIGPLAN Dynamic Language Symposium, 2007, Montreal, Canada.".

Kaehler, Ted. "Bare Blocks with a Thin Object Table: An
Object Memory for COLA.", 11/15/2006-10/31/2007,  2007, "http://vpri.org/pdf/BareBlocks_RM-
2007-005-a.pdf".

Ian Piumarta. "Efficient Sideways Composition in COLAs
via 'Lieberman' Prototypes.", 11/15/2006-10/31/2007, "http://vpri.org/pdf/lieberman_proto_RM
-2007-002-a.pdf",  2007, "Viewpoints Research, Research Memo
RM2007-002-a".

Ian Piumarta and Alessandro Warth. "Open, Reusable Object Models", 11/15/2006-10/31/2007, "Viewpoints Research, Research Note
RN-20060003-A",  2006, "http://vpri.org/pdf/obj_mod_RN-2006-
003-a.pdf".

Ian Piumarta. "Accessible Language-Based
Environments of Recursive Theories (a
white paper advocating widespread
unreasonable behavior).", 11/15/2006-10/31/2007,  2006, "http://vpri.org/pdf/colas_wp_RN-2006-
001-a.pdf".

Alessandro Warth & Ian Piumarta. "OMeta: an Object Oriented Language for
Patten Matching", 11/01/2007-10/31/2008, , ACM, OOPSLA"Conference Proceedings:ACM OOPSLA
Companion, 2007.",  2007, "ACM SIGPLAN Dynamic Language Symposium, 2007, Montreal, Canada.".

Kaehler, Ted. "Bare Blocks with a Thin Object Table: An
Object Memory for COLA.", 11/01/2007-10/31/2008,  2007, "http://vpri.org/pdf/BareBlocks_RM-
2007-005-a.pdf".

Ian Piumarta. "Efficient Sideways Composition in COLAs
via 'Lieberman' Prototypes.", 11/01/2007-10/31/2008, "http://vpri.org/pdf/lieberman_proto_RM
-2007-002-a.pdf",  2007, "Viewpoints Research, Research Memo
RM2007-002-a".

Ian Piumarta and Alessandro Warth. "Open, Reusable Object Models", 11/01/2007-10/31/2008, "Viewpoints Research, Research Note
RN-20060003-A",  2006, "http://vpri.org/pdf/obj_mod_RN-2006-
003-a.pdf".

Ian Piumarta. "Accessible Language-Based
Environments of Recursive Theories (a
white paper advocating widespread
unreasonable behavior).", 11/01/2007-10/31/2008,  2006, "http://vpri.org/pdf/colas_wp_RN-2006-
001-a.pdf".


(Showing: 1 - 10 of 130)
   Show All




 

Please report errors in award information by writing to: awardsearch@nsf.gov.

 

 
Print this page
Back to Top of page
  RESEARCH AREAS   FUNDING   AWARDS   DOCUMENT LIBRARY   NEWS   ABOUT NSF  
Website Policies  |  Budget and Performance  |  Inspector General  |  Privacy  |  FOIA  |  No FEAR Act  |  USA.gov
Accessibility  |  Plain Language  |  Contact
National Science Foundation Logo
National Science Foundation, 2415 Eisenhower Avenue, Alexandria, Virginia 22314, USA
Tel: (703) 292-5111, FIRS: (800) 877-8339 | TDD: (800) 281-8749
  Text Only Version