Mnemosyne Software Development Assistant

Abstract

Under DARPA's Intent Defined Adaptive Software (IDAS) program, GrammaTech, with subcontractors UT Austin and MIT, developed Mnemosyne. Mnemosyne is an automated software development assistant which integrates with a software developers Integrated Development Environment (IDE) and works with them suggesting code, types, and tests as they type; and continually checks the consistency of documentation, types, tests, and implementation. Mnemosyne applies statistical machine learning, formal methods, and Search Based Software Engineering (SBSE) to enable developers to write higher quality, higher assurance, and more standards compliant code more quickly. Mnemosyne transcends Continuous Integration/Continuous Development (CI/CD) by making live substantive contributions to the software development process as the developer works. Mnemosyne integrates seamlessly with most popular text editors and IDEs. Mnemosyne is extensible, easily collaborating with varied program analysis, typing, testing, repair, and synthesis modules.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 13, 2023
Accession Number
AD1195551

Entities

People

  • Armando Solar-lezama
  • Eric Schulte
  • Işıl Dillig
  • Swarat Chaudhuri

Organizations

  • GrammaTech

Tags

Communities of Interest

  • Autonomy
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Artificial Intelligence
  • Computer Programming
  • Computer Programs
  • Contracts
  • Debugging
  • Department Of Defense
  • Engineering
  • Governments
  • Information Processing
  • Information Systems
  • Language
  • Lisp Programming Language
  • Machine Learning
  • Natural Languages
  • Probability
  • Programming Languages
  • Software Development
  • Software Development Tools
  • United States

Fields of Study

  • Computer science
  • Engineering

Readers

  • Civilian Systems Systems Program Capability Development and Upgrade Support Activity Expense and Pay Management.
  • Computational Linguistics
  • Defense Technology Research and Development.

Technology Areas

  • AI & ML