Artigos mais recentes para Desenvolvimento de Software

Analisando o comportamento e a finalização de laços de restrição linear na programação.

Um novo sistema simplifica as tarefas de design 3D no Blender usando modelos de IA avançados.

Simplificando a análise de grandes conjuntos de dados em proteômica e interatômica com ThunderBolt.

Um novo framework melhora os métodos de verificação de compiladores pra ter uma precisão melhor.

Uma estrutura unificada pra melhorar os processos de depuração de software.

ALock simplifica a sincronização em RDMA, aumentando a performance e reduzindo a latência.

Uma visão geral dos métodos de teste para bibliotecas de aprendizado profundo e sua importância.

Estudo revela vulnerabilidades no código produzido por grandes modelos de linguagem.

Descubra como a verificação de modelo HyperLTL melhora a segurança dos sistemas de software.

Tenspiler facilita a adaptação do código, permitindo que os desenvolvedores acompanhem as mudanças tecnológicas.

Aprenda como a lógica dinâmica ajuda a verificar o comportamento do programa de forma eficaz.

Um novo sistema de tipos melhora a geração de C++ a partir de especificações do Isabelle/HOL, aumentando a precisão.

Um estudo sobre a eficácia das ferramentas SAST para contratos inteligentes.

O Converter facilita a implantação de aplicativos em ambientes de nuvem e de borda.

Um novo framework pra avaliar o desempenho dos sistemas RAG.

A Inteligência de Carga de Trabalho conecta as plataformas de nuvem e as cargas de trabalho, melhorando o desempenho.

Um novo método detecta corridas de dados com precisão melhorada e baixo overhead.

Essa ferramenta melhora a conversão de código para Rust, focando em segurança e legibilidade.

Esse artigo fala sobre os avanços da PyLaia em reconhecimento de texto usando modelos de linguagem.

Uma olhada nas ameaças de segurança que os Code LLMs ajustados por instrução representam.

Ethraid ajuda pesquisadores a estudarem companheiros de estrelas distantes usando dados limitados.

SUGAR simplifica a álgebra geométrica para engenheiros e matemáticos usando Matlab.

Novos componentes melhoram a eficiência da memória e a velocidade de processamento na geração 3D.

Aprenda a determinar quando programas que usam aleatoriedade vão parar de rodar.

Um olhar sobre como a gente compara e analisa comportamentos de sistemas usando várias técnicas.

Este artigo explora o viés em modelos de geração de código em diferentes linguagens.

Avaliando a confiabilidade dos resumos produzidos por IA pra melhorar a manutenção de software.

Uma visão geral das alucinações de código em LLMs e seu impacto no desenvolvimento de software.

Novas métricas visam melhorar a segurança e a correção do código com LLMs.

Berrify fortalece a segurança do BPF contra vulnerabilidades do Spectre sem sacrificar desempenho.

O WorkBench testa a habilidade dos agentes de realizar tarefas de escritório realistas com um método de avaliação único.

Um estudo sobre o uso do Bazel pra builds de CI mais rápidos.

Aprenda como rastreamentos de pilha podem ajudar a melhorar os esforços de correção de bugs no desenvolvimento de software.

Explore os benefícios da nova unidade de computação MI300A da AMD para aplicações de alto desempenho.

Uma nova abordagem pra melhorar a detecção de clones de código em projetos de software.

Um novo modelo pretende unir os gaps legais e de engenharia na conformidade de software.

Introduzir bugs artificiais pode aumentar o engajamento em programas de recompensa por bugs.

A IA tá mudando a forma como a gente escreve e prova a correção do código.

Uma olhada no lema da compacidade e seu papel nas funções de programação recursiva.

Explorando como os Grandes Modelos de Linguagem estão transformando a correção de bugs de software.