#ProgrammingLanguages #ProgrammingLanguageTheory #CompilerDesign #CompilerOptimization #Interpreters #StaticAnalysis #DynamicAnalysis #TypeSystems #FormalVerification #FormalMethods #ProgramAnalysis #ProgramSynthesis #SoftwareDevelopment #SoftwareEngineering

SOAP 2026 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 4, 2026 (soap26.hotcrp.com/). More info: pldi26.sigplan.org/home/SOAP… #SOAP2026 #CallForPapers #ProgramAnalysis Co-located with #PLDI2026 in #Boulder

Code Obfuscation Against LLM-based Vulnerability Detection - arxiv.org/pdf/2512.16538 This paper provides a systematic understanding of how code obfuscation influences LLM-based vulnerability detection. Through a unified framework covering 19 techniques across layout, data flow, and control flow, we reveal that obfuscation can both hinder and enhance detection, depending on the model family, parameter scale, and vulnerability type. Our findings highlight that robustness cannot be achieved simply by enlarging models or refining prompts. Authors: Xiao Li, Yue Li, Hao Wu, Yue Zhang, Yechao Zhang, Fengyuan Xu, Sheng Zhong - @NJU1902, @ShandongU, @NTUsg #LLMSecurity #CodeObfuscation #VulnerabilityDetection #SecureCoding #AdversarialML #AppSec #SoftwareSecurity #ProgramAnalysis #CodeAnalysis #AIforSecurity #CybersecurityResearch #PromptSecurity

An Empirical Study of Human–LLM Teaming in Software Reverse Engineering - zionbasque.com/files/papers/… In our human study, we instrumented the SRE workflow of 48 participants (split between 24 novices and 24 experts), observing over 109 hours of SRE. Through 18 findings, we found various benefits and harms of LLMs in SRE. Remarkably, we found that LLM assistance narrows the expertise gap: novices’ comprehension rate rises by approximately 98%, matching that of experts, whereas experts gain little; however, they also had harmful hallucinations, unhelpful suggestions, and ineffective results. Known-algorithm functions are triaged up to 2.4× faster, and artifact recovery (symbols, comments, types) increases by at least 66%. Overall, our findings identify powerful synergies of humans and LLMs in SRE, but also emphasize the significant shortcomings of LLMs in their current integration. @mahal0z, @AnantaSoneji, @cl4sm, @adamdoupe, @Zardus, Ruoyu Wang, @losiouk, Samuele Doria, @packm4d - @ASU, @UniPadova, @EURECOM #Decompilation #ReverseEngineering #BinaryAnalysis #ProgramAnalysis #Cybersecurity #SoftwareSecurity #LLMSecurity #AIforSecurity #UsableSecurity #HumanFactors #VulnerabilityResearch #AcademicSecurity

#CFP: Applications for Bloomberg’s 2025-2026 #Infrastructure & #Security Ph.D. #Fellowship are now being accepted. Submission Deadline: Friday, July 18, 2025 (11:59 PM AoE) bloom.bg/3HLdfmO #InfoSec #supplychainsecurity #ProgramAnalysis #BugFinding

SOAP 2025 is accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 3rd, 2025 (soap25.hotcrp.com). More info here 👉 pldi25.sigplan.org/home/SOAP… #SOAP2025 #CallForPapers #ProgramAnalysis Co-located with #PLDI2025 in #Seoul.

Kicking off 2025 this coming Thursday, Jan 23, with a talk full of practical advice for #SystemUpgrade by @DarrenPMeyer from @EndorLabs at @Microsoft-Chicago #DevSecOps #OpenSourceSecurity #ProgramAnalysis #DependencyUpgrade meetup.com/chicagojug/events…

Our work on detecting supply-chain attacks using program analysis is accepted in @ICSEconf SEIP Track. We present an inter-package program analysis technique to detect malicious packages in the Python ecosystem. #SupplyChain #ProgramAnalysis #MalwareDetection #ICSE #SEIP

The Codellm-Devkit: A Framework To Contextualize Code #LLMs with #ProgramAnalysis Insights Tool Demo #TechnicalBriefing at #icse2025 will present an open-source library that simplifies performing program analysis at various levels of granularity. See more: conf.researchr.org/info/icse…

@iitmadras congratulates Prof. Krishna Nandivada from the Department of Computer Science and Engineering, #IITMadras, on being jointly awarded the Faculty of the Year Award 2024 by the #IBM Center for Advanced Studies. This recognition highlights Prof. Nandivada’s exceptional contributions to compiler technologies, high-performance #computing, and #programanalysis. His work bridges academia and industry, focusing on multicore systems and modern compiler optimisation techniques. We are delighted to see his efforts recognised globally and look forward to his continued contributions to the field! @IBM #IITMadras #FacultyExcellence #IBM #ComputerScience #ResearchInnovation

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

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

angr for real-world use cases #angr #realworld #debugging #windows #programanalysis plowsec.github.io/angr-intro…

I wrote an article about “Why Static analysis will not resolve your performance problem?” I briefly discussed Static Analysis in that article and compared it with Dynamic Analysis from a performance perspective. In my last article, I focused on these two approaches for Program Analysis and compared them in detail in all aspects, not only performance: #ProgramAnalysis #DynamicAnalysis #StaticAnalysis itnext.io/static-analysis-vs…

For #ACSAC2023 we have seven different pre-conference workshop with topics ranging from #IndustrialControlSystems, IoT, #ThreatIntelligence, #ProgramAnalysis, # ProgramVerification, #Forensics, #IncidentResponse, #BlockchainSecurity, to #InsiderThreats. acsac.org/2023/workshops/

Fuzztruction - Prototype Of A Fuzzer That Does Not Directly Mutate Inputs (As Most Fuzzers Do) But Instead Uses A So-Called Generator Application To Produce An Input For Our Fuzzing Target #Fuzztruction #ProgramAnalysis #Scripts #Shells dlvr.it/Sq8JxF

Hi all! Share our congrats to Sattler et al. for their paper: "SEAL: Integrating Program Analysis and Repository Mining" accepted at #goTOSEM! #SoftwareEngineering #programAnalysis #repositoryMining

amazon.in/dp/B0BW9NX7H9 #AutomatedReasoning #SoftwareDevelopment #AI #MachineLearning #Logic #FormalVerification #Programming #Algorithms #ComputationalLogic #KnowledgeRepresentation #Ontologies #TheoremProving #ComputerScience #ArtificialIntelligence #AutomatedTheoremProving #SoftwareEngineering #FormalMethods #Mathematics #Verification #ModelChecking #ProgrammingLanguages #FunctionalProgramming #TypeTheory #ProgramAnalysis #SoftwareVerification #Proofs #AutomatedProofs #LogicProgramming #Semantics