A new approach to improve security in decentralized finance protocols.
― 5 min read
Computer Science - Programming Languages
RSSExplore how termination checkers help programs complete their tasks without infinite loops.
― 5 min read
A formal approach to ensure reliability in stateful dataflow systems like Apache Flink.
― 6 min read
Exploring the use of case studies to enrich programming language learning.
― 7 min read
Combining programming and traditional methods enhances understanding of electromagnetic theory.
― 7 min read
A hands-on course to understand type systems in programming using Stella.
― 5 min read
A study on teaching cybersecurity in computer programming courses.
― 5 min read
A new method simplifies programming with efficient software generation and improved specifications.
― 5 min read
A new framework improves communication reliability in multiparty message-passing protocols.
― 7 min read
A powerful tool for in-depth smart contract transaction analysis emerges.
― 6 min read
This article outlines a new method to improve Verilog code generation using instruction tuning.
― 5 min read
A method for ensuring software correctness through structured analysis.
― 6 min read
Haskelite aids newcomers in grasping Haskell through clear evaluation traces.
― 7 min read
This framework enhances data science efficiency by converting Python code to SQL.
― 5 min read
Security agencies urge software leaders to adopt safer programming practices.
― 5 min read
Techniques for better maintenance and performance of static analysis tools.
― 7 min read
DASTAC enhances tensor computations by combining dense and sparse techniques for efficiency.
― 6 min read
Learn how reactive graphs adapt in response to user interactions.
― 5 min read
A new approach to simplify handling custom scientific data formats.
― 6 min read
A novel approach to ensuring the reliability of higher-order probabilistic programs.
― 6 min read
Examining how compiler transformations impact program security and non-interference.
― 4 min read
Learn how containers and request-response patterns facilitate software interactions.
― 6 min read
New type system ensures smart contracts run smoothly without gas issues.
― 7 min read
A new programming language improves MPC protocol security verification.
― 6 min read
A new approach simplifies compiling changes in Java projects, improving security.
― 7 min read
Learn how program verification ensures software reliability in critical industries.
― 5 min read
A method for verifying programming languages for better reliability and correctness.
― 5 min read
New techniques improve verification of complex computer programs for reliable performance.
― 6 min read
Analyzing vulnerabilities in popular code completion tools and their implications for developers.
― 6 min read
A new framework simplifies compiler processes for tensor accelerators using LLMs.
― 6 min read
Learn how to use Haskell for relational programming to handle data efficiently.
― 5 min read
Combining HW-NAS and ACO for efficient neural networks.
― 6 min read
New ownership model improves memory management and verification in low-level languages.
― 8 min read
A framework to reason about programming languages with recursion and randomness.
― 6 min read
Learn how to modernize mainframe systems using APIs for better integration.
― 6 min read
A new algorithm improves efficiency in quantum circuit compilation using Pauli strings.
― 6 min read
TCT offers a new way to secure Ethereum smart contracts.
― 6 min read
A method for automatic software bug fixing focusing on privacy and security.
― 7 min read
A method for analyzing programs to detect errors and improve reliability.
― 4 min read
Learn how custom derivatives enhance automatic differentiation processes in programming and machine learning.
― 4 min read