提供学术论文选刊润色服务
计算机科学
计算机科学
Paper Review Records
全部论文审稿周期
10 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期；保留 PDF/DOI/网页源链接
186
天
201
天
Cut-Shortcut Whole-Program Pointer Analysis: Re-Imagining Context-Sensitivity without Contexts
作者Shengyuan Yang; Wenjie Ma; Thomas Reps; Tian Tan; Yue Li
作者单位1. Computer Sciences Department, University of Wisconsin-Madison, Madison, Wisconsin, USA; 2. University of California Berkeley, Berkeley, California, USA; 3. State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China
153
天
Coma , an Intermediate Verification Language with Explicit Abstraction Barriers
作者Andrei Paskevich; Paul Patault; Jean-Christophe Filliâtre
作者单位1. Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, LMF, Gif-sur-Yvette, France; 2. CNRS, Université Paris-Saclay, ENS Paris-Saclay, Inria, LMF, Gif-sur-Yvette, France
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
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
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
天
Expert Matching · Case Demo
把投稿要求，转成可验证的期刊方案
说清专业、时限和作者背景，CrushSCI 结合真实审稿样本，给出拟题方向、期刊初筛与周期判断。
客户询问
我是环境工程专业，需要一篇 SCI，希望 3 个月内见刊。没有基金，也没有大牛挂名，可以投哪些期刊？
CrushSCI回复
可以。先按 90 天时限做可行性筛选，同步查找无基金、无知名作者挂靠的典型论文案例，作为选刊依据。重点核对研究质量与期刊 scope。
- 拟题建议
- 《融合机器学习与生命周期评价的城市污水处理碳排放预测与优化》
样本口径2026 年最近 5 篇有效论文样本
平均审稿96.4 天
中位数77 天