OpenTOC (original) (raw)

ACM OpenTOC is a unique service that enables Special Interest Groups to generate and post Tables of Contents for proceedings of their conferences enabling visitors to download the definitive version of the contents from the ACM Digital Library at no charge.

Downloads of these articles are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking to definitive versions of ACM articles should reduce user confusion over article versioning.

By Year∣By Event

By Year

Languages

• Proceedings of the ACM on Programming’es: Proceedings of the ACM on Programming Languages

2026

• CC’26: Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction
• CPP’26: Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs
• PEPM’26: Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• POPL’26: Proceedings of the ACM on Programming Languages: Vol. 10, No. POPL. 2026
• PPoPP’26: Proceedings of the 31st ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming

2025

• ARRAY’25: Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
• CC’25: Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction
• CPP’25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
• CPP’25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
• CPP’25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
• Erlang’25: Proceedings of the 24th ACM SIGPLAN International Workshop on Erlang
• ExHET’25: Proceedings of the 2025 4th International Workshop on Extreme Heterogeneity Solutions
• FARM’25: Proceedings of the 13th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
• FCPC’25: Proceedings of the 1st FastCode Programming Challenge
• FUNARCH’25: Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Software Architecture
• GPCE’25: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• Haskell’25: Proceedings of the 18th ACM SIGPLAN International Haskell Symposium
• ICFP’25: Proceedings of the ACM on Programming Languages: Vol. 9, No. ICFP. 2025
• ISMM’25: Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management
• LCTES’25: Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
• LMPL’25: Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages
• MPLR’25: Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
• OLIVIERFEST’25: Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday
• OOPSLA’25: Proceedings of the 2025 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Volume 1
• OOPSLA’25: Proceedings of the 2025 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Volume 2
• Onward!’25: Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PAINT’25: Proceedings of the 4th ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
• PEPM’25: Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PEPM’25: Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PEPM’25: Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PLDI’25: Proceedings of the ACM on Programming Languages: Vol. 9, No. PLDI 2025
• PPoPP’25: Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
• PROPL’25: Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet
• SLE’25: Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
• SPLASH Companion’25: Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
• SPLASH-E’25: Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E
• Scheme’25: Proceedings of the 26th ACM SIGPLAN International Workshop on Scheme and Functional Programming
• TyDe’25: Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development
• VMIL’25: Proceedings of the 17th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages

2024

• ARRAY’24: Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
• CC’24: Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction
• CPP’24: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
• Erlang’24: Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang
• ExHET’24: Proceedings of the 3rd International Workshop on Extreme Heterogeneity Solutions
• FARM’24: Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
• FProPer’24: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Programming for Productivity and Performance
• FUNARCH’24: Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture
• GPCE’24: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• GPCE’24: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• Haskell’24: Proceedings of the 17th ACM SIGPLAN International Haskell Symposium
• Haskell’24: Proceedings of the 17th ACM SIGPLAN International Haskell Symposium
• ICFP’24: Proceedings of the ACM on Programming Languages: Vol. 8, No. ICFP. 2024
• ISMM’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management
• JENSFEST’24: Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday
• JENSFEST’24: Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday
• LCTES’24: Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
• NSAD’24: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
• NSAD’24: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
• OOPSLA’24: Proceedings of the 2024 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Volume 1
• OOPSLA’24: Proceedings of the 2024 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Volume 2
• Onward!’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PAINT’24: Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
• PAINT’24: Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
• PEPM’24: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PLDI’24: Proceedings of the ACM on Programming Languages: Vol. 8, No. PLDI. 2024
• PMAM’24: Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores
• POPL’24: Proceedings of the ACM on Programming Languages: Vol. 8, No. POPL. 2024
• POPL’24: Proceedings of the ACM on Programming Languages: Vol. 9, No. POPL. 2025
• PPoPP’24: Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
• SLE’24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering
• SLE’24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’24: Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
• SPLASH Companion’24: Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
• SPLASH-E’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E
• SPLASH-E’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E
• TyDe’24: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development
• VMIL’24: Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
• VMIL’24: Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages

2023

• ARRAY’23: Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
• ASPLOS’23: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1
• ASPLOS’23: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
• ASPLOS’23: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3
• BID’23: Proceedings of the 5th International Workshop on Benchmarking in the Data Center
• CC’23: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction
• CGO’23: Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization
• CPP’23: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
• DLS’23: Proceedings of the 19th ACM SIGPLAN International Symposium on Dynamic Languages
• Erlang’23: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang
• ExHET’23: Proceedings of the 2nd International Workshop on Extreme Heterogeneity Solutions
• FARM’23: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
• FHPNC’23: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing
• FTSCS’23: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
• FUNARCH’23: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture
• GPCE’23: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• Haskell’23: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium
• ISMM’23: Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management
• LCTES’23: Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
• MPLR’23: Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
• Onward!’23: Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PAINT’23: Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
• PEPM’23: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PLDI’23: Proceedings of the ACM on Programming Languages: Vol. 7, No. PLDI. 2023
• PMAM’23: Proceedings of the 14th International Workshop on Programming Models and Applications for Multicores and Manycores
• POPL’23: Proceedings of the 50th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• PPoPP’23: Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
• REBLS’23: Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
• SLE’23: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’23: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
• SPLASH’23: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
• SPLASH-E’23: Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E
• TyDe’23: Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development
• VMIL’23: Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages

2022

• ARRAY’22: Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
• BID’22: Benchmarking in the Data Center: Expanding to the Cloud
• CC’22: Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction
• CPP’22: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
• DLS’22: Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages
• EGRAPHS’22: Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph Research, Applications, Practices, and Human-factors
• Erlang’22: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang
• ExHET’22: Proceedings of the 1st International Workshop on Extreme Heterogeneity Solutions
• FTSCS’22: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
• GPCE’22: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• GPGPU’22: Proceedings of the 14th Workshop on General Purpose Processing using Graphics Processing Units
• Haskell’22: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium
• ISMM’22: Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management
• LCTES’22: Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
• MAPS’22: Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming
• OOPSLA’22: Proceedings of the 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• Onward!’22: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PAINT’22: Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
• PEPM’22: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PLDI’22: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
• PMAM’22: Proceedings of the Thirteenth International Workshop on Programming Models and Applications for Multicores and Manycores
• POPL’22: Proceedings of the 49th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• REBLS’22: Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
• SLE’22: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’22: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
• SPLASH Companion’22: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
• SPLASH-E’22: Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E
• Scala’22: Proceedings of the Scala Symposium
• TyDe’22: Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development
• VEE’22: Proceedings of the 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VMIL’22: Proceedings of the 14th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages

2021

• AGERE!’21: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• ARRAY’21: Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• BCNC’21: Proceedings of the 1st ACM SIGPLAN International Workshop on Beyond Code: No Code
• CPP’21: Proceedings of the 10th ACM SIGPLAN Conference on Certified Programs and Proofs
• DLS’21: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages
• DSM’21: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling
• Erlang’21: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang
• FARM’21: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FHPNC’21: Proceedings of the 9th ACM SIGPLAN Workshop on Functional High-Performance and Numerical Computing
• GPCE’21: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• Haskell’21: Proceedings of the 14th ACM SIGPLAN Symposium on Haskell
• ISMM’21: Proceedings of the 2021 ACM SIGPLAN International Symposium on Memory Management
• LCTES’21: Proceedings of the 22nd ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• MAPS’21: Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming
• MPLR’21: Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
• OOPSLA’21: Proceedings of the 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• Onward!’21: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PEPM’21: Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PLDI’21: Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLDI’21: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
• PMAM’21: Proceedings of the 12th International Workshop on Programming Models and Applications for Multicores and Manycores
• PMAM’21: Proceedings of the 12th International Workshop on Programming Models and Applications for Multicores and Manycores
• POPL’21: Proceedings of the 48th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• PPoPP’21: Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• REBLS’21: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
• SCALA’21: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala
• SLE’21: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’21: Proceedings of the 10th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SPLASH Companion’21: Companion Proceedings of the 2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
• SPLASH-E’21: Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E
• TyDe’21: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development
• VEE’21: Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VMIL’21: Proceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages

2020

• AGERE!’20: Proceedings of the 10th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• ARRAY’20: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• BID’20: Proceedings of the 1st Workshop on Benchmarking in the Datacenter
• CC’20: Proceedings of the 29th International Conference on Compiler Construction
• CC’20: Proceedings of the 30th International Conference on Compiler Construction
• CPP’20: Proceedings of the 9th ACM SIGPLAN Conference on Certified Programs and Proofs
• DLS’20: Proceedings of the 15th Symposium on Dynamic Languages
• Erlang’20: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang
• GPCE’20: Proceedings of the 19th International Conference on Generative Programming: Concepts and Experiences
• GPGPU’20: Proceedings of the 13rd Workshop on General Purpose Processing using Graphics Processing Units
• HOPL’20: Proceedings of the 4th ACM SIGPLAN History of Programming Language Conference
• Haskell’20: Proceedings of the 13th ACM SIGPLAN Symposium on Haskell
• ISMM’20: Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management
• LCTES’20: Proceedings of the 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• MAPL’20: Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
• NSAD’20: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
• OOPSLA’20: Proceedings of the 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• Onward!’20: Proceedings of the 2020 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PEPM’20: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PLDI’20: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
• POPL’20: Proceedings of the 47th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• PPoPP’20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• REBLS’20: Proceedings of the 7th International Workshop on Reactive and Event-Based Languages and Systems
• SCALA’20: Proceedings of the 11th ACM SIGPLAN Symposium on Scala
• SLE’20: Proceedings of the 2020 ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’20: Proceedings of the 9th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SPLASH’20: Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• TAPAS’20: Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis
• TyDe’20: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development
• VEE’20: Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VMIL’20: Proceedings of the 11th International Workshop on Virtual Machines and Intermediate Languages

2019

• AGERE!’19: Proceedings of the 9th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• AI-SEPS’19: Proceedings of the 6th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems
• ARRAY’19: Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• CHIUW’19: Proceedings of the 6th ACM SIGPLAN Workshop on Chapel Implementers and Users
• CPP’19: Proceedings of the 8th ACM SIGPLAN Conference on Certified Programs and Proofs
• DBPL’19: Proceedings of the 17th Symposium on Database Programming Languages
• DLS’19: Proceedings of the 14th Symposium on Dynamic Languages
• DSM’19: Proceedings of the 19th Workshop on Domain-Specific Modeling
• Erlang’19: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang
• FARM’19: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FHPC’19: Proceedings of the 8th ACM SIGPLAN Workshop on Functional High-Performance Computing
• GPCE’19: Proceedings of the 18th International Conference on Generative Programming: Concepts and Experiences
• Haskell’19: Proceedings of the 12th ACM SIGPLAN Symposium on Haskell
• ICFP’19: Proceedings of the 24th ACM SIGPLAN International Conference on Functional Programming
• ISMM’19: Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory Management
• LCTES’19: Proceedings of the 20th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• MAPL’19: Proceedings of the 3nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
• META’19: Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
• MPLR’19: Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
• OOPSLA’19: Proceedings of the 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• Onward!’19: Proceedings of the 2019 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PEPM’19: Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PLDI’19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
• POPL’19: Proceedings of the 46th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• PPoPP’19: Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• REBLS’19: Proceedings of the 6th International Workshop on Reactive and Event-Based Languages and Systems
• SLE’19: Proceedings of the 2019 ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’19: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SPLASH’19: Companion Proceedings of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• SPLASH-E’19: Proceedings of the 2019 ACM SIGPLAN Workshop on SPLASH-E
• TyDe’19: Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development
• VEE’19: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VMIL’19: Proceedings of the 10th International Workshop on Virtual Machines and Intermediate Languages

2018

• AGERE!’18: Proceedings of the 8th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• AI-SEPS’18: Proceedings of the 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems
• ARRAY’18: Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• CPP’18: Proceedings of the 7th ACM SIGPLAN Conference on Certified Programs and Proofs
• DLS’18: Proceedings of the 13th Symposium on Dynamic Languages
• Erlang’18: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang
• FARM’18: Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FHPC’18: Proceedings of the 7th ACM SIGPLAN Workshop on Functional High-Performance Computing
• FMS’18: Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security
• GPCE’18: Proceedings of the 17th International Conference on Generative Programming: Concepts and Experiences
• Haskell’18: Proceedings of the 11th ACM SIGPLAN Symposium on Haskell
• ICFP’18: Proceedings of the 23rd ACM SIGPLAN International Conference on Functional Programming
• ISMM’18: Proceedings of the 2018 ACM SIGPLAN International Symposium on Memory Management
• LCTES’18: Proceedings of the 19th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• MAPL’18: Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
• META’18: Proceedings of the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
• OOPSLA’18: Proceedings of the 2018 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• Onward!’18: Proceedings of the 2018 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PEPM’18: Proceedings of the 2018 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PLDI’18: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
• POPL’18: Proceedings of the 45th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• PPoPP’18: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• REBLS’18: Proceedings of the 5th International Workshop on Reactive and Event-Based Languages and Systems
• SCALA’18: Proceedings of the 9th ACM SIGPLAN Symposium on Scala
• SLE’18: Proceedings of the 2018 ACM SIGPLAN International Conference on Software Language Engineering
• SPLASH’18: Companion Proceedings of the 2018 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• SPLASH-E’18: Proceedings of the 2018 ACM SIGPLAN Workshop on SPLASH-E
• TyDe’18: Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development
• VEE’18: Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VMIL’18: Proceedings of the 10th International Workshop on Virtual Machines and Intermediate Languages

2017

• AGERE!’17: Proceedings of the 7th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• ARRAY’17: Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• CPP’17: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
• CoCoS’17: Proceedings of the 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems
• DLS’17: Proceedings of the 13th Symposium on Dynamic Languages
• Erlang’17: Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang
• FARM’17: Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FHPC’17: Proceedings of the 6th ACM SIGPLAN Workshop on Functional High-Performance Computing
• FOSD’17: Proceedings of the 8th International Workshop on Feature-Oriented Software Development
• GPCE’17: Proceedings of the 16th International Conference on Generative Programming: Concepts and Experiences
• GPGPU’17: Proceedings of the 10th Workshop on General Purpose Processing using Graphics Processing Units
• Haskell’17: Proceedings of the 10th ACM SIGPLAN Symposium on Haskell
• ICFP’17: Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming
• ISMM’17: Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management
• LCTES’17: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• MAPL’17: Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
• META’17: Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
• OOPSLA’17: Proceedings of the 2017 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• Onward!’17: Proceedings of the 2017 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PEPM’17: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PLDI’17: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
• PMAM’17: Proceedings of the 8th International Workshop on Programming Models and Applications for Multicores and Manycores
• POPL’17: Proceedings of the 44th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• PPoPP’17: Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PX’17: Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience
• REBLS’17: Proceedings of the 4th International Workshop on Reactive and Event-Based Languages and Systems
• SCALA’17: Proceedings of the 8th ACM SIGPLAN Symposium on Scala
• SEPS’17: Proceedings of the 4th International Workshop on Software Engineering for Parallel Systems
• SLE’17: Proceedings of the 2017 ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’17: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SPLASH’17: Companion Proceedings of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• TyDe’17: Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development
• VEE’17: Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VMIL’17: Proceedings of the 9th International Workshop on Virtual Machines and Intermediate Languages

2016

• AGERE!’16: Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• ARRAY’16: Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• CC’16: Proceedings of the 25th International Conference on Compiler Construction
• CGO’16: Proceedings of the 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization
• CPP’16: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
• DLS’16: Proceedings of the 12th Symposium on Dynamic Languages
• DSM’16: Proceedings of the 16th Workshop on Domain-Specific Modeling
• Erlang’16: Proceedings of the 15th International Workshop on Erlang
• FARM’16: Proceedings of the 4th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FHPC’16: Proceedings of the 5th ACM SIGPLAN Workshop on Functional High-Performance Computing
• FOSD’16: Proceedings of the 7th International Workshop on Feature-Oriented Software Development
• GPCE’16: Proceedings of the 15th International Conference on Generative Programming: Concepts and Experiences
• GPGPU’16: Proceedings of the 9th Workshop on General Purpose Processing using Graphics Processing Units
• Haskell’16: Proceedings of the 9th ACM SIGPLAN Symposium on Haskell
• ICFP’16: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
• ISMM’16: Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management
• ITSLE’16: Proceedings of the 1st Industry Track on Software Language Engineering
• LCTES’16: Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• Mobile!’16: Proceedings of the 1st International Workshop on Mobile Development
• OOPSLA’16: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• Onward!’16: Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PEPM’16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PLATEAU’16: Proceedings of the 7th Workshop on Evaluation and Usability of Programming Languages and Tools
• PLDI’16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
• PMAM’16: Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores
• POPL’16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• PPoPP’16: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• REBLS’16: Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems
• SCALA’16: Proceedings of the 7th ACM SIGPLAN Symposium on Scala
• SEPS’16: Proceedings of the 3rd International Workshop on Software Engineering for Parallel Systems
• SLE’16: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’16: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SPLASH’16: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• TyDe’16: Proceedings of the 1st International Workshop on Type-Driven Development
• VEE’16: Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VMIL’16: Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages
• X10’16: Proceedings of the 6th ACM SIGPLAN Workshop on X10

2015

• AGERE!’15: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• ARRAY’15: Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• CPP’15: Proceedings of the 4th ACM SIGPLAN Conference on Certified Programs and Proofs
• DBPL’15: Proceedings of the 15th Symposium on Database Programming Languages
• DLS’15: Proceedings of the 11th Symposium on Dynamic Languages
• DSM’15: Proceedings of the 15th Workshop on Domain-Specific Modeling
• ETX’15: Proceedings of the 2015 Workshop on Eclipse Technology eXchange
• Erlang’15: Proceedings of the 14th ACM SIGPLAN International Workshop on Erlang
• FARM’15: Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FHPC’15: Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing
• FPW’15: Proceedings of the Workshop on Future Programming
• GPCE’15: Proceedings of the 14th International Conference on Generative Programming: Concepts and Experiences
• Haskell’15: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell
• ICFP’15: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
• ISMM’15: Proceedings of the 2015 ACM SIGPLAN International Symposium on Memory Management
• LCTES’15: Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• MobileDeLi’15: Proceedings of the 3rd International Workshop on Mobile Development Lifecycle
• OOPSLA’15: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• Onward!’15: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PEPM’15: Proceedings of the 2015 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PLATEAU’15: Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools
• PLDI’15: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
• PMAM’15: Proceedings of the 6th International Workshop on Programming Models and Applications for Multicores and Manycores
• POPL’15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• PPAA’15: Proceedings of the 2nd Workshop on Parallel Programming for Analytics Applications
• PPoPP’15: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PROMOTO’15: Proceedings of the 3rd Workshop on Programming for Mobile and Touch
• SCALA’15: Proceedings of the 6th ACM SIGPLAN Symposium on Scala
• SEPS’15: Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems
• SLE’15: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering
• SOAP’15: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SPLASH’15: Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• VEE’15: Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• WGP’15: Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming
• WODA’15: Proceedings of the 13th International Workshop on Dynamic Analysis
• X10’15: Proceedings of the 5th ACM SIGPLAN Workshop on X10

2014

• AGERE!’14: Proceedings of the 4th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• ARRAY’14: Proceedings of the ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• DLS’14: Proceedings of the 10th Symposium on Dynamic Languages
• DSM’14: Proceedings of the 14th Workshop on Domain-Specific Modeling
• DYLA’14: Proceedings of the 8th Workshop on Dynamic Languages and Applications
• ETX’14: Proceedings of the 2014 Workshop on Eclipse Technology eXchange
• Erlang’14: Proceedings of the 13th ACM SIGPLAN International Workshop on Erlang
• FARM’14: Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FHPC’14: Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing
• GPCE’14: Proceedings of the 13th International Conference on Generative Programming: Concepts and Experiences
• Haskell’14: Proceedings of the 7th ACM SIGPLAN Symposium on Haskell
• ICFP’14: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming
• ISMM’14: Proceedings of the 2014 ACM SIGPLAN International Symposium on Memory Management
• LCTES’14: Proceedings of the 15th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• MSPC’14: Proceedings of the 2014 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness
• MobileDeLi’14: Proceedings of the 2nd International Workshop on Mobile Development Lifecycle
• OOPSLA’14: Proceedings of the 2014 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• Onward!’14: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• PEPM’14: Proceedings of the 2014 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PLATEAU’14: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools
• PLDI’14: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLPV’14: Proceedings of the 8th ACM SIGPLAN Workshop on Programming Languages meets Program Verification
• POPL’14: Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• PPAA’14: Proceedings of the 1st Workshop on Parallel Programming for Analytics Applications
• PPREW’14: Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop
• PPoPP’14: Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PROMOTO’14: Proceedings of the 2nd Workshop on Programming for Mobile and Touch
• PSP’14: Proceedings of the 2014 Workshop on Privacy and Security in Programming
• SOAP’14: Proceedings of the 3rd ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SPLASH’14: Companion Proceedings of the 2014 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• TRUST’14: Proceedings of the 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering
• VEE’14: Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• WGP’14: Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming
• WOSC’14: Proceedings of the 2nd Workshop on Optimizing Stencil Computations
• WPMVP’14: Proceedings of the 1st Workshop on Programming Models for SIMD/Vector Processing

By Event

AGERE!

• AGERE!’21: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• AGERE!’20: Proceedings of the 10th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• AGERE!’19: Proceedings of the 9th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• AGERE!’18: Proceedings of the 8th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• AGERE!’17: Proceedings of the 7th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• AGERE!’16: Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• AGERE!’15: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
• AGERE!’14: Proceedings of the 4th International Workshop on Programming Based on Actors, Agents, and Decentralized Control

AI-SEPS

• AI-SEPS’19: Proceedings of the 6th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems
• AI-SEPS’18: Proceedings of the 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems

ARRAY

• ARRAY’25: Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
• ARRAY’24: Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
• ARRAY’23: Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
• ARRAY’22: Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming
• ARRAY’21: Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• ARRAY’20: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• ARRAY’19: Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• ARRAY’18: Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• ARRAY’17: Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• ARRAY’16: Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• ARRAY’15: Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
• ARRAY’14: Proceedings of the ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming

ASPLOS

• ASPLOS’23: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3
• ASPLOS’23: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
• ASPLOS’23: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1

BCNC

• BCNC’21: Proceedings of the 1st ACM SIGPLAN International Workshop on Beyond Code: No Code

BID

• BID’23: Proceedings of the 5th International Workshop on Benchmarking in the Data Center
• BID’22: Benchmarking in the Data Center: Expanding to the Cloud
• BID’20: Proceedings of the 1st Workshop on Benchmarking in the Datacenter

CC

• CC’26: Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction
• CC’25: Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction
• CC’24: Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction
• CC’23: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction
• CC’22: Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction
• CC’20: Proceedings of the 30th International Conference on Compiler Construction
• CC’20: Proceedings of the 29th International Conference on Compiler Construction
• CC’16: Proceedings of the 25th International Conference on Compiler Construction

CGO

• CGO’23: Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization
• CGO’16: Proceedings of the 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization

CHIUW

• CHIUW’19: Proceedings of the 6th ACM SIGPLAN Workshop on Chapel Implementers and Users

CPP

• CPP’26: Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs
• CPP’25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
• CPP’25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
• CPP’25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
• CPP’24: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
• CPP’23: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
• CPP’22: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
• CPP’21: Proceedings of the 10th ACM SIGPLAN Conference on Certified Programs and Proofs
• CPP’20: Proceedings of the 9th ACM SIGPLAN Conference on Certified Programs and Proofs
• CPP’19: Proceedings of the 8th ACM SIGPLAN Conference on Certified Programs and Proofs
• CPP’18: Proceedings of the 7th ACM SIGPLAN Conference on Certified Programs and Proofs
• CPP’17: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
• CPP’16: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
• CPP’15: Proceedings of the 4th ACM SIGPLAN Conference on Certified Programs and Proofs

CoCoS

• CoCoS’17: Proceedings of the 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems

DBPL

• DBPL’19: Proceedings of the 17th Symposium on Database Programming Languages
• DBPL’15: Proceedings of the 15th Symposium on Database Programming Languages

DLS

• DLS’23: Proceedings of the 19th ACM SIGPLAN International Symposium on Dynamic Languages
• DLS’22: Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages
• DLS’21: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages
• DLS’20: Proceedings of the 15th Symposium on Dynamic Languages
• DLS’19: Proceedings of the 14th Symposium on Dynamic Languages
• DLS’18: Proceedings of the 13th Symposium on Dynamic Languages
• DLS’17: Proceedings of the 13th Symposium on Dynamic Languages
• DLS’16: Proceedings of the 12th Symposium on Dynamic Languages
• DLS’15: Proceedings of the 11th Symposium on Dynamic Languages
• DLS’14: Proceedings of the 10th Symposium on Dynamic Languages

DSM

• DSM’21: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling
• DSM’19: Proceedings of the 19th Workshop on Domain-Specific Modeling
• DSM’16: Proceedings of the 16th Workshop on Domain-Specific Modeling
• DSM’15: Proceedings of the 15th Workshop on Domain-Specific Modeling
• DSM’14: Proceedings of the 14th Workshop on Domain-Specific Modeling

DYLA

• DYLA’14: Proceedings of the 8th Workshop on Dynamic Languages and Applications

EGRAPHS

• EGRAPHS’22: Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph Research, Applications, Practices, and Human-factors

ETX

• ETX’15: Proceedings of the 2015 Workshop on Eclipse Technology eXchange
• ETX’14: Proceedings of the 2014 Workshop on Eclipse Technology eXchange

Erlang

• Erlang’25: Proceedings of the 24th ACM SIGPLAN International Workshop on Erlang
• Erlang’24: Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang
• Erlang’23: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang
• Erlang’22: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang
• Erlang’21: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang
• Erlang’20: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang
• Erlang’19: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang
• Erlang’18: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang
• Erlang’17: Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang
• Erlang’16: Proceedings of the 15th International Workshop on Erlang
• Erlang’15: Proceedings of the 14th ACM SIGPLAN International Workshop on Erlang
• Erlang’14: Proceedings of the 13th ACM SIGPLAN International Workshop on Erlang

ExHET

• ExHET’25: Proceedings of the 2025 4th International Workshop on Extreme Heterogeneity Solutions
• ExHET’24: Proceedings of the 3rd International Workshop on Extreme Heterogeneity Solutions
• ExHET’23: Proceedings of the 2nd International Workshop on Extreme Heterogeneity Solutions
• ExHET’22: Proceedings of the 1st International Workshop on Extreme Heterogeneity Solutions

FARM

• FARM’25: Proceedings of the 13th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
• FARM’24: Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
• FARM’23: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
• FARM’21: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FARM’19: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FARM’18: Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FARM’17: Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FARM’16: Proceedings of the 4th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FARM’15: Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design
• FARM’14: Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design

FCPC

• FCPC’25: Proceedings of the 1st FastCode Programming Challenge

FHPC

• FHPC’19: Proceedings of the 8th ACM SIGPLAN Workshop on Functional High-Performance Computing
• FHPC’18: Proceedings of the 7th ACM SIGPLAN Workshop on Functional High-Performance Computing
• FHPC’17: Proceedings of the 6th ACM SIGPLAN Workshop on Functional High-Performance Computing
• FHPC’16: Proceedings of the 5th ACM SIGPLAN Workshop on Functional High-Performance Computing
• FHPC’15: Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing
• FHPC’14: Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing

FHPNC

• FHPNC’23: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing
• FHPNC’21: Proceedings of the 9th ACM SIGPLAN Workshop on Functional High-Performance and Numerical Computing

FMS

• FMS’18: Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security

FOSD

• FOSD’17: Proceedings of the 8th International Workshop on Feature-Oriented Software Development
• FOSD’16: Proceedings of the 7th International Workshop on Feature-Oriented Software Development

FPW

• FPW’15: Proceedings of the Workshop on Future Programming

FProPer

• FProPer’24: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Programming for Productivity and Performance

FTSCS

• FTSCS’23: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
• FTSCS’22: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

FUNARCH

• FUNARCH’25: Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Software Architecture
• FUNARCH’24: Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture
• FUNARCH’23: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture

GPCE

• GPCE’25: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• GPCE’24: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• GPCE’24: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• GPCE’23: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• GPCE’22: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• GPCE’21: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
• GPCE’20: Proceedings of the 19th International Conference on Generative Programming: Concepts and Experiences
• GPCE’19: Proceedings of the 18th International Conference on Generative Programming: Concepts and Experiences
• GPCE’18: Proceedings of the 17th International Conference on Generative Programming: Concepts and Experiences
• GPCE’17: Proceedings of the 16th International Conference on Generative Programming: Concepts and Experiences
• GPCE’16: Proceedings of the 15th International Conference on Generative Programming: Concepts and Experiences
• GPCE’15: Proceedings of the 14th International Conference on Generative Programming: Concepts and Experiences
• GPCE’14: Proceedings of the 13th International Conference on Generative Programming: Concepts and Experiences

GPGPU

• GPGPU’22: Proceedings of the 14th Workshop on General Purpose Processing using Graphics Processing Units
• GPGPU’20: Proceedings of the 13rd Workshop on General Purpose Processing using Graphics Processing Units
• GPGPU’17: Proceedings of the 10th Workshop on General Purpose Processing using Graphics Processing Units
• GPGPU’16: Proceedings of the 9th Workshop on General Purpose Processing using Graphics Processing Units

HOPL

• HOPL’20: Proceedings of the 4th ACM SIGPLAN History of Programming Language Conference

Haskell

• Haskell’25: Proceedings of the 18th ACM SIGPLAN International Haskell Symposium
• Haskell’24: Proceedings of the 17th ACM SIGPLAN International Haskell Symposium
• Haskell’24: Proceedings of the 17th ACM SIGPLAN International Haskell Symposium
• Haskell’23: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium
• Haskell’22: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium
• Haskell’21: Proceedings of the 14th ACM SIGPLAN Symposium on Haskell
• Haskell’20: Proceedings of the 13th ACM SIGPLAN Symposium on Haskell
• Haskell’19: Proceedings of the 12th ACM SIGPLAN Symposium on Haskell
• Haskell’18: Proceedings of the 11th ACM SIGPLAN Symposium on Haskell
• Haskell’17: Proceedings of the 10th ACM SIGPLAN Symposium on Haskell
• Haskell’16: Proceedings of the 9th ACM SIGPLAN Symposium on Haskell
• Haskell’15: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell
• Haskell’14: Proceedings of the 7th ACM SIGPLAN Symposium on Haskell

ICFP

• ICFP’25: Proceedings of the ACM on Programming Languages: Vol. 9, No. ICFP. 2025
• ICFP’24: Proceedings of the ACM on Programming Languages: Vol. 8, No. ICFP. 2024
• ICFP’19: Proceedings of the 24th ACM SIGPLAN International Conference on Functional Programming
• ICFP’18: Proceedings of the 23rd ACM SIGPLAN International Conference on Functional Programming
• ICFP’17: Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming
• ICFP’16: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
• ICFP’15: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
• ICFP’14: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming

ISMM

• ISMM’25: Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management
• ISMM’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management
• ISMM’23: Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management
• ISMM’22: Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management
• ISMM’21: Proceedings of the 2021 ACM SIGPLAN International Symposium on Memory Management
• ISMM’20: Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management
• ISMM’19: Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory Management
• ISMM’18: Proceedings of the 2018 ACM SIGPLAN International Symposium on Memory Management
• ISMM’17: Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management
• ISMM’16: Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management
• ISMM’15: Proceedings of the 2015 ACM SIGPLAN International Symposium on Memory Management
• ISMM’14: Proceedings of the 2014 ACM SIGPLAN International Symposium on Memory Management

ITSLE

• ITSLE’16: Proceedings of the 1st Industry Track on Software Language Engineering

JENSFEST

• JENSFEST’24: Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday
• JENSFEST’24: Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday

LCTES

• LCTES’25: Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
• LCTES’24: Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
• LCTES’23: Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
• LCTES’22: Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
• LCTES’21: Proceedings of the 22nd ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• LCTES’20: Proceedings of the 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• LCTES’19: Proceedings of the 20th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• LCTES’18: Proceedings of the 19th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• LCTES’17: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• LCTES’16: Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• LCTES’15: Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
• LCTES’14: Proceedings of the 15th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems

LMPL

• LMPL’25: Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages

MAPL

• MAPL’20: Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
• MAPL’19: Proceedings of the 3nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
• MAPL’18: Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
• MAPL’17: Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages

MAPS

• MAPS’22: Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming
• MAPS’21: Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming

META

• META’19: Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
• META’18: Proceedings of the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
• META’17: Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

MPLR

• MPLR’25: Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
• MPLR’23: Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
• MPLR’21: Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
• MPLR’19: Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes

MSPC

• MSPC’14: Proceedings of the 2014 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness

Mobile!

• Mobile!’16: Proceedings of the 1st International Workshop on Mobile Development

MobileDeLi

• MobileDeLi’15: Proceedings of the 3rd International Workshop on Mobile Development Lifecycle
• MobileDeLi’14: Proceedings of the 2nd International Workshop on Mobile Development Lifecycle

NSAD

• NSAD’24: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
• NSAD’24: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
• NSAD’20: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains

OLIVIERFEST

• OLIVIERFEST’25: Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday

OOPSLA

• OOPSLA’25: Proceedings of the 2025 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Volume 2
• OOPSLA’25: Proceedings of the 2025 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Volume 1
• OOPSLA’24: Proceedings of the 2024 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Volume 2
• OOPSLA’24: Proceedings of the 2024 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Volume 1
• OOPSLA’22: Proceedings of the 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• OOPSLA’21: Proceedings of the 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• OOPSLA’20: Proceedings of the 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• OOPSLA’19: Proceedings of the 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• OOPSLA’18: Proceedings of the 2018 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• OOPSLA’17: Proceedings of the 2017 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• OOPSLA’16: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• OOPSLA’15: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
• OOPSLA’14: Proceedings of the 2014 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications

Onward!

• Onward!’25: Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’23: Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’22: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’21: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’20: Proceedings of the 2020 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’19: Proceedings of the 2019 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’18: Proceedings of the 2018 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’17: Proceedings of the 2017 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’16: Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’15: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
• Onward!’14: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

PAINT

• PAINT’25: Proceedings of the 4th ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
• PAINT’24: Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
• PAINT’24: Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
• PAINT’23: Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
• PAINT’22: Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments

PEPM

• PEPM’26: Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PEPM’25: Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PEPM’25: Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PEPM’25: Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PEPM’24: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PEPM’23: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PEPM’22: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
• PEPM’21: Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PEPM’20: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PEPM’19: Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PEPM’18: Proceedings of the 2018 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PEPM’17: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PEPM’16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PEPM’15: Proceedings of the 2015 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• PEPM’14: Proceedings of the 2014 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

PLATEAU

• PLATEAU’16: Proceedings of the 7th Workshop on Evaluation and Usability of Programming Languages and Tools
• PLATEAU’15: Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools
• PLATEAU’14: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools

PLDI

• PLDI’25: Proceedings of the ACM on Programming Languages: Vol. 9, No. PLDI 2025
• PLDI’24: Proceedings of the ACM on Programming Languages: Vol. 8, No. PLDI. 2024
• PLDI’23: Proceedings of the ACM on Programming Languages: Vol. 7, No. PLDI. 2023
• PLDI’22: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
• PLDI’21: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
• PLDI’21: Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLDI’20: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLDI’19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLDI’18: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLDI’17: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLDI’16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLDI’15: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLDI’14: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation

PLPV

• PLPV’14: Proceedings of the 8th ACM SIGPLAN Workshop on Programming Languages meets Program Verification

PMAM

• PMAM’24: Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores
• PMAM’23: Proceedings of the 14th International Workshop on Programming Models and Applications for Multicores and Manycores
• PMAM’22: Proceedings of the Thirteenth International Workshop on Programming Models and Applications for Multicores and Manycores
• PMAM’21: Proceedings of the 12th International Workshop on Programming Models and Applications for Multicores and Manycores
• PMAM’21: Proceedings of the 12th International Workshop on Programming Models and Applications for Multicores and Manycores
• PMAM’17: Proceedings of the 8th International Workshop on Programming Models and Applications for Multicores and Manycores
• PMAM’16: Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores
• PMAM’15: Proceedings of the 6th International Workshop on Programming Models and Applications for Multicores and Manycores

POPL

• POPL’26: Proceedings of the ACM on Programming Languages: Vol. 10, No. POPL. 2026
• POPL’24: Proceedings of the ACM on Programming Languages: Vol. 9, No. POPL. 2025
• POPL’24: Proceedings of the ACM on Programming Languages: Vol. 8, No. POPL. 2024
• POPL’23: Proceedings of the 50th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• POPL’22: Proceedings of the 49th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• POPL’21: Proceedings of the 48th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• POPL’20: Proceedings of the 47th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• POPL’19: Proceedings of the 46th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• POPL’18: Proceedings of the 45th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• POPL’17: Proceedings of the 44th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• POPL’16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• POPL’15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
• POPL’14: Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

PPAA

• PPAA’15: Proceedings of the 2nd Workshop on Parallel Programming for Analytics Applications
• PPAA’14: Proceedings of the 1st Workshop on Parallel Programming for Analytics Applications

PPREW

• PPREW’14: Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop

PPoPP

• PPoPP’26: Proceedings of the 31st ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
• PPoPP’25: Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
• PPoPP’24: Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
• PPoPP’23: Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
• PPoPP’21: Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PPoPP’20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PPoPP’19: Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PPoPP’18: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PPoPP’17: Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PPoPP’16: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PPoPP’15: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PPoPP’14: Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

PROMOTO

• PROMOTO’15: Proceedings of the 3rd Workshop on Programming for Mobile and Touch
• PROMOTO’14: Proceedings of the 2nd Workshop on Programming for Mobile and Touch

PROPL

• PROPL’25: Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet

PSP

• PSP’14: Proceedings of the 2014 Workshop on Privacy and Security in Programming

PX

• PX’17: Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience

Proceedings of the ACM on Programming

• [Proceedings of the ACM on Programming’es: Proceedings of the ACM on Programming Languages](proceedings of the acm on programminges.html)

REBLS

• REBLS’23: Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
• REBLS’22: Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
• REBLS’21: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
• REBLS’20: Proceedings of the 7th International Workshop on Reactive and Event-Based Languages and Systems
• REBLS’19: Proceedings of the 6th International Workshop on Reactive and Event-Based Languages and Systems
• REBLS’18: Proceedings of the 5th International Workshop on Reactive and Event-Based Languages and Systems
• REBLS’17: Proceedings of the 4th International Workshop on Reactive and Event-Based Languages and Systems
• REBLS’16: Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems

SCALA

• SCALA’21: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala
• SCALA’20: Proceedings of the 11th ACM SIGPLAN Symposium on Scala
• SCALA’18: Proceedings of the 9th ACM SIGPLAN Symposium on Scala
• SCALA’17: Proceedings of the 8th ACM SIGPLAN Symposium on Scala
• SCALA’16: Proceedings of the 7th ACM SIGPLAN Symposium on Scala
• SCALA’15: Proceedings of the 6th ACM SIGPLAN Symposium on Scala

SEPS

• SEPS’17: Proceedings of the 4th International Workshop on Software Engineering for Parallel Systems
• SEPS’16: Proceedings of the 3rd International Workshop on Software Engineering for Parallel Systems
• SEPS’15: Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems

SLE

• SLE’25: Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering
• SLE’24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering
• SLE’24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering
• SLE’23: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering
• SLE’22: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering
• SLE’21: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering
• SLE’20: Proceedings of the 2020 ACM SIGPLAN International Conference on Software Language Engineering
• SLE’19: Proceedings of the 2019 ACM SIGPLAN International Conference on Software Language Engineering
• SLE’18: Proceedings of the 2018 ACM SIGPLAN International Conference on Software Language Engineering
• SLE’17: Proceedings of the 2017 ACM SIGPLAN International Conference on Software Language Engineering
• SLE’16: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering
• SLE’15: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering

SOAP

• SOAP’25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
• SOAP’24: Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
• SOAP’23: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
• SOAP’22: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
• SOAP’21: Proceedings of the 10th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SOAP’20: Proceedings of the 9th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SOAP’19: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SOAP’17: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SOAP’16: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SOAP’15: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
• SOAP’14: Proceedings of the 3rd ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

SPLASH

• SPLASH’23: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
• SPLASH’20: Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• SPLASH’19: Companion Proceedings of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• SPLASH’18: Companion Proceedings of the 2018 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• SPLASH’17: Companion Proceedings of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• SPLASH’16: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• SPLASH’15: Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
• SPLASH’14: Companion Proceedings of the 2014 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity

SPLASH Companion

• [SPLASH Companion’25: Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity](splash companion25.html)
• [SPLASH Companion’24: Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity](splash companion24.html)
• [SPLASH Companion’22: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity](splash companion22.html)
• [SPLASH Companion’21: Companion Proceedings of the 2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity](splash companion21.html)

SPLASH-E

• SPLASH-E’25: Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E
• SPLASH-E’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E
• SPLASH-E’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E
• SPLASH-E’23: Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E
• SPLASH-E’22: Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E
• SPLASH-E’21: Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E
• SPLASH-E’19: Proceedings of the 2019 ACM SIGPLAN Workshop on SPLASH-E
• SPLASH-E’18: Proceedings of the 2018 ACM SIGPLAN Workshop on SPLASH-E

Scala

• Scala’22: Proceedings of the Scala Symposium

Scheme

• Scheme’25: Proceedings of the 26th ACM SIGPLAN International Workshop on Scheme and Functional Programming

TAPAS

• TAPAS’20: Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis

TRUST

• TRUST’14: Proceedings of the 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering

TyDe

• TyDe’25: Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development
• TyDe’24: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development
• TyDe’23: Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development
• TyDe’22: Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development
• TyDe’21: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development
• TyDe’20: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development
• TyDe’19: Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development
• TyDe’18: Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development
• TyDe’17: Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development
• TyDe’16: Proceedings of the 1st International Workshop on Type-Driven Development

VEE

• VEE’22: Proceedings of the 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VEE’21: Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VEE’20: Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VEE’19: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VEE’18: Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VEE’17: Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VEE’16: Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VEE’15: Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• VEE’14: Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

VMIL

• VMIL’25: Proceedings of the 17th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
• VMIL’24: Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
• VMIL’24: Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
• VMIL’23: Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
• VMIL’22: Proceedings of the 14th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
• VMIL’21: Proceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
• VMIL’20: Proceedings of the 11th International Workshop on Virtual Machines and Intermediate Languages
• VMIL’19: Proceedings of the 10th International Workshop on Virtual Machines and Intermediate Languages
• VMIL’18: Proceedings of the 10th International Workshop on Virtual Machines and Intermediate Languages
• VMIL’17: Proceedings of the 9th International Workshop on Virtual Machines and Intermediate Languages
• VMIL’16: Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages

WGP

• WGP’15: Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming
• WGP’14: Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming

WODA

• WODA’15: Proceedings of the 13th International Workshop on Dynamic Analysis

WOSC

• WOSC’14: Proceedings of the 2nd Workshop on Optimizing Stencil Computations

WPMVP

• WPMVP’14: Proceedings of the 1st Workshop on Programming Models for SIMD/Vector Processing

X10

• X10’16: Proceedings of the 6th ACM SIGPLAN Workshop on X10
• X10’15: Proceedings of the 5th ACM SIGPLAN Workshop on X10