NUS PLSE - Programming Languages & Software Engineering @ NUS
Shin Hwei Tan
[ Research Interests ] [ News ] [ Publications ] [ Recent Professional Activities ] [ Courses ] [ Current Students ] [ Alumni ] [ Research Projects ]
Research Interests I am most interested in reasoning about computer programs for practical purposes. Among many practical applications of program reasoning, I am currently focusing on program repair whereby correct program behavior is inferred from specifications (e.g., reference programs, test cases, and documents), based on which the buggy program is automatically fixed through various techniques such as program synthesis and deep learning . The dual of program repair is program verification , which check
September 2023: Our paper Poracle: Testing Patches Under Preservation Conditions to Combat the Overfitting Problem of Program Repair has been accepted and will appear in TOSEM . Congratulations to Elkhan and Mazba!
NUS PLSE - Programming Languages & Software Engineering @ NUS
Shin Hwei Tan