Latest Articles for Programming

Learn how to identify Knights and Knaves using a Python algorithm.

Learn how to speed up recursive functions using Runtime Repeated Recursion Unfolding.

Examining the role of code reviews in identifying software security defects.

Discover how AESs assess code and support various programming needs.

A new method translates text into structured code effectively for developers.

A look at new subtyping methods for context-free session types in programming.

A deep dive into testing practices for interval arithmetic libraries.

Learn how backreferences enhance regular expressions for complex text patterns.

BittyBuzz offers new programming solutions for small robotic systems.

Panda-py streamlines programming for Franka Emika robots using Python.

Examining how ChatGPT affects public information creation and sharing.

Innovative methods in programming models enhance coding tasks and efficiency.

A new method to help beginners find useful programming examples easily.

Learn how extensible data types enhance flexibility and safety in programming.

This article explores the impact of noisy labels on AI in programming tasks.

Learn how probabilistic programming incorporates uncertainty in computing and the role of symbolic execution.

Innovative editors simplify coding by enhancing user interaction with JSON-based languages.

Examining difficulties in finding strong invariants for polynomial loops and their implications.

Learn how asynchronous programming improves efficiency and code structure.

This article examines call-by-value higher-order rewriting in programming.

Using Machine Learning to predict code coverage streamlines software testing processes.

Exploring the link between continuity and type theories in programming.

Learn how lintcstubs enhances OCaml-C code safety and correctness.

Simplifying relation algebra through first-order logic translations.

Exploring new definitions and applications of Dyck languages in two dimensions.

Learn about gradual sensitivity typing and its role in enhancing programming security.

Learn how reactive probabilistic programming adapts to uncertainty in dynamic environments.

TIPICAL enhances type inference, addressing challenges in programming with improved accuracy.

A novel approach to accurately assess binary code similarities.

This work presents a method to improve code understanding in LLMs using symmetry.

Introducing a versatile fuzzer using large language models for better software testing.

A new approach enhances user experience in creating regular expressions.

Exploring large language models as tools for detecting data races in programming.

A new type system aims to prevent data races in programming.

Introducing a teaching language for discrete mathematics with a focus on functional programming.

A fresh approach that combines ICL and code generation for improved predictions.

This study compares PEFT and ICL in improving code generation using LLMs.

Learn how chance-constrained programming and the Active Set method improve decision-making under uncertainty.

Learn how to gather stock data using Python for analysis.

Specx improves task management on diverse computing systems for faster application performance.