Procedure bar / The Hong Kong University of Science / QUEEN’S UNIVERSITY / Engineering Research Center of Excellence Program / Seoul National University / /
IndustryTerm
web server database / software development / pretty-printing / software systems / lightweight greedy algorithm / software evolution / program verification technologies / plagiarism detection tools / large safety-critical software / potential applications / software plagiarism / Automatic mining / call site / combinatorial optimization algorithm / large-scale software code / clone detection tools / unification algorithm / type systems / software changes / software maintenance / clone detection tool / allocation site / /
OperatingSystem
Ubuntu / /
Organization
Engineering Research Center of Excellence Program / National Research Foundation of Korea / Korea Ministry of Education / Hong Kong University of Science and Technology / Hong Kong / Seoul National University / Seoul / School of Electrical Engineering and Computer Science / /
Person
S. K. Lahiri / Lingxiao Jiang / M. D. Ernst / T. Ball / Zhendong Su / M. Kim / V / Will Klieber / Mark Gabel / Stefan Bellon / E. J. Whitehead / Jr. / C. Pacheco / Bruno Oliveira / Ben Lickly / /
Position
QUEEN / guard / General / interpreter / author / representative / unified lattice model for static analysis / /