Subscribe to RSS Feed (Opens in New Window)
| 2025 | ||
| Tuesday, January 7th | ||
| 12:00 AM |
Accelerating Verification and Software Standards Testing (AVASST) with Large Language Models (LLMs) Shen Zhang, Carnegie Mellon University Hilton Waikoloa Village, Hawaii 12:00 AM - 12:00 AM |
|
|---|---|---|
| 12:00 AM |
Introduction to the Minitrack on Use of LLMs for Program Analysis and Generation Douglas Schmidt, Vanderbilt University Hilton Waikoloa Village, Hawaii 12:00 AM - 12:00 AM |
|
| 12:00 AM |
Using LLMs to Adjudicate Static-Analysis Alerts Lori Flynn, Carnegie Mellon University Hilton Waikoloa Village, Hawaii 12:00 AM - 12:00 AM |
|