Pulse

By GCN Staff

Blog archive

DARPA posts catalog of software and research results

The Defense Advanced Research Projects Agency recently posted an online catalog designed to give the computer science community a central source for updates on DARPA software development, research results and technical publications.

The Open Catalog is “a curated list of DARPA-sponsored software and peer-reviewed publications,” the R&D agency said, which would make available information “that may lead to experimental results and reusable technology to benefit multiple government domains.”

“Making our open source catalog available increases the number of experts who can help quickly develop relevant software for the government,” said DARPA program manager Chris White. “Our hope is that the computer science community will test and evaluate elements of our software and afterward adopt them as either standalone offerings or as components of their products.”

The initial Open Catalog offerings included software toolkits and peer-reviewed publications from the XDATA program in DARPA’s Information Innovation Office. The project aims to develop computational techniques and software tools for processing and analyzing large, imperfect and incomplete data sets.

DARPA said the catalog reflects its interest in building communities around government-funded software and research. If the R&D community shows sufficient interest, DARPA will continue to make updates and other information available, said the agency.

Today, the catalog includes licensing information for project software , links to the external project page or contact information, and a link to the code repository for the project.

Programs in the current catalog currently include:

Active Authentication, a  program that seeks to develop novel ways of validating the identity of computer users by focusing on unique aspects of individuals through software-based biometrics.

Crowd Sourced Formal Verification, which that aims to investigate whether large numbers of non-experts can perform formal verification faster and more cost-effectively than conventional processes. The goal is to transform verification into a more accessible task by creating fun, intuitive games that reflect formal verification problems. Playing the games would effectively help software verification tools complete corresponding formal verification.

Detection of Psychological Signals, which aims to develop novel analytical tools to assess psychological status of warfighters in the hopes of improving psychological health awareness.

Posted by GCN Staff on May 22, 2014 at 11:17 AM


Reader Comments

Please post your comments here. Comments are moderated, so they may not appear immediately after submitting. We will not post comments that we consider abusive or off-topic.

Please type the letters/numbers you see above

resources

HTML - No Current Item Deck
  • Transforming Constituent Services with Business Process Management
  • Improving Performance in Hybrid Clouds
  • Data Center Consolidation & Energy Efficiency in Federal Facilities