Paper Review Records
全部论文审稿周期
10 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期;保留 PDF/DOI/网页源链接
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 结合真实审稿样本,给出拟题方向、期刊初筛与周期判断。
