Proceedings of the ACM on Programming Languages 14.0k citations
1.7k papers ·
indexed · active since 1951
Topics Logic, programming, and type systems Formal Methods in Verification Parallel Computing and Optimization Techniques Overview Impact Peers Geography Research Space Peers Proceedings of the ACM on Programming Languages
Comparison fields: 5 of 151 Artificial Intelligence 8.3k Information Systems 4.4k Software 3.8k Computer Networks and Communications 3.6k Computational Theory and Mathematics 3.6k Hardware and Architecture 3.2k Signal Processing 1.9k Electrical and Electronic Engineering 779 Computer Vision and Pattern Recognition 580 Computer Science Applications 307 Information Systems and Management 298 Control and Systems Engineering 223 Management Science and Operations Research 190 Management Information Systems 149 Computational Mathematics 147 Atomic and Molecular Physics, and Optics 111 Safety Research 111 Sociology and Political Science 109 Mechanical Engineering 95 Computer Graphics and Computer-Aided Design 89 Molecular Biology 88 Industrial and Manufacturing Engineering 81 Materials Chemistry 79 Radiology, Nuclear Medicine and Imaging 60 Computational Mechanics 58 Mathematical Physics 55 Human-Computer Interaction 54 Biomedical Engineering 48 Statistical and Nonlinear Physics 44 Safety, Risk, Reliability and Quality 40 Automotive Engineering 39 Health Informatics 37 Plant Science 36 Economics and Econometrics 34 Developmental and Educational Psychology 31 Geometry and Topology 30 Statistics and Probability 30 Aerospace Engineering 27 Ocean Engineering 25 Political Science and International Relations 24 Cognitive Neuroscience 24 Media Technology 23 Experimental and Cognitive Psychology 22 Genetics 21 Numerical Analysis 21 Nuclear and High Energy Physics 20 Education 19 Mechanics of Materials 17 Spectroscopy 16 Building and Construction 16 Social Psychology 15 Strategy and Management 14 Environmental Engineering 14 Civil and Structural Engineering 13 Theoretical Computer Science 12 Statistics, Probability and Uncertainty 12 Human Factors and Ergonomics 12 Ophthalmology 11 Geography, Planning and Development 11 Biophysics 10 Organic Chemistry 10 Renewable Energy, Sustainability and the Environment 10 Ecology 9 Neurology 8 Language and Linguistics 8 Global and Planetary Change 8 Transportation 7 Astronomy and Astrophysics 7 Neurology 7 Architecture 6 Emergency Medicine 6 Law 6 Demography 6 History and Philosophy of Science 6 Water Science and Technology 6 Health Information Management 6 Organizational Behavior and Human Resource Management 6 Ecology, Evolution, Behavior and Systematics 5 Atmospheric Science 5 Cardiology and Cardiovascular Medicine 5 Management, Monitoring, Policy and Law 5 Physical and Theoretical Chemistry 5 Communication 5 Industrial and Manufacturing Engineering 5 Cancer Research 5 Marketing 5 Condensed Matter Physics 4 Surgery 4 Algebra and Number Theory 4 Cellular and Molecular Neuroscience 4 Food Science 4 Insect Science 4 Occupational Therapy 3 Inorganic Chemistry 3 Physiology 3 General Economics, Econometrics and Finance 3 Oceanography 3 Endocrinology 3 Philosophy 3 Pollution 3 Applied Psychology 3 Management of Technology and Innovation 3 General Social Sciences 3 Analytical Chemistry 3 General Health Professions 3 Oncology 2 Toxicology 2 Epidemiology 2 Health, Toxicology and Mutagenesis 2 Radiation 2 Agronomy and Crop Science 2 Discrete Mathematics and Combinatorics 2 Pediatrics, Perinatology and Child Health 2 Geophysics 2 Small Animals 2 Surfaces, Coatings and Films 2 Public Health, Environmental and Occupational Health 2 Geology 2 Psychiatry and Mental health 2 Ecological Modeling 2 Modeling and Simulation 2 Pharmacology 2 Animal Science and Zoology 2 Cultural Studies 2 Bioengineering 2 Clinical Psychology 2 Visual Arts and Performing Arts 2 General Decision Sciences 2 Paleontology 1 Urban Studies 1 Microbiology 1 Applied Mathematics 1 Polymers and Plastics 1 Ceramics and Composites 1 Family Practice 1 Geochemistry and Petrology 1 Conservation 1 Fluid Flow and Transfer Processes 1 Biomaterials 1 Radiological and Ultrasound Technology 1 Chemical Health and Safety 1 Finance 1 Nature and Landscape Conservation 1 Complementary and alternative medicine 1 Developmental Biology 1 Filtration and Separation 1 Metals and Alloys 1 Transplantation 1 Gender Studies 1 Biotechnology 1 Literature and Literary Theory 1
Artificial Intelligence 8.3k Information Systems 4.4k Software 3.8k Computer Networks and Communications 3.6k Computational Theory and Mathematics 3.6k International Journal of Parallel Programming United States
Acta Informatica United States
ACM SIGMETRICS Performance Evaluation Review United States
Journal of Computer Science and Technology China
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans United States
Performance Evaluation United States
Journal of Systems Architecture China
ACM Transactions on Embedded Computing Systems United States
Information and Computation United States
Citations per field
0 0.5× 2× 4× 6× 8× 9.2×
International Journal of Parallel Programming · 1× This map shows the geographic impact of research published in Proceedings of the ACM on Programming Languages. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by papers published in Proceedings of the ACM on Programming Languages with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Proceedings of the ACM on Programming Languages more than expected).
This network shows the impact of papers published in Proceedings of the ACM on Programming Languages. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers published in Proceedings of the ACM on Programming Languages.
About Proceedings of the ACM on Programming Languages The 1.7k papers published in Proceedings of the ACM on Programming Languages in the last decades have received a total of 14.0k indexed citations . Papers published in Proceedings of the ACM on Programming Languages usually cover Software (416 papers), Hardware and Architecture (465 papers) and Computational Theory and Mathematics (625 papers) specifically the topics of Logic, programming, and type systems (840 papers), Formal Methods in Verification (525 papers) and Parallel Computing and Optimization Techniques (430 papers). The most active scholars publishing in Proceedings of the ACM on Programming Languages are Michael Pradel , Derek Dreyer , Koushik Sen , Işıl Dillig , Saman Amarasinghe , Yannis Smaragdakis , Robbert Krebbers , Martin Vechev , Nadia Polikarpova and Zhendong Su .
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive
bibliographic database. While OpenAlex provides broad and valuable coverage of the global
research landscape, it—like all bibliographic datasets—has inherent limitations. These include
incomplete records, variations in author disambiguation, differences in journal indexing, and
delays in data updates. As a result, some metrics and network relationships displayed in
Rankless may not fully capture the entirety of a scholar's output or impact.
Explore journals with similar magnitude of impact Breakdown of academic impact, for papers in International Journal of Parallel Programming Breakdown of academic impact, for papers in Acta Informatica Breakdown of academic impact, for papers in ACM SIGMETRICS Performance Evaluation Review Breakdown of academic impact, for papers in Journal of Computer Science and Technology Breakdown of academic impact, for papers in IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans Breakdown of academic impact, for papers in Performance Evaluation Breakdown of academic impact, for papers in Journal of Systems Architecture Breakdown of academic impact, for papers in ACM Transactions on Embedded Computing Systems Breakdown of academic impact, for papers in Computing Breakdown of academic impact, for papers in Information and Computation