PLINY: An End-To-End Framework for Big Code Analytics

Abstract

The PLINY project has addressed the grand challenge in the Defense Advanced Research Projects Agency program on Mining and Understanding Software Enclaves (MUSE) by advancing three key technical areas in the program: Artifact Generators, Mining Engine, and Analytics. The PLINY project has introduced technologies that leverage the institutional knowledge embodied in the vast corpus of existing software to simplify the creation of new software. The main advances of the PLINY project have been in the following areas: Code search (Source Forager), Anomaly detection (Salento), Test-based synthesis (Splicer, SyPet, and Hunter), Evidence-based synthesis (Bayou), and Scalable infrastructure for search and learning (PlinyCompute). The PLINY technologies extend the reasoning capabilities of the programmer through the use of automated analysis and synthesis tools. The technologies developed in the PLINY project help address many of the productivity and cost challenges associated with software development today, and will also reshape the way people think about programming in the future.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2020
Accession Number
AD1112162

Entities

People

  • Vivek Sarkar

Organizations

  • Rice University

Tags

Communities of Interest

  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Anomaly Detection
  • Bayesian Networks
  • Change Detection
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Grammars
  • Graphical User Interface
  • Machine Learning
  • Monte Carlo Method
  • Neural Networks
  • Probabilistic Models
  • Probability
  • Software Development

Fields of Study

  • Computer science

Readers

  • Combustion Dynamics and Shock Wave Physics.
  • Neural Network Machine Learning.
  • Software Engineering.