Search for persons
X
?
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
6
Maximal sound predictive race detection with control flow a..:
, In:
?
Proceedings of the 34th International Conference on Software Engineering ,
7
JavaMOP: efficient parametric runtime monitoring framework:
, In:
?
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation ,
10
Garbage collection for monitoring parametric properties:
, In:
?
Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering ,
13