Artigos mais recentes para Desenvolvimento de Software

Analisando os fatores que levam à subprodução em projetos de código aberto.

Um novo sistema melhora a eficiência e reduz atrasos no tratamento de tarefas de modelos de linguagem.

Uma nova ferramenta avalia a capacidade do Syzbot de encontrar bugs no kernel do Linux.

Melhorando a segurança de software ao identificar falhas de codificação recorrentes em projetos de código aberto.

Novos sistemas de autocura aprendem a se recuperar de falhas sem ajudar de humanos.

Um novo framework melhora o desempenho da GPU para tarefas de deep learning.

Um workshop destaca os principais desafios e soluções na engenharia de software em robótica.

Um olhar sobre como o significado molda o design e a avaliação de linguagens de programação.

Um novo conjunto de dados melhora a detecção de vulnerabilidades em software de código aberto pra uma segurança melhor.

Combinando simulação e análise de eventos para validação de software.

TroVE simplifica a criação de funções para tarefas de programação, melhorando a precisão e a eficiência.

O MORPH adapta os sistemas de detecção de malware às ameaças em evolução com menos intervenção manual.

Esse artigo fala sobre o papel do SATD na segurança de software.

Descubra o papel dos tipos de interseção monádicos em melhorar os sistemas de tipos de linguagens de programação.

Um estudo sobre os papéis de desenvolvedores pagos e voluntários em projetos Rust.

Uma olhada em como melhorar o ROOT com SYCL pra uma análise de dados mais eficiente.

Um novo método simplifica a prova de propriedades de programas usando lógica de não realizabilidade.

Um estudo sobre como melhorar ferramentas automáticas para simplificação de código no desenvolvimento de software.

Uma nova abordagem para analisar a complexidade de programas de forma segura através da liberação controlada de dados.

Aprenda como os tipos de sessão melhoram os protocolos de comunicação no desenvolvimento de software.

Um novo método combina IA e análise estática pra dar sugestões de código melhores.

Aprenda como ferramentas de análise estática, como o C Analyzer, melhoram a confiabilidade do software.

OMP GPT é especializado em gerar pragmas OpenMP pra codificação eficiente em HPC.

Um estudo sobre o impacto dos LLMs em cursos de engenharia de software na universidade.

Apresentando o SERL: um novo framework pra tarefas de aprendizado de robôs de forma eficiente.

O MobFuzz melhora o fuzz testing com otimização multi-objetivo pra deixar a segurança do software bem melhor.

Esse método melhora a precisão da codagem através do aprendizado de funções reutilizáveis e refatoração.

Descubra como o ACADL simplifica a modelagem para aceleradores de hardware de IA.

Um novo modelo apoia uma comunicação eficiente na programação coreográfica.

O SPViz permite ferramentas de visualização personalizadas pra entender melhor os projetos de software.

Esse trabalho examina como os LLMs melhoram a detecção de vulnerabilidades em código Java.

ACAI simplifica a gestão de dados e a execução de tarefas para profissionais de machine learning.

Esse artigo analisa injeções de prompt e suas implicações para modelos de IA.

O PSSR2 melhora a qualidade da imagem e a acessibilidade para pesquisas em microscopia.

Aprenda a criar sistemas que priorizam um design amigável desde o começo.

Um novo método melhora a geração de testes usando modelos de linguagem grandes pra ter uma cobertura melhor.

Tornando os testes de software mais legais para os alunos através da gamificação.

Esse artigo explora métodos para usar o GPT-3.5 pra automatizar revisões de código de forma eficaz.

Combinando LLMs e verificação formal pra melhorar a precisão e eficiência da programação.

Uma ferramenta que combina Selenium e JUnit 5 pra facilitar os testes de aplicações web.