Apresentando uma linguagem de programação focada em desempenho confiável de aplicativos e gerenciamento de memória.
Mark Marron
― 7 min ler
Ciência de ponta explicada de forma simples
Apresentando uma linguagem de programação focada em desempenho confiável de aplicativos e gerenciamento de memória.
Mark Marron
― 7 min ler
Este artigo fala sobre como é compreensível o código Java decompilado e a sua importância.
Ruixin Qin, Yifan Xiong, Yifei Lu
― 8 min ler
Explorando a relação entre traços de personalidade e a eficácia na geração de código usando LLMs.
Yaoqi Guo, Zhenpeng Chen, Jie M. Zhang
― 7 min ler
Explore como a síntese de dados melhora o desempenho e o treinamento de modelos de codificação.
Meng Chen, Philip Arthur, Qianyu Feng
― 9 min ler
Este estudo explora como os LLMs ajudam os desenvolvedores a entender algoritmos quânticos de forma eficaz.
Giordano d'Aloisio, Sophie Fortz, Carol Hanna
― 7 min ler
O VIEWER organiza os dados dos pacientes para os profissionais de saúde mental.
Tao Wang, David Codling, Yamiko Msosa
― 7 min ler
O DemoCraft melhora a geração de código a partir de linguagem natural usando seleção inteligente de exemplos.
Nirmal Joshua Kapu, Mihit Sreejith
― 7 min ler
Pesquisas mostram que LLMs conseguem gerar código sintético útil para ensinar.
Juho Leinonen, Paul Denny, Olli Kiljunen
― 7 min ler
A esperança é essencial pra resiliência, motivação e saúde mental positiva.
Talaya Farasat, Atiqullah Ahmadzai, Aleena Elsa George
― 7 min ler
A IA tá mudando a forma como lidamos com vulnerabilidades em software de um jeito eficaz.
Yuntong Zhang, Jiawei Wang, Dominic Berzin
― 6 min ler
Uma olhada em métodos para detectar bugs em software quântico.
Naoto Sato, Ryota Katsube
― 9 min ler
Uma nova abordagem aumenta a eficiência na verificação de designs de chips de computador.
Yuheng Su, Qiusong Yang, Yiwei Ci
― 5 min ler
Investigando o papel dos LLMs na geração de especificações de software para verificação.
Marilyn Rego, Wen Fan, Xin Hu
― 6 min ler
Um olhar sobre o WASM e a importância da decompilação na segurança da web.
Wei-Cheng Wu, Yutian Yan, Hallgrimur David Egilsson
― 7 min ler
Avaliando a relevância da engenharia de prompts com novos modelos de raciocínio.
Guoqing Wang, Zeyu Sun, Zhihao Gong
― 8 min ler
Combinando IA com Dafny pra facilitar os processos de verificação de software.
Gabriel Poesia, Chloe Loughridge, Nada Amin
― 7 min ler
Casos de Garantia garantem a confiabilidade, segurança e clareza para o usuário do software.
W. Spencer Smith, Jingyi Lin
― 6 min ler
Um olhar sobre as dificuldades de identificar código gerado por IA e as melhorias que vêm por aí.
Hyunjae Suh, Mahan Tafreshipour, Jiawei Li
― 7 min ler
Uma nova maneira de planejar voos de quadricópteros apenas desenhando caminhos.
Leonhard Alkewitz, Timo Zuccarello, Alexander Raschke
― 6 min ler
Uma iniciativa liderada por estudantes que oferece experiência prática em software para futuros engenheiros.
Saheed Popoola, Vineela Kunapareddi, Hazem Said
― 11 min ler
Analisando o consumo de energia de assistentes de programação como o GitHub Copilot.
Tristan Coignion, Clément Quinton, Romain Rouvoy
― 6 min ler
Explore como a somatória em ponto flutuante afeta a precisão nos cálculos.
Peichen Xie, Yanjie Gao, Jilong Xue
― 7 min ler
As QNNs podem mudar a forma como os sistemas de dados são testados e gerenciados na saúde.
Xinyi Wang, Shaukat Ali, Paolo Arcaini
― 7 min ler
O Mint captura e gerencia dados de rastreamento de forma eficiente pra ter melhores insights.
Haiyu Huang, Cheng Chen, Kunyi Chen
― 7 min ler
Conexões fracas podem acender a inovação em projetos de software.
Hongbo Fang, Patrick Park, James Evans
― 8 min ler
Uma olhada no potencial dos camps de programação para melhorar o aprendizado e as conexões de carreira.
Ilenia Fronza, Petri Ihantola, Olli-Pekka Riikola
― 9 min ler
Um novo método melhora a detecção de vulnerabilidades em contratos inteligentes.
Lei Yu, Shiqi Chen, Hang Yuan
― 7 min ler
Saiba como a detecção de anomalias protege dados sensíveis de ameaças.
Chaymae El Jabri, Marc Frappier, Pierre-Martin Tardif
― 7 min ler
Uma olhada em como as vulnerabilidades de software são identificadas, corrigidas e compartilhadas.
Yi Wen Heng, Zeyang Ma, Haoxiang Zhang
― 6 min ler
Uma olhada profunda nos riscos de segurança das extensões do VS Code.
Shehan Edirimannage, Charitha Elvitigala, Asitha Kottahachchi Kankanamge Don
― 8 min ler
Os desenvolvedores podem melhorar a privacidade dos apps analisando melhor as avaliações dos usuários com técnicas avançadas.
Aakash Sorathiya, Gouri Ginde
― 6 min ler
Um estudo revela como o CHIME melhora as respostas do ChatGPT a relatos de bugs de software.
Salma Begum Tamanna, Gias Uddin, Song Wang
― 7 min ler
Um novo método melhora os testes de API REST usando aprendizado inteligente pra priorizar operações-chave.
Myeongsoo Kim, Tyler Stennett, Saurabh Sinha
― 6 min ler
O AutoChecker simplifica a criação de verificadores de código estático personalizados para desenvolvedores.
Yuanyuan Xie, Jun Liu, Jiwei Yan
― 6 min ler
Uma ferramenta pra validar casos de teste gerados por modelos de linguagem grandes.
Hamed Taherkhani, Hadi Hemmati
― 6 min ler
Saiba mais sobre testes metamórficos e sua importância no desenvolvimento de software.
Madhusudan Srinivasan, Upulee Kanewala
― 7 min ler
A IA muda a forma como as equipes de software trabalham; entender as pessoas é fundamental.
Theocharis Tavantzis, Robert Feldt
― 7 min ler
Aprenda como refatorar pode melhorar a estrutura do software e gerenciar os riscos envolvidos.
Wouter Brinksma, William Wernsen, Evert Verduin
― 9 min ler
Pesquisadores desenvolvem uma estrutura autocorretdora pra geração eficiente de testbenches no design de hardware.
Ruidi Qiu, Grace Li Zhang, Rolf Drechsler
― 9 min ler
Aproveitando estratégias mais inteligentes pra pegar erros nos testes de software.
Hang Du, Vijay Krishna Palepu, James A. Jones
― 7 min ler