Search for persons
X
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
5
An Efficient Cyclic Entailment Procedure in a Fragment of S..:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ,
6
CHRONOS: Time-Aware Zero-Shot Identification of Libraries f..:
, In:
?
2023 IEEE International Conference on Software Maintenance and Evolution (ICSME) ,
7
The Future Can't Help Fix The Past: Assessing Program Repai..:
, In:
?
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results ,
8
Toward the analysis of graph neural networks:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
9
AutoPruner: transformer-based call graph pruning:
, In:
?
2022 IEEE International Conference on Software Maintenance and Evolution (ICSME) ,
11
FFL: Fine-grained Fault Localization for Student Programs v..:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
12
VulCurator: a vulnerability-fixing commit detector:
, In:
?
2022 IEEE/ACM 44th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ,
13