Latest Articles for Programming Languages

Logic in Computer Science Understanding Recursive Programs Through Trace Logic

A look at how trace logic aids recursive program verification.

Dilian Gurov, Reiner Hähnle

2025-05-15T22:21:20+00:00 ― 6 min read

Software Engineering CodeSAM: A Smart Framework for Code Analysis

CodeSAM helps improve code understanding and analysis through various perspectives.

Alex Mathai, Kranthi Sedamaki, Debeshee Das

2025-05-15T09:41:20+00:00 ― 6 min read

Databases Understanding Datalog with First-Class Facts

A look at enhanced Datalog for better data handling.

Thomas Gilray, Arash Sahebolamri, Yihao Sun

2025-05-14T17:13:20+00:00 ― 5 min read

Programming Languages Understanding KAT and Its Limits in Programming

A look at Kleene Algebra with Tests and its challenges in deterministic tasks.

Balder ten Cate, Tobias Kappé

2025-05-14T15:06:40+00:00 ― 6 min read

Logic in Computer Science An Introduction to Quantum Lambda Calculus

Learn the basics of quantum programming and its unique concepts.

Claudia Faggian, Gaetan Lopez, Benoît Valiron

2025-05-12T07:22:40+00:00 ― 5 min read

Software Engineering Using AI to Automate Production Assertions in Software Development

This article explores how AI can streamline assertion writing in coding.

Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra

2025-05-09T14:46:40+00:00 ― 6 min read

Software Engineering Examining Emergent Capabilities in Large Language Models

A study on the performance of LLMs in software engineering tasks.

Conor O'Brien, Daniel Rodriguez-Cardenas, Alejandro Velasco

2025-05-07T10:25:20+00:00 ― 6 min read

Logic The Enigma of Kleene Algebra and Commutativity

A look into the complexities of Kleene algebra with commutativity conditions.

Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi

2025-05-03T18:16:52+00:00 ― 6 min read

Cryptography and Security Identifying Security Code Smells in JavaScript

Learn how to spot and fix security code smells in JavaScript.

Vikas Kambhampati, Nehaz Hussain Mohammed, Amin Milani Fard

2025-05-02T23:10:40+00:00 ― 6 min read

Programming Languages CSE Machine: A New Way to Learn Programming

A tool to simplify learning programming concepts using the Scheme language.

Kyriel Abad, Martin Henz

2025-04-24T11:05:45+00:00 ― 6 min read

Distributed, Parallel, and Cluster Computing Massimult Architecture: A New Way to Compute

Discover Massimult, a fresh architecture for faster and efficient computing.

Jurgen Nicklisch-Franken, Ruslan Feizerakhmanov

2025-04-21T04:36:18+00:00 ― 5 min read

Software Engineering CPP-UT-Bench: Transforming C++ Testing with LLMs

A dataset that empowers language models to generate unit tests for C++ code.

Vaishnavi Bhargava, Rajat Ghosh, Debojyoti Dutta

2025-04-21T03:48:09+00:00 ― 6 min read

Programming Languages The Fusion of Programming Styles

Exploring the blend of object-oriented and functional programming in modern languages.

Martin Pluemicke

2025-04-14T16:55:12+00:00 ― 8 min read

Software Engineering Bridging Code: The Future of Translation

Discover the evolving world of code translation and its importance in programming.

Soumit Kanti Saha, Fazle Rabbi, Song Wang

2025-04-12T16:46:12+00:00 ― 7 min read

Logic in Computer Science Unlocking the Secrets of Type Theory

Explore higher identity proofs and their impact on programming and mathematics.

Thibaut Benjamin

2025-04-11T23:13:10+00:00 ― 6 min read

Computation and Language Transformers: The Future of Code Generation

Discover how transformers are changing the way we write code.

Namrata Das, Rakshya Panta, Neelam Karki

2025-04-04T17:46:30+00:00 ― 7 min read

Software Engineering Mastering Unsafe Rust: A Guide to Safety and Risks

Learn how to handle Unsafe Rust safely and effectively.

Mohan Cui, Penglei Mao, Shuran Sun

2025-03-27T21:11:15+00:00 ― 7 min read

Programming Languages Translating Go to Rust: A Practical Guide

Learn how to effectively translate Go projects into Rust with this step-by-step method.

Hanliang Zhang, Cristina David, Meng Wang

2025-03-26T23:31:12+00:00 ― 6 min read

Software Engineering Automating Grammar Extraction in DSLs

A new tool simplifies understanding DSL grammar for developers.

Mohammad Jalili Torkamani

2025-03-22T07:10:12+00:00 ― 7 min read

Software Engineering Automating Software Testing: A Developer's Dream

Discover a tool that simplifies software testing for developers across multiple projects.

Islem Bouzenia, Michael Pradel

2025-03-11T07:08:51+00:00 ― 5 min read

Software Engineering Taming Flaky Tests with Large Language Models

Learn how LLMs can help identify and manage flaky tests in software development.

Xin Sun, Daniel Ståhl, Kristian Sandahl

2025-03-03T21:47:42+00:00 ― 7 min read

Cryptography and Security Hunting Software Vulnerabilities with AI

Using large language models to detect software weaknesses.

Ira Ceka, Feitong Qiao, Anik Dey

2025-03-03T07:21:00+00:00 ― 8 min read

Software Engineering Detecting Design Smells in Deep Learning Frameworks

A tool for spotting design smells in Python and C/C++ deep learning code.

Zengyang Li, Xiaoyong Zhang, Wenshuo Wang

2025-03-02T11:17:15+00:00 ― 6 min read

Software Engineering Enhancing Code Clarity with Selective Shot Learning

Discover how selective shot learning improves code explanations for developers.

Paheli Bhattacharya, Rishabh Gupta

2025-02-23T21:11:42+00:00 ― 6 min read

Programming Languages Revolutionizing Static Analysis with LLMSA

A new approach enhances static analysis using language models for better software development.

Chengpeng Wang, Yifei Gao, Wuqi Zhang

2025-02-20T14:33:00+00:00 ― 6 min read

Programming Languages Transforming C Code to Safe Rust

Learn how to automate the translation of C code into safe Rust.

Aymeric Fromherz, Jonathan Protzenko

2025-02-12T22:46:39+00:00 ― 8 min read

Logic in Computer Science AuDaLa: A New Way to Code

Discover AuDaLa, the programming language simplifying data handling and parallel tasks.

Tom T. P. Franken, Thomas Neele

2025-02-12T12:20:42+00:00 ― 5 min read

Cryptography and Security Automated Vulnerability Detection with Language Models

Study evaluates language models for detecting software vulnerabilities across various programming languages.

Syafiq Al Atiiq, Christian Gehrmann, Kevin Dahlén

2025-02-08T06:25:39+00:00 ― 6 min read

Software Engineering Revolutionizing Code Summarization with LLMs

Discover how large language models simplify code understanding and documentation.

Md. Ahnaf Akib, Md. Muktadir Mazumder, Salman Ahsan

2025-02-03T11:40:12+00:00 ― 6 min read

Programming Languages Unlocking the Future with Quantum Programming

Explore the basics and applications of quantum programming in a simple way.

Mingsheng Ying, Li Zhou, Gilles Barthe

2025-01-22T02:44:42+00:00 ― 5 min read

Quantum Physics Automating Quantum Programming: A New Approach

This report discusses a method to improve quantum programming efficiency using auxiliary qubits.

Evandro C. R. Rosa, Jerusa Marchi, Eduardo I. Duzzioni

2025-01-20T01:18:02+00:00 ― 6 min read