Papers

• Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code (2026)
  Niels M\"undler-Sasahara et al.
  7.69
• Relaxed activation analysis of dataflow networks - A clock calculus for machine learning and real-time scheduling (2026)
  William Gaudelier et al.
  5.01
• AlgoBench: Benchmarking Algorithmic Adaptation in Code Generation (2026)
  Xinyuan Song et al.
  4.39
• LLVM-Bench: Benchmarking and Advancing Large Language Models for LLVM Compiler Issue Resolution (2026)
  Zhao Tian et al.
  4.39
• REFORGE: A Method for Benchmarking LLMs' Reverse Engineering Capabilities in Decompiled Binary Function Naming (2026)
  Nicolas Koller et al.
  2.00
• Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts (2025)
  Ziqiao Kong et al.
  1.61
• CrypTorch: PyTorch-based Auto-tuning Compiler for Machine Learning with Multi-party Computation (2025)
  Jinyu Liu et al.
  1.56
• Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP) (2024)
  Anil Nerode et al.
  —