Computer Science - Programming Languages

Machine LearningFlex Attention: The Future of Machine Learning

Discover how Flex Attention reshapes data focus in machine learning.

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

Hardware ArchitectureASC-Hook: Enhancing System Calls on ARM Devices

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

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

DatabasesEfficient Database Query Synthesis: Experiment Results

A study on creating efficient document database queries from examples.

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

Software EngineeringPhaedrus: A Game Changer in Application Profiling

Phaedrus enhances software profiling, improving efficiency and performance.

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

Hardware ArchitectureRevolutionizing Verilog Code Generation with PyraNet

PyraNet dataset drives advances in Verilog code quality and efficiency.

2025-03-30T11:46:57+00:00 ― 7 min read

Programming LanguagesTranslating Go to Rust: A Practical Guide

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

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

Programming LanguagesStrengthening Security Through B2Scala: A New Approach

B2Scala tools enhance security protocol analysis for safe communication.

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

Programming LanguagesDecentralized Reconfiguration: A New Way to Organize Systems

Discover the benefits of decentralized reconfiguration in software systems.

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

Programming LanguagesMastering Asynchronous Communication in Computing

Discover how asynchronous communication enhances system interaction and efficiency.

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

Programming LanguagesSpeeding Up Program Analysis with Algebraic Methods

Learn how incremental analysis streamlines programming and boosts efficiency.

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

Software EngineeringACInv: A New Era in Loop Invariant Generation

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

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

Programming LanguagesOptimizing AI Compilers Through Pattern Matching

Discover how pattern matching enhances AI compiler performance on GPUs.

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

Artificial IntelligenceRevolutionizing AI Development with New Framework

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

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

Cryptography and SecuritySecuring Industrial Control Systems Against Cyber Threats

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

2025-02-21T00:10:48+00:00 ― 8 min read

Programming LanguagesRevolutionizing Static Analysis with LLMSA

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

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

Logic in Computer ScienceSimplifying Liveness Verification with Implicit Rankings

A new approach to verify system behavior using implicit rankings.

2025-02-18T16:00:18+00:00 ― 6 min read

Programming LanguagesTransforming C Code to Safe Rust

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

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

Logic in Computer ScienceAuDaLa: A New Way to Code

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

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

Programming LanguagesKoka Bayes: Simplifying Probabilistic Programming

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

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

Machine LearningSpeedy Synthesizer: The Future of Program Synthesis

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

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

Programming LanguagesMastering Packet Processing: A Guide

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

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

Programming LanguagesUnlocking the Future with Quantum Programming

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

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

Quantum PhysicsAutomating Quantum Programming: A New Approach

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

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

Machine LearningRevolutionizing Deep Learning Operator Design

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

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