Computer Science - Programming Languages

Discover ACInv, a tool revolutionizing loop invariant generation for complex programming.

Ruibang Liu, Guoqiang Li, Minyu Chen

2025-03-12T14:26:42+00:00 ― 6 min read

Latest Articles

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

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

Discover how Koka Bayes makes probabilistic programming easier and more effective.

Oliver Goldstein, Ohad Kammar

2025-02-11T02:01:16+00:00 ― 7 min read

Discover the innovative speedy synthesizer transforming program synthesis with constant-delay efficiency.

Théo Matricon, Nathanaël Fijalkow, Guillaume Lagarde

2025-01-29T11:17:42+00:00 ― 7 min read

An in-depth look at the essentials of packet processing and verification.

Shengyi Wang, Mengying Pan, Andrew W. Appel

2025-01-23T11:38:51+00:00 ― 7 min read

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

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

A new framework simplifies deep learning operators, enhancing accuracy and usability for developers.

Qi Zhan, Xing Hu, Xin Xia

2025-01-17T22:10:22+00:00 ― 6 min read