SIGPLAN Conferences

SIGPLAN organizes the premier conferences and workshops in the area of programming language research, providing opportunities for researchers, developers, practitioners, and students to present their latest research advances.

The conferences listed below are regularly sponsored by SIGPLAN.

Principles of Programming Languages (POPL)
Principles of Programming Languages is the premier forum for the fundamental innovations in design, definition, analysis, transformation, and implementation of programming languages, programming systems, and programming abstractions.

Programming Language Design and Implementation (PLDI)
Programming Language Design and Implementation is the premier forum for research on programming language design and implementation.

OOPSLA is the premier conference for industry and academic experts to report innovations in object technology, programmer productivity, secure and reliable software, and ultra-large scale systems.

International Conference on Functional Programming (ICFP)
The International Conference on Functional Programming is the premier forum for the design, implementations, and uses of functional programming.

Architectural Support for Programming Languages and Operating Systems (ASPLOS)
The International Conference on Architectural Support for Programming Languages and Operating Systems provides a high-quality forum for scientists and engineers to present their latest research findings in these rapidly changing fields. It has captured some of the major computer systems innovations of the past 15 years (e.g., RISC and VLIW processors, small and large-scale multiprocessors, clusters and networks-of-workstations, optimizing compilers, RAID, and network-storage system designs). ASPLOS is co-sponsored with SIGARCH and SIGOPS.

Systems, Programming, Languages, and Applications&#58 Software for Humanity (SPLASH)
The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. SPLASH is the home of several SIGPLAN conferences and symposium, including:

Compiler Construction (CC)
The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case.

Code Generation and Optimization (CGO)
The International Symposium on Code Generation and Optimization (CGO) provides a premier venue to bring together researchers and practitioners working at the interface of hardware and software on a wide range of optimization and code generation techniques and related issues. The conferences spans the spectrum from purely static to fully dynamic approaches, including techniques ranging from pure software-based methods to architectural features and support.

Dynamic Languages Symposium (DLS)
The Dynamic Languages Symposium (DLS) is a forum for discussion of dynamic languages, their implementation, and application.

Generative Programming: Concepts and Experiences (GPCE)
Generative Programming: Concepts & Experiences is a conference promoting the application and innovation of foundational techniques for supporting automatic program generation.

International Symposium on Memory Management (ISMM)
The International Symposium on Memory Management, focuses on garbage collection, dynamic storage allocation, storage management implementation techniques, plus interactions with languages and operating systems, and empirical studies of programs’ memory allocation and referencing behavior.

Languages, Compilers, and Tools for Embedded Systems (LCTES)
LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact.

Haskell Symposium (HS)
The Haskell Symposium is an annual symposium organized in affiliation with the International Conference on Functional Programming (ICFP). The purpose of the Haskell Symposium is to discuss experience with Haskell, and future developments for the language. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell.

History of Programming Languages (HOPL)
The goal of the History of Programming Languages conference is to produce an accurate historical record of programming language design and development. HOPL-IV will be held in 2020 with PLDI’20. HOPL-I was held in 1978 in Los Angeles, CA. HOPL-II was held in 1993 in Cambridge, MA. HOPL-III was held in 2007 in San Diego, CA.

Managed Programming Languages & Runtimes (MPLR)
MPLR is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems.

Onward! is a symposium on new ideas in programming and reflections on software. Welcomed are papers that propose and argue for new approaches to the creation of software as well as reflections on technology and ideas bearing on programming broadly construed.

Software Language Engineering (SLE)
The International Conference on Software Language Engineering (SLE) is devoted to the engineering principles of software languages: their design, their implementation, and their evolution.

Principles and Practices of Parallel Programming (PPOPP)
Principles and Practices of Parallel Programming provides a forum for papers on the principles and foundations of parallel programming, tools and techniques for parallel programming, and experiences in using parallel programming to solve applications problems.

Virtual Execution Environments (VEE)
The goal of the International Conference on Virtual Execution Environments is to be a first-rate research forum that brings together leading practitioners and researchers in the broad area of virtualization, which includes topics such as high-level language virtual machines (JVM, CLR, etc.), process and system virtual machines, translators, machine emulators, and simulators. Previously, research results on these topics have been scattered among a number of different venues in the languages (VM, PLDI, OOPSLA, IVME), operating systems (SOSP, OSDI, USENIX), and architecture (ASPLOS, CGO, PACT) communities.

The Programming Languages Mentoring Workshop (PLMW)
The purpose of this mentoring workshop is to encourage graduate students (PhD and MSc) and senior undergraduate students to pursue careers in programming language research. This workshop features technical sessions on cutting-edge research in programming languages and mentoring sessions on how to prepare for a research career. It brings together leaders in programming language research from academia and industry to give talks on their research areas. The workshop engages students in a process of imagining how they might contribute to our research community.

Certified Programs and Proofs (CPP)
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.