Discover the role of monadic intersection types in improving programming language type systems.
― 6 min read
Computer Science - Programming Languages
RSSA novel approach to software testing using gray-box fuzzing and gradient descent.
― 6 min read
A new method simplifies proving program properties using unrealizability logic.
― 9 min read
Learn how Universal Composability and other theories enhance cryptographic security.
― 6 min read
Learn how static analysis tools like C Analyzer improve software reliability.
― 5 min read
This method enhances coding accuracy through reusable function learning and refactoring.
― 8 min read
A new model supports efficient communication in choreographic programming.
― 7 min read
Combining LLMs and formal verification to improve programming accuracy and efficiency.
― 7 min read
A new framework for understanding cost in probabilistic functional programming.
― 4 min read
A new graph structure enhances compiler efficiency in parallel programming.
― 6 min read
A look at adjoint logic and its applications in programming and computation.
― 7 min read
A new dataset and model for enhancing machine learning in formal proofs using Agda.
― 6 min read
Discover how Object Graph Programming simplifies data handling in software development.
― 6 min read
A new tool aims to simplify the conversion of Redex models to Coq.
― 5 min read
This article explains the basics of program semantics and its key concepts.
― 6 min read
This study explores improved call graph accuracy using machine learning methods.
― 7 min read
A method for better code generation in data science using input-output specifications.
― 7 min read
A new framework to evaluate LLMs' understanding of code tasks.
― 9 min read
A new approach using LLMs enhances dataflow analysis for better code understanding.
― 6 min read
SPML enhances chatbot safety by monitoring user inputs and refining definitions.
― 7 min read
Exploring methods to enhance coding task performance in language models using data.
― 6 min read
Exploring the benefits of using programming in reinforcement learning.
― 6 min read
Introducing a framework for clearer semantics in probabilistic programming languages.
― 5 min read
A new approach to make type error messages clearer for programmers.
― 6 min read
Learn how to prevent internal failures in software programming effectively.
― 6 min read
Learn how MPST enhances communication processes in distributed systems.
― 4 min read
A novel approach enhances efficiency in SMT solving for bit-vectors.
― 8 min read
This library simplifies automatic differentiation for web applications.
― 6 min read
A study ranks the programming capabilities of various large language models.
― 8 min read
Discover how hybrid languages enhance programming through text-visual integration.
― 6 min read
A new method reduces syntax errors in code generated by large language models.
― 5 min read
CatCode aims to improve evaluation of LLMs in coding and language tasks.
― 7 min read
A new method for verifying complex program properties to enhance security.
― 6 min read
A look into denotational interpreters and their role in program analysis.
― 4 min read
This study improves code models using compiler intermediate representations for better multilingual performance.
― 6 min read
Introducing a new language for clear and efficient access permissions.
― 6 min read
Session types enable structured communication between system components for improved reliability.
― 5 min read
A study on automated program generation using realizability and realization logic.
― 4 min read
A new system enhances monitoring of WebAssembly applications without impacting performance.
― 5 min read
A new memory allocator offers enhanced safety and performance for software development.
― 9 min read