Friday, April 5, 2019 3 p.m. to 3:30 p.m.

Kbuild Makefiles form the build system for several critical software systems including the Linux kernel. In this talk we show how to automatically identify specific configurations that include a given part of the source code automatically using symbolic Boolean logic, a result useful for software developers and test engineers.

Speaker: Jin Koay

Location:

HEC: 356

Contact:


Calendar:

Student Research Week

Category:

Speaker/Lecture/Seminar

Tags:

Undergraduate Research Research Week student research