Elamur Research⌕
☰
home / venues / Proceedings of the ACM on Programming Languages

Proceedings of the ACM on Programming Languages

JournalPublished by Association for Computing Machinery

WebsiteOpenAlexWikidataISSN 2475-1421

 4works in our library 678citations of these works 31citations in our library 2018–2024years of the works here

 Works by year

Works in our library by year

4 dated works from 2018 to 2024; the busiest year is 2018 with 1.

Works in our library by year12018: 120182019: 120192020: 120202021: 020212022: 020222023: 020232024: 12024
The numbers
YearWorks
20241
20201
20191
20181

Volumes by year

Each year with works in our library has its page: the place and dates where known, its works, topics, authors and institutions.

2020s

20241 paper20201 paper

2010s

20191 paper20181 paper

 Top topics

Topics of its works in our library, with the number of works on each.

Code & programming languages (1)

 Fields

Computer Science (4)

 Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

🧑‍🔬Satish Chandra1 work here · 234 citations🧑‍🔬Chenyuan Yang1 work here · 28 citations🧑‍🔬Fan Yang1 work here · 28 citations🧑‍🔬Md Rakib Hossain Misu1 work here · 28 citations🧑‍🔬Shuai Lu1 work here · 28 citations🧑‍🔬Shuvendu Lahiri1 work here · 28 citations🧑‍🔬Yeyun Gong1 work here · 28 citations

 Top institutions

Institutions on the bylines of its works here, by the number of works.

🏢MicrosoftRedmond · United States1 work here🎓University of Illinois Urbana-ChampaignUrbana · United States1 work here🎓University of TorontoToronto · Canada1 work here🎓University of California, IrvineIrvine · United States1 work here🎓University of California San DiegoSan Diego · United States1 work here🎓University of ChicagoChicago · United States1 work here🏢Meta (United Kingdom)London · United Kingdom1 work here🏢Microsoft Research AsiaBeijing · China1 work here🏢MetaMenlo Park · United States1 work here🔬Max Planck Institute for Software SystemsSaarbrücken · Germany1 work here🎓Columbia UniversityNew York · United States1 work here🎓Delft University of TechnologyDelft · Netherlands1 work here

 Works in our library (4)

The most cited first (OpenAlex citations plus our library's).

  1. RustBelt: Securing the Foundations of the Rust Programming LanguageProceedings of the ACM on Programming LanguagesRalf Jung, Jacques-Henri Jourdan, Robbert Krebbers, et al.2018 · 378 citations
  2. Getafix: Learning to Fix Bugs AutomaticallyProceedings of the ACM on Programming LanguagesJohannes Bader, Andrew Scott, Michael Pradel, et al.2019 · 234 citations
  3. Just-in-Time Learning for Bottom-Up Enumerative SynthesisProceedings of the ACM on Programming LanguagesShraddha Barke, Hila Peleg, Nadia Polikarpova2020 · 38 citations
  4. AutoVerus: Automated Proof Generation for Rust CodeProceedings of the ACM on Programming LanguagesChenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, et al.2024 · 28 citations

Venues, publishers and identifiers from OpenAlex (2026-10-14) and the ACL Anthology; yearly proceedings are counted as one series.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/