Dawson Engler

Dawson Engler

Associate Professor of Computer Science, Stanford University
Verified email at stanford.edu
Cited by 22268
operating systems verification bug finding programming languages
Marcelo Frias

Marcelo Frias

The University of Texas at El Paso
Verified email at utep.edu
Cited by 1727
Static Analysis Testing Bug Finding Automated Repair Fault Localization
Choongwoo Han

Choongwoo Han

Microsoft
Verified email at microsoft.com
Cited by 811
Bug Finding Software Engineering
Jordy Gennissen

Jordy Gennissen

Royal Holloway, University of London
Verified email at rhul.ac.uk
Cited by 16
Computer Security exploitation bug-finding malware system security