Elixir: A system for synthesizing concurrent graph programs

Keyphrases

• Graph Programs 100%
• Elixir 100%
• Programmer 75%
• Parallel Implementation 50%
• Parallel Code 50%
• Automatically Generate 25%
• Network Analysis 25%
• Human-machine Systems 25%
• Inference Methods 25%
• High-level Specification 25%
• Parallel Platforms 25%
• Problem Domain 25%
• Single-source Shortest Paths 25%
• Machine Learning Analysis 25%
• Graph Tree 25%
• One Solution 25%
• Irregular Data Structure 25%
• Graph Sets 25%

Computer Science

• Parallel Implementation 100%
• Application Programmer 100%
• Data Structure 50%
• Machine Learning 50%
• Application Area 50%
• Problem Domain 50%
• Inference Technique 50%
• Tree Graph 50%
• Parallel Platform 50%