Personensuche
X
?
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ,
1
Learning Deep Semantics for Test Completion:
, In:
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
2
Multilingual Code Co-evolution using Large Language Models:
, In:
?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ,
3
CoditT5: Pretraining for Source Code and Natural Language E..:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings ,
4
Roosterize : suggesting lemma names for coq verification..:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
5
Deep Generation of Coq Lemma Names Using Elaborated Terms:
, In:
?
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
6
On the naturalness of hardware descriptions:
, In:
?
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
7
A framework for writing trigger-action todo comments in exe..:
, In:
?
5th Joint International Conference on Data Science & Management of Data (9th ACM IKDD CODS and 27th COMAD) ,
8