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

📅 Works by year

Editions

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

2020s

2010s

🧭 Top topics

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

💻Code & programming languages (1)

📚 Fields

🖥️Computer Science (3)⚙️Engineering (1)

🧑‍🔬 Top authors

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

🏛️ Top institutions

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

🎓University of WashingtonSeattle · United States1 work here🎓University of UtahSalt Lake City · United States1 work here🔬Max Planck Institute for Software SystemsSaarbrücken · Germany1 work here🎓University of PennsylvaniaPhiladelphia · United States1 work here

📄 Works in our library (3)

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

1. Finding and Understanding Bugs in C CompilersProceedings of the ACM SIGPLAN Conference on Programming Language Design and ImplementationXuejun Yang, Yang Chen, Eric Eide, et al.2011 · 816 citations
2. Type-and-Example-Directed Program SynthesisProceedings of the ACM SIGPLAN Conference on Programming Language Design and ImplementationPeter-Michael Osera, Steve Zdancewic2015 · 198 citations
3. Synthesizing Structured CAD Models with Equality Saturation and Inverse TransformationsProceedings of the ACM SIGPLAN Conference on Programming Language Design and ImplementationChandrakana 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.

This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/