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


Featured

  • Telecommunications
    Stock photo ID: 658810513 By asharkyu

    GSA extends EIS deadline to 2023

    Agencies are getting up to three more years on existing telecom contracts before having to shift to the $50 billion Enterprise Infrastructure Solutions vehicle.

  • Workforce
    Shutterstock image ID: 569172169 By Zenzen

    OMB looks to retrain feds to fill cyber needs

    The federal government is taking steps to fill high-demand, skills-gap positions in tech by retraining employees already working within agencies without a cyber or IT background.

  • Acquisition
    GSA Headquarters (Photo by Rena Schild/Shutterstock)

    GSA to consolidate multiple award schedules

    The General Services Administration plans to consolidate dozens of its buying schedules across product areas including IT and services to reduce duplication.

Stay Connected

Sign up for our newsletter.

I agree to this site's Privacy Policy.