AIware 2024
Mon 15 - Tue 16 July 2024 Porto de Galinhas, Brazil, Brazil
co-located with FSE 2024

In recent years, AI-based Software Engineering has experienced remarkable growth, with significant advancements in code generation, test generation, bug detection, and bug repair. However, current Code Language Models (Code LLMs) often lack a deep understanding of code semantics, resulting in performance issues and a general lack of trust in their outputs.

In this talk, I will explore how we can design, implement, and utilize AI models that effectively leverage the semantics of source code. By understanding and applying code semantics, we can create models that outperform state-of-the-art LLMs, often with smaller, more cost-effective models. Join me as we uncover how semantic-aware AI models can revolutionize software engineering, providing robust, dependable, and advanced tools for developers.

Baishakhi Ray is an Associate Professor of Computer Science at Columbia University. She works at the intersection of AI, Software Engineering, and Security. She received her Ph.D. degree from the University of Texas, Austin. She has received the IEEE TCSE Rising Star, NSF CAREER, IBM faculty, and VMWare Faculty awards. She is also an Amazon Visiting Academic. Her research has been acknowledged by many Distinguished Papers awards including FSE’17, ASE’22, ISSTA’23, the ICSME Most Influential Paper award, and has also been published in CACM Research Highlights and has been widely covered in trade media.

Tue 16 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Opening Day2 + Keynote2 + AIware for Domain-specific ApplicationsLate Breaking Arxiv Track / Main Track at Mandacaru
Chair(s): Jie M. Zhang King's College London
09:00
5m
Day opening
Opening for day 2
Main Track

09:05
45m
Keynote
Semantic-Aware AI: Elevating the Future of Software Development
Main Track
Baishakhi Ray Columbia University, New York; AWS AI Lab
09:50
10m
Paper
SolMover: Smart Contract Code Translation Based on Concepts
Main Track
Rabimba Karanjai University of Houston, Lei Xu Kent State University, Weidong Shi University of Houston
DOI
10:00
5m
Paper
The Art of Programming: Challenges in Generating Code for Creative ApplicationsAIware Best Vision Paper Award
Main Track
Michael Cook King’s College London
DOI
10:05
5m
Paper
Neuro-Symbolic Approach to Certified Scientific Software Synthesis
Main Track
Hamid Bagheri University of Nebraska-Lincoln, Mehdi Mirakhorli Rochester Institute of Technology, Mohamad Fazelnia University of Hawaii at Manoa, Ibrahim Mujhid University of Hawaii at Manoa, Md Rashedul Hasan University of Nebraska-Lincoln
DOI
10:10
5m
Paper
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
Late Breaking Arxiv Track
Erblin Isaku Simula Research Laboratory, and University of Oslo (UiO), Christoph Laaber Simula Research Laboratory, Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway
Pre-print
10:15
15m
Live Q&A
Session Q&A and topic discussions
Main Track