Computer Science - Programming Languages

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

Programming LanguagesSimplifying Loop Analysis with LoopSCC

Learn how LoopSCC simplifies complex loop analysis for better software testing.

Kai Zhu, Chenkai Guo, Kuihao Yan

2025-05-30T04:56:33+00:00 ― 6 min read

Programming LanguagesOptimizing Quantum Circuits: A Balanced Approach

Combining fast and slow techniques for better quantum circuit performance.

Amanda Xu, Abtin Molavi, Swamit Tannu

2025-05-27T04:34:48+00:00 ― 6 min read

Programming LanguagesUnderstanding Predicate Transformers in Programming

A guide to weakest preconditions and strongest postconditions in coding.

Lena Verscht, Benjamin Lucien Kaminski

2025-05-26T11:59:06+00:00 ― 5 min read

Logic in Computer ScienceTyped Non-Determinism: A Clear Approach

Understanding typed non-determinism and its impact on resource management in computing.

Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus

2025-05-24T21:55:21+00:00 ― 6 min read

Programming LanguagesTransforming Javascript with a New Transpiler

A new transpiler simplifies and streamlines coding in Javascript.

Alessandro Rosa

2025-05-24T10:10:39+00:00 ― 5 min read

DatabasesUnderstanding Graphs: A Simple Guide

Learn about graphs, their types, and applications in everyday life.

Sydney Anuyah, Victor Bolade, Oluwatosin Agbaakin

2025-05-22T01:24:36+00:00 ― 9 min read

Programming LanguagesStreamlining Hardware Design with Churchroad

A new tool simplifies hardware design by optimizing the use of DSPs.

Gus Henry Smith, Colin Knizek, Daniel Petrisko

2025-05-21T02:21:18+00:00 ― 6 min read

Logic in Computer ScienceRandomness in Concurrent Computing: A New Approach

Discover how randomization can improve concurrent programming efficiency.

Noam Zilberstein, Alexandra Silva, Joseph Tassarotti

2025-05-20T01:09:20+00:00 ― 5 min read

Programming LanguagesUnderstanding Dirac Notation in Quantum Mechanics

A look at Dirac notation's role in simplifying quantum ideas.

Yingte Xu, Gilles Barthe, Li Zhou

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

Programming LanguagesCF-GKAT: Comparing Control Flow in Programming

A new tool to check program equivalence through control flow analysis.

Cheng Zhang, Tobias Kappé, David E. Narváez

2025-05-16T03:50:40+00:00 ― 6 min read

Formal Languages and Automata TheoryUnderstanding Mailbox Communication Systems

A look at how messages are sent and received in technology.

Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters

2025-05-15T07:34:40+00:00 ― 6 min read

Programming LanguagesEfficient Programming with Functional Arrays

Learn to streamline programming using arrays and functions effectively.

Hans Hüttel, Lars Jensen, Chris Oliver Paulsen

2025-05-15T07:09:20+00:00 ― 5 min read

DatabasesUnderstanding 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 LanguagesUnderstanding 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

Distributed, Parallel, and Cluster ComputingPython Gets a Boost with OMP4Py

OMP4Py enhances Python's performance for parallel computing with easy-to-use directives.

César Piñeiro, Juan C. Pichel

2025-05-12T09:29:20+00:00 ― 7 min read

Programming LanguagesSelf-Tagging: A New Way to Handle Floats

Discover how self-tagging can improve floating-point number performance in programming.

Olivier Melançon, Manuel Serrano, Marc Feeley

2025-05-08T20:37:20+00:00 ― 6 min read

Programming LanguagesThe Shift from x86 to ARM: What It Means

Explore the rising popularity of ARM chips and their impact on technology.

Ahmed Heakl, Chaimaa Abi, Rania Hossam

2025-05-08T11:20:00+00:00 ― 6 min read

Programming LanguagesRevamping Robot Behavior with New Programming Language

A fresh approach to make robots smarter and more efficient.

Oliver Biggar, Iman Shames

2025-05-07T19:42:40+00:00 ― 6 min read

Systems and ControlEnhancements in Hybrid System Simulations

Improvements in Lince make hybrid system simulations simpler and more effective.

Pedro Mendes, Ricardo Correia, Renato Neves

2025-05-04T11:25:16+00:00 ― 5 min read

LogicThe 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