Computer Science - Programming Languages

Programming LanguagesIntroducing Pawns: A New Programming Language

Pawns merges programming styles for efficiency and clarity.

Lee Naish

2025-06-18T03:34:18+00:00 ― 6 min read

Software EngineeringThe Importance of Software Verification

Learn why verifying software is crucial for reliability and user trust.

Daniel Baier, Dirk Beyer, Po-Chun Chien

2025-06-17T22:42:00+00:00 ― 5 min read

Software EngineeringAdvancing Smart Contract Security with InvSol

InvSol enhances smart contract safety through advanced invariant creation techniques.

Kartik Kaushik, Raju Halder, Samrat Mondal

2025-06-17T17:18:06+00:00 ― 6 min read

Quantum PhysicsSimplifying Quantum Programming for Everyone

Learn how to approach quantum programming without the complexity.

Jun Inoue

2025-06-17T13:54:03+00:00 ― 6 min read

Cryptography and SecurityAdvancements in Secure Programming Techniques

A look at new approaches to enhance secure programming methods.

Vivian Ding, Coşku Acay, Andrew C. Myers

2025-06-17T13:05:18+00:00 ― 5 min read

Programming LanguagesPawns: Bridging Functional and Imperative Programming

Pawns combines functional and imperative programming for safer, efficient coding.

Lee Naish

2025-06-17T11:06:48+00:00 ― 5 min read

Hardware ArchitectureImproving Hardware Decompilation with Memory Recovery

A new method enhances hardware decompilation by recovering registers and memory blocks.

Varun Rao, Zachary D. Sisco

2025-06-17T10:43:06+00:00 ― 5 min read

Programming LanguagesIntroducing PoTo: A New Tool for Python Code Analysis

PoTo enhances static analysis for Python, improving code quality and type inference.

Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart

2025-06-16T19:34:36+00:00 ― 6 min read

Programming LanguagesTransform Dialect: A New Way to Optimize Compilers

Transform dialect offers better control for performance engineers in compiler optimization.

Martin Paul Lücke, Oleksandr Zinenko, William S. Moses

2025-06-16T18:31:24+00:00 ― 5 min read

RoboticsSimplifying Robot Programming for Industrial Applications

A new approach to programming robots for real-time tasks in various environments.

Wei Gao, Jingqiang Wang, Xinv Zhu

2025-06-16T11:24:48+00:00 ― 7 min read

Quantum PhysicsType-Based Verification in Quantum Computing

A method to ensure reliable quantum program execution with lattice surgery.

Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi

2025-06-16T05:42:57+00:00 ― 6 min read

Software EngineeringAdvancements in Smart Contract Testing Methods

A new system enhances bug detection in smart contracts.

Sally Junsong Wang, Jianan Yao, Kexin Pei

2025-06-16T04:49:48+00:00 ― 4 min read

Instrumentation and Methods for AstrophysicsAdvancing Fortran: Merging Coarray and CUDA

This article examines how Coarray and CUDA Fortran integration enhances computing performance.

James McKevitt, Eduard I. Vorobyov, Igor Kulikov

2025-06-15T05:30:42+00:00 ― 7 min read

Programming LanguagesReimagining Programming Languages for the Future

Discover a new way to design adaptive programming languages.

Ronie Salgado

2025-06-14T18:12:06+00:00 ― 5 min read

Software EngineeringLLM Agent Improves Symbolic Execution for Python

A new approach enhances symbolic execution in Python using a Large Language Model.

Wenhan Wang, Kaibo Liu, An Ran Chen

2025-06-12T19:03:54+00:00 ― 6 min read

Quantum PhysicsAdvancements in Quantum Computing with Qualtran

An overview of how Qualtran simplifies quantum algorithm development.

Matthew P. Harrigan, Tanuj Khattar, Charles Yuan

2025-06-12T15:06:15+00:00 ― 6 min read

Distributed, Parallel, and Cluster ComputingA New Way to Collaborate on Shared Data

Coordination-free Collaborative Replication streamlines group work without constant messaging.

Masato Takeichi

2025-06-11T23:03:06+00:00 ― 5 min read

Programming LanguagesIntroducing a New Jitted Language for AI Development

A new coding language aims to improve neural network training performance.

Augusto Seben da Rosa, Marlon Daniel Angeli, Jorge Aikes Junior

2025-06-10T22:10:00+00:00 ― 5 min read

Programming LanguagesIntroducing Minuska: A New Framework for Reliable Programming Tools

Minuska provides a robust method for creating verified interpreters from language definitions.

Jan Tušil, Jan Obdržálek

2025-06-10T20:27:18+00:00 ― 6 min read

Programming LanguagesQuantum Multiparty Session Types Explained

A look into how parties share information in quantum computing.

Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury

2025-06-10T13:20:42+00:00 ― 6 min read

Programming LanguagesThe Role of Continuations in Quantum Circuits

Learn how continuations aid in managing quantum computations.

Vikraman Choudhury, Borislav Agapiev, Amr Sabry

2025-06-10T12:57:00+00:00 ― 4 min read

Programming LanguagesAdvancements in QLMNtal for Graph Structures

QLMNtal enhances graph handling with powerful quantification features.

Haruto Mishina, Kazunori Ueda

2025-06-10T11:38:00+00:00 ― 5 min read

Software EngineeringSimplifying Formal Verification with vMocks

vMocks streamline formal verification, enhancing software safety and reliability.

Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel

2025-06-10T04:47:12+00:00 ― 6 min read

Programming LanguagesMemory Consistency: Balancing Performance and Safety in Programming

Exploring the importance of memory consistency in multi-threaded programming environments.

Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty

2025-06-09T23:15:24+00:00 ― 5 min read

Programming LanguagesExamining Types and Proofs in Programming Languages

A look at types, contexts, and proofs in programming languages.

Kelvin Qian, Scott Smith, Brandon Stride

2025-06-09T02:03:30+00:00 ― 5 min read

Programming LanguagesA New Tool for Proof Construction

Introducing an innovative proof assistant that enhances user interaction.

Jan Liam Verter, Tomas Petricek

2025-06-09T01:16:06+00:00 ― 5 min read

Software EngineeringAdvancements in Proof Automation Using LLMs

Exploring new methods to improve proof verification in software engineering.

Minghai Lu, Benjamin Delaware, Tianyi Zhang

2025-06-08T12:45:36+00:00 ― 7 min read

Quantum PhysicsIntroducing Silq: A New Quantum Programming Language

Silq simplifies quantum programming with user-friendly features.

Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani

2025-06-07T16:26:18+00:00 ― 6 min read

Software EngineeringEnsuring Fairness in Software for Society

Exploring the importance of accountability in software systems affecting social and legal outcomes.

Saeid Tizpaz-Niari, Shiva Darian, Ashutosh Trivedi

2025-06-06T19:25:00+00:00 ― 5 min read

Programming LanguagesA New Method for Proving Program Termination

Improving tools to check if loops in programs will finish running.

Shaowei Zhu, Zachary Kincaid

2025-06-05T04:26:36+00:00 ― 5 min read

Logic in Computer ScienceGuarded Recursion in Programming Languages

Exploring how guarded recursion enhances infinite data structures in programming.

Louis Lemonnier

2025-06-03T18:12:47+00:00 ― 9 min read

Logic in Computer ScienceConnecting Logic and Programming through Call-by-Value Evaluation

This paper examines the link between minimal intuitionistic logic and call-by-value evaluation in programming.

Beniamino Accattoli

2025-06-03T11:21:48+00:00 ― 10 min read

Programming LanguagesA New Approach to Application Performance

Introducing a programming language focused on reliable application performance and memory management.

Mark Marron

2025-06-03T06:37:24+00:00 ― 5 min read

Programming LanguagesVerifying Exception Handling in Java Bytecode

A method for analyzing exceptional behavior in Java programs using bytecode.

Marco Paganoni, Carlo A. Furia

2025-06-02T21:40:12+00:00 ― 6 min read

Hardware ArchitectureEnhancing Verilog Code Generation with Feedback

AutoChip uses EDA feedback to improve Verilog code generation by LLMs.

Jason Blocklove, Shailja Thakur, Benjamin Tan

2025-06-02T02:11:00+00:00 ― 6 min read

Programming LanguagesA New Approach to Polymorphic Metaprogramming

Introducing a framework for safe and efficient code generation.

Junyoung Jang, Brigitte Pientka

2025-06-01T21:50:18+00:00 ― 6 min read

Programming LanguagesMaking Debugging Easier with Visualization

Visualizing functional programs can simplify the debugging process for programmers.

John Whitington, Tom Ridge

2025-06-01T18:40:42+00:00 ― 7 min read

Logic in Computer ScienceUnderstanding Parametricity in Programming Languages

Learn how parametricity impacts programming and the challenges with GADTs.

Pierre Cagne, Patricia Johann

2025-06-01T18:01:12+00:00 ― 5 min read

Software EngineeringCan Large Language Models Help in Software Verification?

Investigating the role of LLMs in generating software specifications for verification.

Marilyn Rego, Wen Fan, Xin Hu

2025-05-31T13:58:30+00:00 ― 6 min read

Software EngineeringUsing AI to Improve Dafny Program Verification

Combining AI with Dafny to simplify software verification processes.

Gabriel Poesia, Chloe Loughridge, Nada Amin

2025-05-31T00:31:03+00:00 ― 7 min read