Computer Science - Programming Languages

RSS

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

Latest Articles

Machine Learning Flex Attention: The Future of Machine Learning

Discover how Flex Attention reshapes data focus in machine learning.

Juechu Dong, Boyuan Feng, Driss Guessous

2025-04-08T15:40:03+00:00 ― 6 min read

Hardware Architecture ASC-Hook: Enhancing System Calls on ARM Devices

ASC-Hook improves system call performance and monitoring for ARM applications.

Yang Shen, Min Xie, Wenzhe Zhang

2025-04-04T20:59:06+00:00 ― 7 min read

Databases Efficient Database Query Synthesis: Experiment Results

A study on creating efficient document database queries from examples.

Qikang Liu, Yang He, Yanwen Cai

2025-04-02T14:24:54+00:00 ― 6 min read

Software Engineering Phaedrus: A Game Changer in Application Profiling

Phaedrus enhances software profiling, improving efficiency and performance.

Bodhisatwa Chatterjee, Neeraj Jadhav, Sharjeel Khan

2025-03-30T19:48:27+00:00 ― 6 min read

Hardware Architecture Revolutionizing Verilog Code Generation with PyraNet

PyraNet dataset drives advances in Verilog code quality and efficiency.

Bardia Nadimi, Ghali Omar Boutaib, Hao Zheng

2025-03-30T11:46:57+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

Programming Languages Strengthening Security Through B2Scala: A New Approach

B2Scala tools enhance security protocol analysis for safe communication.

Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet

2025-03-19T16:34:30+00:00 ― 7 min read

Programming Languages Decentralized Reconfiguration: A New Way to Organize Systems

Discover the benefits of decentralized reconfiguration in software systems.

Farid Arfi, Hélène Coullon, Frédéric Loulergue

2025-03-19T14:58:12+00:00 ― 8 min read

Programming Languages Mastering Asynchronous Communication in Computing

Discover how asynchronous communication enhances system interaction and efficiency.

Bas van den Heuvel, Jorge A. Pérez

2025-03-19T14:10:03+00:00 ― 7 min read

Programming Languages Speeding Up Program Analysis with Algebraic Methods

Learn how incremental analysis streamlines programming and boosts efficiency.

Chenyu Zhou, Yuzhou Fang, Jingbo Wang

2025-03-13T11:18:36+00:00 ― 6 min read

Software Engineering ACInv: A New Era in Loop Invariant Generation

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

Programming Languages Optimizing AI Compilers Through Pattern Matching

Discover how pattern matching enhances AI compiler performance on GPUs.

Joseph W. Cutler, Alex Collins, Bin Fan

2025-02-26T21:25:12+00:00 ― 6 min read

Artificial Intelligence Revolutionizing AI Development with New Framework

A groundbreaking toolkit simplifies the use of foundation models for developers.

Ziyang Li, Jiani Huang, Jason Liu

2025-02-21T12:13:03+00:00 ― 4 min read

Cryptography and Security Securing Industrial Control Systems Against Cyber Threats

Learn how to protect industrial systems from cyber attacks with new security methods.

Arthur Amorim, Trevor Kann, Max Taylor

2025-02-21T00:10:48+00:00 ― 8 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

Logic in Computer Science Simplifying Liveness Verification with Implicit Rankings

A new approach to verify system behavior using implicit rankings.

Raz Lotan, Sharon Shoham

2025-02-18T16:00:18+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

Programming Languages Koka Bayes: Simplifying Probabilistic Programming

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

Machine Learning Speedy Synthesizer: The Future of Program Synthesis

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

Programming Languages Mastering Packet Processing: A Guide

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

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

Machine Learning Revolutionizing Deep Learning Operator Design

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