This program is tentative and subject to change.
Modern software is enormous, evolving fast, integrated through long supply chains, and very demanding in both strength and versatility of how tools reason about its reliability. We believe a technology similar to X-ray, producing accurate internal knowledge fast and non-intrusively, is fundamental in taming the complexity of understanding software. Clearblue is a tool understands software in its opaque form, exploits efficient algorithms in decomposing and storing its behavior as data, provides extension power to enable versatile downstream applications. This talk covers the challenges Clearblue sets to tackle, the outline of how Clearblue works, and selected discussions of specific mechanisms of Clearblue, especially how it inter-plays with LLM.
This program is tentative and subject to change.
Mon 16 JunDisplayed time zone: Seoul change
15:40 - 17:30 | |||
15:40 60mKeynote | TBD SOAP Charles Zhang Hong Kong University of Science and Technology | ||
16:40 20mTalk | Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers SOAP Dorra Ben Khalifa University of Toulouse - ENAC, Matthieu Martel Université de Perpignan Via Domitia | ||
17:00 20mTalk | Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph Approach SOAP | ||
17:20 10mDay closing | Closing and Best Presentation Award SOAP |