Program Analysis

Recent momentum

-60%

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

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

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-21

1 new paper

A weekly snapshot of new work published in Program Analysis.

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