Awesome Programming Languages

Agentic Planning for Symbolic Execution (2026)

Daniel Koh Ji Yang et al.

4.81

A Fortran General-Purpose Transpiler: Proof of Concept (2026)

Shivamshan Sivanesan et al.

2.00

Modeling Components and Connections in Cyber-Physical Systems (2026)

Kate Sanborn et al.

1.89

Functional Cache Grafting: Robust and Rapid Code-Policy Synthesis for Embodied Agents (2026)

Saehun Chun et al.

1.89

SEVerA: Verified Synthesis of Self-Evolving Agents (2026)

Debangshu Banerjee et al.

1.72

Debugging code world models (2026)

Babak Rahmani

1.67

Empowering Children to Create AI-Enabled Augmented Reality Experiences (2025)

Lei Zhang et al.

1.33

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees (2025)

ZhenDong Chen et al.

1.33

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models (2025)

Lionel Wong et al.

1.28

Proceedings of the Sixth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2015) (2016)

Christian Schlegel et al.

—

Reactive Policies with Planning for Action Languages (2016)

Zeynep G. Saribatur et al.

—

Heuristics for Planning, Plan Recognition and Parsing (2016)

Miquel Ramirez and Hector Geffner

—

COREALMLIB: An ALM Library Translated from the Component Library (2016)

Daniela Inclezan

—

Learning Macro-actions for State-Space Planning (2016)

Sandra Castellanos-Paez (LIG Laboratoire d'Informatique de Grenoble) et al.

—

Rationalization: A Neural Machine Translation Approach to Generating Natural Language Explanations (2017)

Upol Ehsan et al.

—

SLIM: Semi-Lazy Inference Mechanism for Plan Recognition (2017)

Retuh Mirsky and Ya'akov (Kobi) Gal

—

Automated Game Design Learning (2017)

Joseph C Osborn et al.

—

Behavior Trees in Robotics and AI: An Introduction (2017)

Michele Colledanchise and Petter \"Ogren

—

Probabilistic Planning by Probabilistic Programming (2018)

Vaishak Belle

—

Interactive Robot Transition Repair With SMT (2018)

Jarrett Holtz et al.

—

A Genetic Programming Framework for 2D Platform AI (2018)

Swen E. Gaudl

—

An Integrated Development Environment for Planning Domain Modeling (2018)

Yuncong Li et al.

—

"Press Space to Fire": Automatic Video Game Tutorial Generation (2018)

Michael Cerny Green et al.

—

Generating Levels That Teach Mechanics (2018)

Michael Cerny Green et al.

—

Let CONAN tell you a story: Procedural quest generation (2018)

Vincent Breault et al.

—

SmartPM: Automatic Adaptation of Dynamic Processes at Run-Time (2018)

Andrea Marrella

—

Mining useful Macro-actions in Planning (2018)

Sandra Castellanos-Paez and Damien Pellier and Humbert Fiorino and Sylvie Pesty

—

Playing by the Book: An Interactive Game Approach for Action Graph Extraction from Text (2018)

Ronen Tamari et al.

—

Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior (2018)

Tathagata Chakraborti et al.

—

Making High-Performance Robots Safe and Easy to Use for an Introduction to Computing (2019)

Joseph Spitzer et al.

—

ROSY: An elegant language to teach the pure reactive nature of robot programming (2019)

Hugo Pacheco and Nuno Macedo

—

Towards Regulated Deep Learning (2019)

Andr\'es Garc\'ia-Camino

—

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI (2020)

Daniel J. Fremont et al.

—

Exploratory Experiments on Programming Autonomous Robots in Jadescript (2020)

Eleonora Iotti et al.

—

Robot Action Selection Learning via Layered Dimension Informed Program Synthesis (2020)

Jarrett Holtz et al.

—

Proof-Carrying Plans: a Resource Logic for AI Planning (2020)

Alasdair Hill et al.

—

SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System (2020)

Sumukh Shivakumar et al.

—

Multiparty Motion Coordination: From Choreographies to Robotics Programs (2020)

Rupak Majumdar and Nobuko Yoshida and Damien Zufferey

—

Behavior Trees in Action: A Study of Robotics Applications (2020)

Razan Ghzouli et al.

—

Neurosymbolic Transformers for Multi-Agent Communication (2021)

Jeevana Priya Inala et al.

—

Iterative Program Synthesis for Adaptable Social Navigation (2021)

Jarrett Holtz et al.

—

The Resh Programming Language for Multirobot Orchestration (2021)

Martin Carroll et al.

—

Exploring a Handwriting Programming Language for Educational Robots (2021)

Laila El-Hamamsy et al.

—

Actions You Can Handle: Dependent Types for AI Plans (2021)

Alasdair Hill et al.

—

Abstract Interpretation for Generalized Heuristic Search in Model-Based Planning (2022)

Tan Zhi-Xuan et al.

—

Programming Autonomous Machines (2022)

Shaoshan Liu et al.

—

ECSAS: Exploring Critical Scenarios from Action Sequence in Autonomous Driving (2022)

Shuting Kang et al.

—

INTERNEURON: A Middleware with Multi-Network Communication Reliability for Infrastructure Vehicle Cooperative Autonomous Driving (2022)

Tianze Wu et al.

—

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations (2023)

Jimmy Xin et al.

—

Hierarchical Neural Program Synthesis (2023)

Linghan Zhong et al.

—

Programming-by-Demonstration for Long-Horizon Robot Tasks (2023)

Noah Patton et al.

—

Towards an architectural framework for intelligent virtual agents using probabilistic programming (2023)

Anton Andreev (GIPSA-Services) et al.

—

Human-Centered Programming: The Design of a Robotic Process Automation Language (2023)

Piotr Gago et al.

—

DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models (2024)

Yuanfei Lin et al.

—

SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine (2024)

Sadanand Modak et al.

—

Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization (2024)

Teodor V. Marinov et al.

—

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs (2024)

Zhenlan Ji et al.

—

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale (2024)

Wei Gao et al.

—

A Behavior Tree-inspired programming language for autonomous agents (2024)

Oliver Biggar and Iman Shames

—

Awesome Programming Languages

Datasets & benchmarks

Key papers

Programming Languages

Awesome Programming Languages

Datasets & benchmarks

Key papers