The Big Data Interagency Working Group (BD IWG) works to facilitate and further the goals of the White House Big Data R&D Initiative.
The CPS IWG is to coordinate programs, budgets, and policy recommendations for Cyber Physical Systems (CPS) research and development (R&D).
Cyber Security and Information Assurance (CSIA) Interagency Working Group coordinates the activities of the CSIA Program Component Area.
The Health Information Technology Research and Development Interagency Working Group coordinates programs, budgets and policy recommendations for Health IT R&D.
HCI&IM focuses on information interaction, integration, and management research to develop and measure the performance of new technologies.
HCSS R&D supports development of scientific foundations and enabling software and hardware technologies for the engineering, verification and validation, assurance, and certification of complex, networked, distributed computing systems and cyber-physical systems (CPS).
The HEC IWG coordinates the activities of the High End Computing (HEC) Infrastructure and Applications (I&A) and HEC Research and Development (R&D) Program Component Areas (PCAs).
LSN members coordinate Federal agency networking R&D in leading-edge networking technologies, services, and enhanced performance.
The purpose of the SPSQ IWG is to coordinate the R&D efforts across agencies that transform the frontiers of software science and engineering and to identify R&D areas in need of development that span the science and the technology of software creation and sustainment.
Formed to ensure and maximize successful coordination and collaboration across the Federal government in the important and growing area of video and image analytics
The Wireless Spectrum R&D (WSRD) Interagency Working Group (IWG) has been formed to coordinate spectrum-related research and development activities across the Federal government.
A New Generation of Systematic Systematic Programming Tools Programming Tools
James R. Larus
One Microsoft Way
This paper briefly outlines the research of the Software Productivity Tools (SPT) group in Microsoft Research. This group, in collaboration with an internal tools group (Programmer Productivity Research Center), is pursuing a focused strategy to improve both the quality of software and the effectiveness of developers. Our approach combines better and more expressive programming languages with stronger, semantically aware programming tools. The goal is to develop a new programming style that exploits the enormous computational power of today’s computers to detect systematically errors and inconsistencies in large software systems. This research began when the author spent his sabbatical at Microsoft and observed that programmers there, like programmers elsewhere, relied on tools conceived before the programmers themselves. Computers and the scale of programming have changed dramatically over the past 20–30 years, but our primary tools—compilers, editors, debuggers, source code control systems, bug databases, etc.—are lineal descendants of tools developed in the heyday of timesharing.
Click on a date/time to view the file as it appeared at that time.
|current||10:56, 27 December 2012||(57 KB)||Webmaster||Category:SDP|