---
title: "Proceedings of the ACM SIGPLAN Conference on Programming"
description: "Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 3 works in the Elamur Research…"
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / Proceedings of the ACM SIGPLAN Conference on Programming…

# Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

Conference series

- [OpenAlex](https://openalex.org/S4393917474)
- [ISSN 1531-7102](https://portal.issn.org/resource/ISSN/1531-7102)

[**3** works in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/#works) · [**1,091** citations of these works](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/#works) · [**49** citations in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/#works) · [**2011–2020** years of the works here](#years)

## Works by year

Works in our library by year 3 dated works from 2011 to 2020; the busiest year is 2011 with 1.

**The numbers**

| Year | Works |
| --- | --- |
| 2020 | 1 |
| 2015 | 1 |
| 2011 | 1 |

## Editions

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

### 2020s

[**2020** 1 paper](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2020/)

### 2010s

[**2015** 1 paper](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2015/) · [**2011** 1 paper](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/)

## 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 (3)](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Engineering (1)](https://md.research.elamur.ai/free/en/shelves/engineering/)

## Top authors

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

[🧑‍🔬**Yang Chen**1 work here · 816 citations](https://md.research.elamur.ai/free/en/authors/yang-chen/)

## Top institutions

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

[🎓**University of Washington** Seattle · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-washington/) · [🎓**University of Utah** Salt Lake City · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-utah/) · [🔬**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/) · [🎓**University of Pennsylvania** Philadelphia · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-pennsylvania/)

## Works in our library (3)

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

1. **[Finding and Understanding Bugs in C Compilers](https://md.research.elamur.ai/free/en/papers/yang-2011-finding-understanding-bugs-c-compilers/) Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation**Xuejun Yang, Yang Chen, Eric Eide, et al.*2011 · 816 citations*
2. **[Type-and-Example-Directed Program Synthesis](https://md.research.elamur.ai/free/en/papers/osera-2015-type-example-directed-program-synthesis/) Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation**Peter-Michael Osera, Steve Zdancewic*2015 · 198 citations*
3. **[Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations](https://md.research.elamur.ai/free/en/papers/nandi-2020-synthesizing-structured-cad-models-equality/) Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation**Chandrakana Nandi, Max Willsey, Adam Anderson, et al.*2020 · 77 citations*

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