Program Analysis

Recent momentum

-83%

1 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

36 papers

Latest in Program Analysis

Open your feed →
CardsList
  1. Agentic Planning for Symbolic Execution

    Jul 31, 2026Daniel Koh Ji Yang, Yannic Noller, Corina S. Pasareanu +1Program AnalysisMock-Interface Synthesis

  2. Lifecycle-Aware Dynamic Analysis for Secure ML Model Execution

    Jun 17, 2026Gabriele Digregorio, Marco Di Gennaro, Francesco Pastore +3Malware DetectionProgram Analysis

  3. MOLOT System Card: Malicious Operational Logic Observation Transformer

    Jun 5, 2026Daniil Lopatkin, Maksim Mitrofanov, Stanislav Rakovsky +1Malware DetectionProgram Analysis

  4. LCC-LLM: Leveraging Code-Centric Large Language Models for Malware Attribution

    May 7, 2026Christopher G. Pedraza Pohlenz, Hassan Jalil Hadi, Ali Hassan +1Malware DetectionProgram Analysis

  5. FunFuzz: An LLM-Powered Evolutionary Fuzzing Framework

    May 4, 2026Mario Rodríguez Béjar, B. Romera-Paredes, Jose L. Hernández-RamosFuzzingProgram Analysis

  6. The Path Not Taken: Duality in Reasoning about Program Execution

    Apr 22, 2026Eshgin Hasanov, Md Mahadi Hassan Sibat, Santu Karmaker +1Program AnalysisDuality

  7. GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2

    Sep 17, 2025Savini Kashmira, Jayanaka Dantanarayana, Thamirawaran Sathiyalogeswaran +3PytorchHeterogeneous Graph Transformers