REST in pieces: a controlled experiment to dissect the effects of a domain-specific language for code to cloud API migration
- Maximilian Schiedermeier
- Bettina Kemme
- Jörg Kienzle
Latest research
- in Software and Systems Modeling
StateQ: A novel framework for intuitive and accessible quantum programming
in Quantum Machine Intelligence- Jiawen Li
- Dongdong Li
- Yujian Ye
Article 09 June 2026New frontiers in large code language model security: a review of emerging adversarial threats and countermeasures
in Science China Information Sciences- Yulong Yang
- Haoran Fan
- Chao Shen
Article 09 June 2026Publicly Verifiable Deletion: General Compilers from Minimal Assumptions
in Journal of Cryptology- James Bartusek
- Dakshita Khurana
- Takashi Yamakawa
Article 29 May 2026Typed Compositional Quantum Computation with Lenses
in Journal of Automated Reasoning- Jacques Garrigue
- Takafumi Saikawa
Rigorous State-Based Methods
Conference proceedings 2026Tensor language model enables generative scheduling for efficient tensor compilation
in Scientific Reports- Sajid Mehmood
- Aqleema Arooj
- Adnan Akhunzada
Bad Programming Practices 101
- Karl Beecher
Book 2026Beyond translation: a patient-centered research agenda for artificial intelligence interpreter services in healthcare
in npj Digital Medicine- Olivia F. Lynch
- Emily E. Witt
- Gezzer Ortega
Characterization of machine learning compilers for LLM inference on NVIDIA GPUs
in The Journal of Supercomputing- Alejandro Carmona-Martínez
- Gregorio Bernabé
- José M. García
PatchTrack: A comprehensive analysis of ChatGPT’s influence on pull request outcomes
in Empirical Software Engineering- Daniel Ogenrwot
- John Businge
Badinterpreter: Backdoor attack on LLM-based interpretable recommendation
in Multimedia Systems- Bing Wang
- Jing Fang
- Shengsheng Qian
Article 06 May 2026Unlocking the power of environment assumptions for unit proofs
in Software and Systems Modeling- Siddharth Priya
- Temesghen Kahsai
- Arie Gurfinkel
Article 29 April 2026eSIG-Net: an interaction language model that decodes the protein code of single mutations
in Nature Methods- Xingxin Pan
- Aditya Shrawat
- S. Stephen Yi
Efficient gate reordering for Distributed Quantum Compiling in data centers
in EPJ Quantum Technology- Riccardo Mengoni
- Walter Nadalin
- Ioannis Lavdas
LLM-assisted end-to-end binary decompilation: a hierarchical generation and semantic reconstruction approach
in The Journal of Supercomputing- Yousuf Al-Ruqaishi
- Abdelaziz Amara Korba
- Sharifa Al Khanjari
Article 16 April 2026LEGO-compiler: enhancing neural compilation through translation composability
in CCF Transactions on High Performance Computing- Shuoming Zhang
- Jiacheng Zhao
- Huimin Cui
Article 13 April 2026Do code LLMs do static analysis?
in Empirical Software Engineering- Chia-Yi Su
- Collin McMillan
Article 10 April 2026
Related journals
International Journal of Parallel Programming, one of the oldest journals in the field, published continuously for over 25 years, is a forum for the...
- Publishing model
- Hybrid
- Journal Impact Factor
- 0.9 (2024)
- Downloads
- 93,045 (2025)
- Submission to first decision(median)
- 46 days
Journal
Acta Informatica
Acta Informatica is publishing original papers in all areas covering the mathematical foundations of Computer Science. We solicit both research...
- Publishing model
- Hybrid
- Journal Impact Factor
- 0.5 (2024)
- Downloads
- 89,895 (2025)
- Submission to first decision(median)
- 11 days
Journal
Empirical Software Engineering
Empirical Software Engineering provides a forum for applied software engineering research with a strong empirical component. Over the last decade, it...
- Publishing model
- Hybrid
- Journal Impact Factor
- 3.6 (2024)
- Downloads
- 1,103,599 (2025)
- Submission to first decision(median)
- 24 days