3
publications
42
citations
Interests / Fields
Computer science Maintenance engineering Semantics Programming language Software bug Software Debugging Scalability Symbolic data analysis Heartbleed Program synthesis Fuse Maximum satisfiability problem Encoding Regression testing Reliability engineering Engineering Correctness Syntax Benchmark
Publication Statistics
14
Total Publications
3
SG+ML Publications
Publications authored while based in Singapore within AI/ML-related areas.
719
Total Estimated Citations
Estimated citations uses a statistical model that leverages both local statistics of the publication and global statistics of the entire academic graph (from MAG).
42
SG+ML Estimated Citations
336
Total Citations
42