Program Analysis Laboratory

See the full project: http://weile.work/lab.html

Automatically detecting, diagnosing and fixing bugs/vulnerabilities in software.

Machine learning for code.

Analyzing machine learning systems for reliability, safety and effective learning.

Directed by Dr. Wei Le