Search for persons
X
?
2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) ,
1
Enhancing Performance Through Control-Flow Unmerging and Lo..:
, In:
?
2
Bridging the Gap Between AI and Reality: First Internationa..
Lecture Notes in Computer Science, 14380
?
Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science ,
10
ChatGPT in the Loop: A Natural Language Extension for Domai..:
, In:
?
Engineering of Computer-Based Systems; Lecture Notes in Computer Science ,
13
Towards LLM-Based System Migration in Language-Driven Engin..:
, In:
?
14
Leveraging Applications of Formal Methods, Verification and..
Lecture Notes in Computer Science, 13702
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
15