3
publications
53
citations
Interests / Fields
Computer science Programming language Separation logic Data structure Theoretical computer science Algorithm Pointer Heap High-level verification Functional verification Runtime verification Soundness Inference Intelligent verification Modular design Software verification Satisfiability Correctness Memory management Recursion
Publication Statistics
156
Total Publications
3
SG+ML Publications
Publications authored while based in Singapore within AI/ML-related areas.
2,509
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).
53
SG+ML Estimated Citations
1,879
Total Citations
53