| Finding bugs in exceptional situations of JNI programs S Li, G Tan Proceedings of the 16th ACM conference on Computer and communications …, 2009 | 82 | 2009 |
| JET: exception checking in the Java native interface S Li, G Tan ACM SIGPLAN Notices 46 (10), 345-358, 2011 | 40 | 2011 |
| Finding Reference-Counting Errors in Python/C Programs with Affine Analysis S Li, G Tan European Conference on Object-Oriented Programming, 2014 | 39 | 2014 |
| Exception Analysis in the Java Native Interface S Li, G Tan Science of Computer Programming 89, 273-297, 2014 | 22 | 2014 |
| JATO: Native Code Atomicity for Java S Li, YD Liu, G Tan Asian Symposium on Programming Languages and Systems, 2012 | 7 | 2012 |
| Improving Quality of Software with Foreign Function Interfaces Using Static Analysis S Li Lehigh University, 2014 | 2 | 2014 |
