Journal Selection & Manuscript Polishing Services
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.
186
days
Formal Autograding in a Classroom (Extended Version)
AuthorsDragana Milovančević; Samuel Chassot; Mario Bucev; Marcin Wojnarowski; Viktor Kunčak
Affiliations1. EPFL, Lausanne, Switzerland and Imperial College London, London, UK; 2. EPFL, Lausanne, Switzerland
201
days
Cut-Shortcut Whole-Program Pointer Analysis: Re-Imagining Context-Sensitivity without Contexts
AuthorsShengyuan Yang; Wenjie Ma; Thomas Reps; Tian Tan; Yue Li
Affiliations1. 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
days
Coma , an Intermediate Verification Language with Explicit Abstraction Barriers
AuthorsAndrei Paskevich; Paul Patault; Jean-Christophe Filliâtre
Affiliations1. 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
days
The Linear Session Abstract Machine
AuthorsLuís Caires; Bernardo Toninho
Affiliations1. Computer Science and Engineering Department, Universidade de Lisboa Instituto Superior Técnico, Lisbon, Portugal and INESC-ID, Lisbon, Portugal
259
days
Vy ZX: Formal Verification of a Graphical Quantum Language
AuthorsAdrian Lehmann; Ben Caldwell; Bhakti Shah; William Spencer; Robert Rand
Affiliations1. 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
days
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
AuthorsDanel 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
Affiliations1. 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
days
A Typed Intermediate Representation for Dynamic Languages
AuthorsMickaël Laurent; Jakob Hain; Filip Křikava; Sebastián Krynski; Jan Vitek
Affiliations1. 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
days
Fair Termination of Asynchronous Binary Sessions
AuthorsLuca Padovani; Gianluigi Zavattaro
Affiliations1. 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
days
Guiding LLM-Based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
AuthorsTianchi Li; Zhenyu Yan; Junhao Liu; Peng Di; Xin Zhang
Affiliations1. 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
days
StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution
AuthorsSoumik Kumar Basu; Jyothi Vedurada
Affiliations1. Indian Institute of Technology Hyderabad, Hyderabad, India
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.
Client
I work in environmental engineering and need an SCI paper published within three months. I have no grant funding or prominent co-author. Which journals could I target?
CrushSCI
Yes. We will first screen for feasibility against the 90-day deadline, then identify comparable papers without grant support or prominent co-authors. The final shortlist will prioritize research quality and journal scope.
- Suggested title
- Machine Learning and Life-Cycle Assessment for Predicting and Optimizing Carbon Emissions in Urban Wastewater Treatment
- Database shortlist
- Environmental Technology & Innovation
SampleLatest 5 valid paper samples from 2026
Average review96.4 days
Median77 days