--- title: "Proceedings of the ACM on Programming Languages — journal" description: "Proceedings of the ACM on Programming Languages: 4 works in the Elamur Research library (2018–2024), 678 citations; its topics, authors…" canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/) [home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / Proceedings of the ACM on Programming Languages # Proceedings of the ACM on Programming Languages Journal Published by [Association for Computing Machinery](https://md.research.elamur.ai/free/en/publishers/association-for-computing-machinery/) - [Website](https://pacmpl.acm.org/index.cfm) - [OpenAlex](https://openalex.org/S4210216081) - [Wikidata](https://www.wikidata.org/wiki/Q93356659) - [ISSN 2475-1421](https://portal.issn.org/resource/ISSN/2475-1421) [**4** works in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/#works) · [**678** citations of these works](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/#works) · [**31** citations in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/#works) · [**2018–2024** years of the works here](#years) ## Works by year Works in our library by year 4 dated works from 2018 to 2024; the busiest year is 2018 with 1. **The numbers** | Year | Works | | --- | --- | | 2024 | 1 | | 2020 | 1 | | 2019 | 1 | | 2018 | 1 | ## 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 [**2024** 1 paper](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/) · [**2020** 1 paper](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2020/) ### 2010s [**2019** 1 paper](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2019/) · [**2018** 1 paper](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/) ## Top topics Topics of its works in our library, with the number of works on each. [Code & programming languages (1)](https://md.research.elamur.ai/free/en/topics/code-and-programming/) ## Fields [Computer Science (4)](https://md.research.elamur.ai/free/en/shelves/computer-science/) ## Top authors Authors with a page who published here most often: their works here, and the citations of those works. [🧑‍🔬**Satish Chandra**1 work here · 234 citations](https://md.research.elamur.ai/free/en/authors/satish-chandra/) · [🧑‍🔬**Chenyuan Yang**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/chenyuan-yang/) · [🧑‍🔬**Fan Yang**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/fan-yang/) · [🧑‍🔬**Md Rakib Hossain Misu**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/md-rakib-hossain-misu/) · [🧑‍🔬**Shuai Lu**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/shuai-lu/) · [🧑‍🔬**Shuvendu Lahiri**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/shuvendu-lahiri/) · [🧑‍🔬**Yeyun Gong**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/yeyun-gong/) ## Top institutions Institutions on the bylines of its works here, by the number of works. [🏢**Microsoft** Redmond · United States 1 work here](https://md.research.elamur.ai/free/en/companies/microsoft/) · [🎓**University of Illinois Urbana-Champaign** Urbana · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-illinois-urbana-champaign/) · [🎓**University of Toronto** Toronto · Canada 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-toronto/) · [🎓**University of California, Irvine** Irvine · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-california-irvine/) · [🎓**University of California San Diego** San Diego · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-california-san-diego/) · [🎓**University of Chicago** Chicago · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-chicago/) · [🏢**Meta (United Kingdom)** London · United Kingdom 1 work here](https://md.research.elamur.ai/free/en/companies/meta-united-kingdom/) · [🏢**Microsoft Research Asia** Beijing · China 1 work here](https://md.research.elamur.ai/free/en/companies/microsoft-research-asia/) · [🏢**Meta** Menlo Park · United States 1 work here](https://md.research.elamur.ai/free/en/companies/meta/) · [🔬**Max Planck Institute for Software Systems** Saarbrücken · Germany 1 work here](https://md.research.elamur.ai/free/en/labs/max-planck-institute-for-software-systems/) · [🎓**Columbia University** New York · United States 1 work here](https://md.research.elamur.ai/free/en/universities/columbia-university/) · [🎓**Delft University of Technology** Delft · Netherlands 1 work here](https://md.research.elamur.ai/free/en/universities/delft-university-of-technology/) ## Works in our library (4) The most cited first (OpenAlex citations plus our library's). 1. **[RustBelt: Securing the Foundations of the Rust Programming Language](https://md.research.elamur.ai/free/en/papers/jung-2018-rustbelt-securing-foundations-rust-programming/) Proceedings of the ACM on Programming Languages**Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, et al.*2018 · 378 citations* 2. **[Getafix: Learning to Fix Bugs Automatically](https://md.research.elamur.ai/free/en/papers/bader-2019-getafix-learning-fix-bugs-automatically/) Proceedings of the ACM on Programming Languages**Johannes Bader, Andrew Scott, Michael Pradel, et al.*2019 · 234 citations* 3. **[Just-in-Time Learning for Bottom-Up Enumerative Synthesis](https://md.research.elamur.ai/free/en/papers/barke-2020-just-time-learning-bottom-up/) Proceedings of the ACM on Programming Languages**Shraddha Barke, Hila Peleg, Nadia Polikarpova*2020 · 38 citations* 4. **[AutoVerus: Automated Proof Generation for Rust Code](https://md.research.elamur.ai/free/en/papers/yang-2024-autoverus-automated-proof-generation-rust/) Proceedings of the ACM on Programming Languages**Chenyuan 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.