Search for persons
X
?
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering ,
1
Inferring Natural Preconditions via Program Transformation:
, In:
?
Lecture Notes in Civil Engineering; Proceedings of SECON'23 ,
4
Exploring the Perceptions of 3D Printing Through the Techno..:
, In:
?
Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security ,
8
PacJam : Securing Dependencies Continuously via Package-..:
, In:
?
The 34th Annual ACM Symposium on User Interface Software and Technology ,
9
Sporq: An Interactive Environment for Exploring Code using ..:
, In:
?
2021 IEEE Symposium on Security and Privacy (SP) ,
10
ARBITRAR: User-Guided API Misuse Detection:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
11
Example-guided synthesis of relational queries:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
13
Code2Inv: A Deep Learning Framework for Program Verificatio:
, In:
?
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
14