A Hardware Prototype of the FFP Machine:  A Cooperative     Research Project with Washington University
{'Code': '05060300', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'EIA', 'LongName': 'DIVISION OF EXPERIMENTAL & INTEG ACTIVIT'}}
{'SignBlockName': 'Michael Foster', 'PO_EMAI': None, 'PO_PHON': None}
The Formal Functional Programming (FFP) machine is a novel computer             architecture that has the potential of combining high performance with          programming ease and flexibility.  It is a direct implementation of a           reduction model of computation.  Program decomposition, task                    allocation, synchronization and scheduling are efficiently automated in         the FFP machine, and therefore are removed from the programmer's                concern.                                                                                                                                                        The objective of this research is to demonstrate that such a functional         programming machine can be implemented in practical logic by designing          and constructing an advanced prototype.  The prototype will be a small-         grain highly parallel computer that is built primarily from many copies         of two building blocks: L-cells and T-cells.  System software will be           developed and the completed prototype will be evaluated.  To help               accomplish this objective, the resources of the Microelectronic Systems         Laboratory will be utilized.                                                                                                                                    This is a collaborative effort with Charles Molnar of Washington                University.                                                                     The program director considers the FFP machine to be a truly novel              computer.  Professor Mago is a leading authority in functional                  programming, and consequently is highly qualified to design and                 evaluate this machine.  Co-principal investigator Vernon Chi has an             excellent record in hardware-construction projects.  Collaborator               Charles Molnar at Washington University is well known for his expertise         in asynchronous logic; hence, his efforts on a parallel grant from NSF          will be supportive to this research.  The program director strongly             recommends funding this proposal.
[{'FirstName': 'Gyula', 'LastName': 'Mago', 'PI_MID_INIT': 'A', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Gyula A Mago', 'EmailAddress': None, 'NSF_ID': '000255326', 'StartDate': '09/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}, {'FirstName': 'Leandra', 'LastName': 'Vicci', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Leandra Vicci', 'EmailAddress': 'vicci@cs.unc.edu', 'NSF_ID': '000200723', 'StartDate': '09/01/1987', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}]
{'Name': 'University of North Carolina at Chapel Hill', 'CityName': 'CHAPEL HILL', 'ZipCode': '275995023', 'PhoneNumber': '9199663411', 'StreetAddress': '104 AIRPORT DR STE 2200', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'North Carolina', 'StateCode': 'NC', 'CONGRESSDISTRICT': '04', 'CONGRESS_DISTRICT_ORG': 'NC04', 'ORG_UEI_NUM': 'D3LHU66KBLD5', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF NORTH CAROLINA AT CHAPEL HILL', 'ORG_PRNT_UEI_NUM': 'N8DMK1K4C2K5'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '4725', 'Text': 'EXPERIMENTAL SYSTEMS/CADRE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8702277.xml'}