Personensuche
X
?
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis ,
1
API analytics for curating static analysis rules:
, In:
?
2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM) ,
2
Out of Sight, Out of Place: Detecting and Assessing Swapped..:
, In:
?
2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM) ,
3
Automated Customized Bug-Benchmark Generation:
, In:
?
Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization ,
4
A parallel abstract interpreter for JavaScript:
, In:
?
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems ,
5
Sapper : a language for hardware-level security policy e..:
, In:
?
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering ,
6
JSAI: a static analysis platform for JavaScript:
, In:
?
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization ,
7
Security Signature Inference for JavaScript-based Browser A..:
, In:
?
Proceedings of the 9th symposium on Dynamic languages ,
8
Type refinement for static analysis of JavaScript:
, In:
?
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security ,
9
Position paper : Sapper -- a language for provable hardw..:
, In:
?
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation ,
10