CrushSCI reveals real review times for each journal, giving authors transparent guidance for submission. As AI makes publishing increasingly challenging, the platform helps authors improve submission efficiency. Contact us if you need assistance.
Computer Science
Computer Science
Back to journal directory
Review Cycle Records
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Paper Review Records
All Paper Review Records
10 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
256
days
A Typed Intermediate Representation for Dynamic Languages
Authors
Mickaël Laurent; Jakob Hain; Filip Křikava; Sebastián Krynski; Jan VitekShow moreShow less
Affiliations
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 RepublicShow moreShow less
167
days
Fair Termination of Asynchronous Binary Sessions
Authors
Luca Padovani; Gianluigi ZavattaroShow moreShow less
Affiliations
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, FranceShow moreShow less
270
days
Guiding LLM-Based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
Authors
Tianchi Li; Zhenyu Yan; Junhao Liu; Peng Di; Xin ZhangShow moreShow less
Affiliations
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, ChinaShow moreShow less
302
days
StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution
Authors
Soumik Kumar Basu; Jyothi VeduradaShow moreShow less
Affiliations
1. Indian Institute of Technology Hyderabad, Hyderabad, IndiaShow moreShow less
Expert Matching · Case Demo
Turn Your Submission Goalsinto a Verifiable Journal Plan
Share your field, deadline, and author profile. CrushSCI uses real review records to suggest a title direction, shortlist journals, and estimate timelines.