Search for persons
X
?
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
2
A Static Analyzer for Detecting Tensor Shape Errors in Deep..:
, In:
?
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings ,
3
A static analyzer for detecting tensor shape errors in deep..:
, In:
?
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ,
4
Optimizing homomorphic evaluation circuits by program synth..:
, In:
?
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
6
Crellvm: verified credible compilation for LLVM:
, In:
?
Proceedings of the 39th International Conference on Software Engineering ,
9
Machine-learning-guided selectively unsound static analysis:
, In:
?
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications ,
14