#SoftwareReliability #SoftwarePerformance #CodeAnalysis #StaticAnalysis #DynamicAnalysis #ProgramVerification #ModelDrivenEngineering #FormalMethods #ProgrammingLanguages #ObjectOrientedDesign #MicroservicesArchitecture #DistributedSystems #CloudComputing #EdgeComputing

Agentic proving for program verification. ~ Alessandro Sosso, Akhil Arora, Bas Spitters. arxiv.org/abs/2605.23772 #LeanProver #ProgramVerification

NSAD will be back in 2026, co-located with SPLASH/ISSTA and SAS 🎉. Looking forward to seeing your work on abstract domains: conf.researchr.org/home/spla… Stay tuned for more details! #NSAD #StaticAnalysis #AbstractInterpretation #ProgramVerification #SPLASH2026

🎉 **Thrilled to announce** that our paper **"VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus"** (arXiv:2510.25015) has been **accepted to #TACAS2026**! 🚀 📊 **Key results** — VeriStruct tackles complex Rust data-structure modules in Verus and crushes the benchmarks: - Successfully verifies **10 out of 11** modules - Verifies **128 out of 129** functions overall (**99.2%** coverage!) - Baselines manage only **4/11** modules and **52** functions 🤖 Compared to **Claude Code (Sonnet 4.5)** (which uses autonomous Verus calls): - Claude verifies **102** functions across **8** benchmarks - VeriStruct still outperforms it — with **~22k tokens per benchmark** vs. **~24k** for Claude 🚀 Takeaway: **Structured AI workflows beat single-shot prompting** — delivering better verification coverage, higher success rates, and comparable (or even lower) token costs! Huge thanks to my amazing co-authors: Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu Lahiri, Shan Lu, David Dill, and Clark Barrett! Paper: arxiv.org/abs/2510.25015 Code: github.com/ChuyueSun/VeriStr… #FormalVerification #AI4Code #Verus #ProgramVerification #TACAS2026 #RustLang

𝐌𝐞𝐞𝐭 𝐏𝐫𝐨𝐟. 𝐔𝐝𝐚𝐲 𝐏. 𝐊𝐡𝐞𝐝𝐤𝐞𝐫 𝐟𝐫𝐨𝐦 𝐈𝐈𝐓 𝐁𝐨𝐦𝐛𝐚𝐲 A leading expert in programming languages, compilers, and program analysis — and a distinguished program committee chair. With a rich academic background, his contributions continue to advance computer science education and research. Learn more: compilertech.org #ProgrammingLanguages #CompilerTech #ProgramVerification #IITBombay #StaticAnalysis #IISCBangalore #CompilerTechnology #IICT2025

🧠 Seznamte se poslední květnový týden s trendy současného IT při obhajobách disertačních prací na FIT VUT 📅 26. 5. 2025 a 29. 5. 2025, místnost G108, FIT VUT 🔗 fit.vut.cz/fit/news/d29086 #FITVUT #AI #MachineLearning #ProgramVerification

Excited to see everyone tomorrow at the Innovation In Compiler Technology Workshop 2024! Check out the schedule for Day 1 and Day 2 Visit compilertech.org/ for more details. Let’s innovate together! #CompilerTech2024 #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CompilerTech #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #CompilerWorkshop2024 #ProgramVerification #rustc #cplusplus #bangalore #SoftwareDevelopment #OpenSource #nvidia

Step into the future of compiler tech with @nvidia as a proud 𝐆𝐨𝐥𝐝 𝐓𝐢𝐞𝐫 𝐬𝐩𝐨𝐧𝐬𝐨𝐫! Join us on the 28th & 29th of September at @DayanandaOf for the Innovation in Compiler Technology Workshop 2024. Visit here- compilertech.org/ #CompilerTech2024 #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CompilerTech #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #CompilerWorkshop2024 #ProgramVerification #rustc #cplusplus #bangalore #SoftwareDevelopment #OpenSource #nvidia

Gain valuable insights with Supratik Chakraborty as he dives into the crucial topic of Translation Validation. Register here- compilertech.org 🗓️ Day 2- September 29th 🕒 2:00 PM - 3:00 PM 📍@DayanandaOf #TranslationValidation #CompilerCorrectness #SupratikChakraborty #InsightfulLearning #CompilerTechnologyWorkshop2024 #TechTalk #ProgramVerification #InnovationInTech #TechInnovation #SoftwareSecurity #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #ProgramVerification #bangalore #SoftwareDevelopment #llvm #gcc

Mark your calendars for the Innovations in Compiler Technology Workshop 2024 on September 28th & 29th! Catch 𝐏𝐫𝐨𝐟. 𝐌𝐚𝐧𝐚𝐬 𝐓𝐡𝐚𝐤𝐮𝐫 𝐟𝐫𝐨𝐦 𝐈𝐈𝐓 𝐁𝐨𝐦𝐛𝐚𝐲 𝐨𝐧 𝐃𝐚𝐲 2 for an exclusive keynote talk on Optimizations for Object-Oriented Programs. Register here- compilertech.org 🗓️ Date: September 29th (Day 2) 🕘 Time: 9:00 AM - 10:00 AM 📍 Venue: @DayanandaOf #IITBombay #CompilerTech #ProgramAnalysis #SoftwareInnovation #ResearchExcellence #CompilerTechnology2024 #Innovation #AI #TechLeaders #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #ProgramVerification #bangalore #SoftwareDevelopment #llvm #gcc

Happy Engineer's Day to all the innovators in compiler technology! From performance optimizations to ensuring seamless program execution, engineers are at the forefront of creating efficient, scalable systems that drive innovation in the tech world. Join us for the Innovations in Compiler Technology Workshop 2024 and continue pushing the boundaries of what's possible in compiler design and optimization. Register here- compilertech.org/ 🗓️ Date: September 28th & 29th 📍 Venue: Dayananda Sagar College of Engineering, Bengaluru Let’s shape the future of compiler technology together! #EngineersDay #CompilerTechnology #InnovationInTech #TechHeroes #CompilerWorkshop2024 #EngineeringExcellence #FutureOfCompilers #DeepLearning #TechInnovation #SoftwareSecurity #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #ProgramVerification #bangalore #SoftwareDevelopment #llvm #gcc #IITBombay #CompilerTech #ProgramAnalysis #SoftwareInnovation #ResearchExcellence

𝐀𝐜𝐭 𝐟𝐚𝐬𝐭—𝐫𝐞𝐠𝐢𝐬𝐭𝐫𝐚𝐭𝐢𝐨𝐧 𝐜𝐥𝐨𝐬𝐞𝐬 𝐬𝐨𝐨𝐧! Attendees, we’ve got you covered! To ensure a smooth and enjoyable experience at the Innovation in Compiler Technology Workshop 2024, we’re providing travel assistance for students traveling from outside the city. Plus, you can look forward to delicious breakfast, lunch, and refreshments throughout the day at the venue. All you need to do is focus on learning and networking! Register here- compilertech.org 🗓️ September 28th & 29th 📍 @DayanandaOf #CompilerTechnology2024 #Innovation #AI #TechLeaders #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #ProgramVerification #bangalore #SoftwareDevelopment #llvm #gcc #IITBombay #CompilerTech #ProgramAnalysis #SoftwareInnovation #ResearchExcellence

Join us for an engaging session on DL4Compilers: Turbo-charging Compiler Optimizations via Deep Learning with Dibyendu Das, Senior Principal Engineer at Intel, and Prof. Ramakrishna Upadrasta from IIT Hyderabad. Discover how deep learning is transforming compiler optimizations and revolutionizing programming languages. If you're passionate about compiler technology and innovations in deep learning, this talk is a must-attend! Register here- compilertech.org Day 1: September 28th Time: 4:20 PM - 5:35 PM Venue @DayanandaOf #DeepLearning #CompilerOptimization #DL4Compilers #Intel #IITHyderabad #Web3 #CompilerTechnologyWorkshop2024 #InnovationInTech #KeynoteTalk #Innovation #AI #TechLeaders #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #ProgramVerification #bangalore #SoftwareDevelopment #llvm #gcc

Don't miss the keynote talk by Dr. Saurabh Joshi, Principal Researcher at SupraOracles, as he covers the exciting topic of Web3 and Program Analysis. With extensive experience in blockchain technology and program analysis, Dr. Joshi will share his insights on how these cutting-edge concepts shape the future of decentralized ecosystems. Perfect for compiler enthusiasts who want to explore Web3 space. Register here- compilertech.org/ 🗓️ Date: DAY 1, September 28th 🕒 Time: 2:00 PM - 2:30 PM 📍 Venue: @DayanandaOf #Web3 #ProgramAnalysis #BlockchainTechnology #BlockchainOracles #SupraOracles #InnovationInTech #KeynoteTalk #ProgramAnalysis #SoftwareInnovation #ResearchExcellence #CompilerTechnology2024 #Innovation #AI #TechLeaders #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #ProgramVerification #bangalore #SoftwareDevelopment #llvm #gcc

Kick-off Day 1 of the Innovations in Compiler Technology Workshop 2024 with Professor @ukrb84 insightful keynote on Building Compilers for AI Programming Frameworks! Explore how compilers are transforming AI development and shaping the future of intelligent technologies. Register here- compilertech.org/ 🗓️ September 28th (Day 1) 🕤 9:30 AM - 10:30 AM 📍 @DayanandaOf Don’t miss this deep dive into the intersection of AI and compilers! 💡 #AICompilers #TechInnovation #CompilerTech2024 #AIProgramming #KeynoteTalk #CompilerTechnology2024 #Innovation #AI #TechLeaders #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #ProgramVerification #bangalore #SoftwareDevelopment #llvm #gcc

Join leading professors and industry experts at the Innovations in 𝐂𝐨𝐦𝐩𝐢𝐥𝐞𝐫 𝐓𝐞𝐜𝐡𝐧𝐨𝐥𝐨𝐠𝐲 𝐖𝐨𝐫𝐤𝐬𝐡𝐨𝐩 2024. Dates: September 28th & 29th Location: @DayanandaOf Register here: compilertech.org, Seize the opportunity to learn, network, and drive innovation. #CompilerTech2024 #Innovation #AI #TechLeaders #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CompilerTech #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #ProgramVerification #bangalore #SoftwareDevelopment #llvm #gcc

On this Teachers' Day, we honor the brilliant minds shaping the future of technology! Meet esteemed professors and industry experts at the Compiler Technology Workshop 2024. Register Here- compilertech.org/ Join us on September 28th and 29th at @DayanandaOf to learn, connect, and innovate together. Let's celebrate those who inspire and educate! 🌟 #TeachersDay #CompilerTech2024 #Innovation #AI #TechLeaders #CompilerTech2024 #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CompilerTech #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #ProgramVerification #rustc #bangalore #SoftwareDevelopment

Welcome Prof. Uday Reddy Bondhugula, Mindtree Chair Professor at IISc, as a committee member for the Compiler Technology Workshop 2024! With his expertise in high-performance compiler technologies and experience at IBM and Google, his insights on AI and parallelization will be invaluable. Don't miss the chance to connect with him and gain valuable knowledge in the field of compiler technologies. Save the dates: September 28th and 29th! Register here- compilertech.org/ #CompilerTech2024 #IISc #DeepLearning #TechInnovation #SoftwareSecurity #CompilerTech #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #CompilerWorkshop2024 #ProgramVerification #rustc #cplusplus #bangalore #SoftwareDevelopment #OpenSource

Explore how compilers are integral to enhancing software security! From preventing vulnerabilities to supporting secure coding practices, compilers are a key defence against cyber threats. Take advantage of the Compiler Technology Workshop 2024, where we'll dive deeper into these critical topics. Register today- compilertech.org/ 𝐒𝐚𝐯𝐞 𝐭𝐡𝐞 𝐝𝐚𝐭𝐞: 28th & 29th Sept 2024, 9AM - 5PM IST, Dayananda Sagar College of Engineering, BLR #SoftwareSecurity #CompilerTech #CyberProtection #TechWorkshop #Compilers #AI #MachineLearning #CompilerWorkshop2024 #ProgramVerification #rustc #cplusplus #bangalore #SoftwareDevelopment #OpenSource

The preprint @FSEconf is out ☀️ If you’re interested in #LLMs for #FormalMethod and #ProgramVerification, don’t miss it 😺 #FSE24 #Dafny