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
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: 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!
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.