Semantic-Aware AI: Elevating the Future of Software Development
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 JulDisplayed 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 5mDay opening | Opening for day 2 Main Track | ||
09:05 45mKeynote | Semantic-Aware AI: Elevating the Future of Software Development Main Track Baishakhi Ray Columbia University, New York; AWS AI Lab | ||
09:50 10mPaper | 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 5mPaper | The Art of Programming: Challenges in Generating Code for Creative Applications Main Track Michael Cook King’s College London DOI | ||
10:05 5mPaper | 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 5mPaper | 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 15mLive Q&A | Session Q&A and topic discussions Main Track |