Search for persons
X
?
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results ,
1
Beyond a Joke: Dead Code Elimination Can Delete Live Code:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
4
Boosting Symbolic Execution for Heap-based Vulnerability De..:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
5
KRover: A Symbolic Execution Engine for Dynamic Kernel Anal..:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
8
FastKLEE: faster symbolic execution via reducing redundant ..:
, In:
?
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) ,
9