Latest Articles for Programming Languages

A new graph representation enhances how machine learning analyzes programming languages.

A look into premonoidal and effectful categories with string diagrams.

A look into how data augmentation boosts source code training methods.

FreeCHR offers a uniform approach to Constraint Handling Rules across programming languages.

Learn about tree automata and their importance in processing tree structures.

A novel framework enhances vulnerability detection using advanced graph techniques.

Examining the relationship between attributed and top-down tree transducers.

A new dataset of COBOL projects supports research in crucial systems.

Improving AI tools for generating code from natural language descriptions.

Simplifying type management in programs with automatic box insertion.

This article explores key developments in generating Java code using natural language processing.

Learn how compiler fuzzing helps improve software reliability and security.

A library for fuzzy logic in Julia, focusing on ease of use and flexibility.

Learn how Hydroflow and e-graphs improve data processing efficiency.

Julia facilitates efficient data analysis in high energy physics through high performance and ease of use.

phi-1 shows strong performance in coding tasks with quality training data.

A proposed framework aims to tackle flaky tests in software development.

A deep dive into EAMs and their role in programming languages.

Explore how AI tools assist in coding for high-performance computing tasks.

This framework simplifies the development of Linux kernel schedulers.

A new method leverages language models to enhance compiler bug identification.

A study on unit test generation effectiveness between ChatGPT and EvoSuite.

A study on the complexities of bugs across multiple programming languages.

A look at improving efficiency in automatic differentiation for machine learning models.

Scenic 3.0 enhances modeling for systems like self-driving cars with 3D capabilities.

Efficient techniques for improving Earley parsing in natural language processing.

New methods improve the handling of string constraints in programming.

COMEX simplifies source code views for better machine learning applications.

A new approach integrating internal parametricity into type theory, enhancing reliability.

A new method enhances Syntax-Guided Synthesis using machine learning techniques.

Learn essential functional design patterns for efficient software development.

Learn how constrained type systems improve data interaction in programming languages.

An overview of automata, their types, and languages they recognize.

A new framework enhances the reliability of automatically generated code.

This study explores adapter training for improved programming language model performance.

This framework simplifies type theory definition and improves type checking in programming languages.

A new method for enhancing text generation using FSMs and context-free grammars.

A look at how new type systems improve resource management in programming.

A look into polynomial time and its relation to type systems in computing.

Advancements in algorithms for enhancing tree and string structures dynamically.