Shing-Chi Cheung

Uma nova abordagem melhora a confiabilidade dos testes para bibliotecas de deep learning.

Uma análise detalhada dos bugs nos compiladores Solidity e suas implicações.

Uma nova técnica melhora os testes para carregamento de modelos em compiladores de deep learning.

Um benchmark de múltiplos domínios avalia as habilidades de geração de código dos LLMs em várias áreas.

Apresentando o ADIT: Uma nova abordagem pra melhorar a eficiência dos testes de software com transformação automática de entradas.

Aprenda como refatorar código reduz a contaminação de dados no desenvolvimento de software.