← 返回期刊列表
Review Cycle Records
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
数据更新 2026-07-16 · 完整周期 10 篇 · 日期来源可逐条复核
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS已收录10篇完整论文周期样本，平均审稿254.1 天，中位审稿228.5 天。2025中科院2区，非OA，2025发文量20。页面含论文收到日期、录用日期、PDF、DOI和出版社网页溯源入口。
Latest Papers
最新发表论文审稿周期
审稿天数=录用日期-收到日期；保留 PDF/DOI/网页源链接
594
天
259
天
Vy ZX: Formal Verification of a Graphical Quantum Language
作者Adrian Lehmann; Ben Caldwell; Bhakti Shah; William Spencer; Robert Rand
作者单位1. Computer Science, The University of Chicago, Chicago, Illinois, USA; 2. Computer Science, University of St. Andrews, St. Andrews, United Kingdom of Great Britain and Northern Ireland
186
天
153
天
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
作者Danel Ahman; Karthikeyan Bhargavan; Barry Bond; Jay Bosamiya; Christopher Brzuska; Antoine Delignat-Lavaud; Cédric Fournet; Aymeric Fromherz; Sydney Gibson; Chris Hawblitzel; Cătălin Hrițcu; Markulf Kohlweiss; Guido Martínez; Haobin Ni; Bryan Parno; Jonathan Protzenko; Tahina Ramananandro; Aseem Rastogi; Exequiel Rivas; Nikhil Swamy; Santiago Zanella-Béguelin
作者单位1. University of Tartu, Tartu, Estonia; 2. INRIA, Le Chesnay, France; 3. Self Employed, Redmond, Washington, USA; 4. Microsoft Research, Redmond, Washington, USA; 5. Aalto University, Aalto, Finland; 6. Microsoft UK Ltd—Reading, Cambridge, United Kingdom of Great Britain and Northern Ireland; 7. Microsoft UK Ltd.—Reading, Cambridge, United Kingdom of Great Britain and Northern Ireland; 8. INRIA, Paris, France; 9. ZeroRISC, Pittsburgh, Pennsylvania, USA; 10. MPI-SP, Bochum, Germany; 11. University of Edinburgh, Edinburgh, United Kingdom of Great Britain and Northern Ireland; 12. University of Washington, Seattle, Washington, USA; 13. Carnegie Mellon University, Pittsburgh, Pennsylvania, USA; 14. Microsoft Corporation, Redmond, Washington, USA; 15. Microsoft Research India, Bengaluru, India; 16. Tallinn University of Technology, Tallinn, Estonia
256
天
A Typed Intermediate Representation for Dynamic Languages
作者Mickaël Laurent; Jakob Hain; Filip Křikava; Sebastián Krynski; Jan Vitek
作者单位1. Charles University, Prague, Czech Republic; 2. Purdue University, West Lafayette, Indiana, USA; 3. Czech Technical University, Prague, Czech Republic; 4. Charles University, Prague, Czech Republic and Czech Technical University Prague, Czech Republic
201
天
153
天
167
天
Fair Termination of Asynchronous Binary Sessions
作者Luca Padovani; Gianluigi Zavattaro
作者单位1. Department of Computer Science and Engineering, University of Bologna, Bologna, Italy; 2. Department of Computer Science and Engineering, University of Bologna, Bologna, Italy and Olas Team, INRIA, Sophia-Antipolis, France
270
天
Guiding LLM-Based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
作者Tianchi Li; Zhenyu Yan; Junhao Liu; Peng Di; Xin Zhang
作者单位1. Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education and School of Computer Science, Peking University, Beijing, China; 2. Ant Group, Hangzhou, China
302
天