Mingwei Liu

Estudo explora análise estática pra melhorar a conclusão de código em nível de repositório.

Uma nova abordagem combina conhecimento e tecnologia pra melhorar a detecção de vulnerabilidades em software.

Uma estrutura em duas etapas melhora a inferência de tipos do Python, aumentando a qualidade e a eficiência do código.