Upcoming Conferences
Mon 21 - Fri 25 September 2020 Melbourne, Australia

ASE 2020

Welcome to the website of the ASE 2020 conference. The 35th IEEE/ACM International Conference on Automated Software Engineering. The ASE 2020 conference is the premier research forum for Automated Software Engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, ...

Fri 16 - Fri 23 October 2020

MODELS 2020

About MODELS conference MODELS, the ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, is the premier conference series for model-driven software and systems engineering, and is organized with support of ACM SIGSOFT and IEEE TCSE. Since 1998, MODELS has covered all aspects of modeling, from languages and methods, to tools and applications. Attendees of MODELS come from dive ...

Sun 25 Oct 2020

HAVELUND 65

In 2020, our well respected colleague and friend will turn 65. We consider this to be a good occasion to revisit his research contributions and to celebrate his achievements. Therefore, we plan to hold a Festschrift Symposium on the 25th of October 2020 as part of the ISOLA conference, which will be from the 26th till the 31st of October 2020 in Rhodes, Greece.

Sat 24 - Wed 28 October 2020 Porto, Portugal

ICST 2020

with A-MOST 2020, CCIW 2020, INTUITESTBEDS 2020, ITEQS 2020, IWCT 2020, InSTA 2020, Mutation 2020, NEXTA 2020, Q-VV 2020, TAIC PART 2020, TestEd 2020, ToCaMS 2020, WRSAT 2020

UPDATE September, 9, 2020: ICST 2020 is going to be held as a hybrid conference. More details in the ICST 2020 Going Hybrid Announcement. March, 9, 2020: ICST has been postponed. Please, read our statement to the ICST community. IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 IEEE International Conference on Software Testing, Verification and Validation (IC ...

Sun 8 - Fri 13 November 2020 Sacramento, California, United States

ESEC/FSE 2020

Due to the unforeseen effects of the Covid 19 pandemic, ESEC/FSE 2020 will be held virtually. We are working on the precise means, methods and tools, and will update here as soon as more details are available. Meanwhile request your patience. The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for research ...

Sun 15 - Fri 20 November 2020 Online Conference

SPLASH 2020

with DLS 2020, ECOOP 2020, GPCE 2020, , SAS 2020, SLE 2020, Scala 2020, AGERE 2020, COP, FTfJP 2020, HATRA 2020, HILT 2020, ICOOOLPS 2020, IWACO 2020, JSTools 2020, LIVE 2020, LPOP 2020, , NSAD 2020, PLATEAU 2020, PRIDE 2020, REBLS 2020, SOOP'20, SySEPL 2020, TAPAS 2020, VMIL 2020, VORTEX 2020

Welcome to the website of the SPLASH 2020 conference! SPLASH is the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH 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 2020 will take place fr ...

Sun 29 November - Thu 3 December 2020

APLAS 2020

Welcome to the website of The 18th Asian Symposium on Programming Languages and Systems (APLAS). APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2020 will be held in Ky ...

Sun 17 - Fri 22 January 2021 Online

POPL 2021

with CPP 2021, VMCAI 2021, PADL 2021, CoqPL 2021, LAFI 2021, PEPM 2021, , PriSC 2021

POPL 2021 will take place on January 17-22, 2021 as a virtual meeting.

Sat 27 February - Wed 3 March 2021

CC 2021

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. CC 2021 is the 30th edition of the conference, and will be co-located with CGO, HPCA and PPoPP. CC is an ACM SIGPLAN conference, and implem ...

Sat 27 February - Wed 3 March 2021

PPoPP 2021

PPoPP is the premier forum for leading work on all aspects of parallel programming, including theoretical foundations, techniques, languages, compilers, runtime systems, tools, and practical experience. In the context of the symposium, “parallel programming” encompasses work on concurrent and parallel systems (multicore, multi-threaded, heterogeneous, clustered, and distributed systems; grids; datacenters; clouds ...

Sat 27 February - Wed 3 March 2021

CGO 2021

February 27th - March 3rd, 2021, Virtual Conference Co-located with PPoPP, CC and HPCA 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 conference spans the spectrum from purely sta ...

Mon 12 - Thu 15 April 2021 Essen, Germany

REFSQ 2021

The 27th International Working Conference on Requirement Engineering: Foundation for Software Quality will take place from the 12th to 15th of April 2021 in Essen, Germany! We are looking forward to welcome you to what will (probably) be the last edition of REFSQ in Essen!

Mon 12 - Fri 16 April 2021

ICST 2021

IEEE International Conference on Software Testing, Verification and Validation 2021 April 12, 2021 – April 16, 2021 IEEE International Conference on Software Testing, Verification and Validation (ICST) 2021 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the are ...

Wed 12 - Thu 13 May 2021 Lahti, Finland

OSS 2021

The 17th International Conference on Open Source Systems (OSS) aims at providing an international forum where a diverse community of professionals from academia, industry, and the public sector, and diverse FLOSS initiatives can come together to share research findings and practical experiences. The conference is also a forum to provide information and education to practitioners, identify directions for further r ...

Sat 22 - Sun 30 May 2021 Madrid, Spain

ICSE 2021

with FormaliSE 2021, ICPC 2021, MSR 2021, TechDebt 2021, SEAMS 2021, SCORE 2021

43rd International Conference on Software Engineering, 23-29 May 2021 (main conference 25-27), Madrid, Spain Welcome to the website of the ICSE 2021 conference. ICSE 2021 preparedness plans for COVID-19 scenarios The ICSE 2020 conference has gone virtual due to the current COVID-19 pandemic. However, we would like to remind you that ICSE 2021 is scheduled to be held in Madrid from May 23 to 29, 2021. As ther ...

Sun 20 - Fri 25 June 2021 Virtual Conference

PLDI 2021

Welcome to the home page of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021)! PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI 2021 will be a virtual conference held online. The main PLDI conference will be Wednesday, June 23 thro ...

Mon 12 - Fri 16 July 2021 Aarhus, Denmark

ECOOP and ISSTA 2021

with ECOOP 2021, ISSTA 2021

Welcome to the website of the ECOOP/ISSTA 2021 conferences. We are working hard to fill the website with all related information. Please check back soon!

Sun 22 - Fri 27 August 2021

ICFP 2021

ICFP 2021 is the 26th ACM SIGPLAN International Conference on Functional Programming. ICFP 2021 will be held in Daejon, South Korea, with the possibility of a virtual conference.

Mon 23 - Fri 27 August 2021 Athens, Greece

ESEC/FSE 2021

The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. ESEC/FSE brings together experts from academia and industry to exchange the latest r ...

Mon 13 - Fri 17 September 2021

ECSA 2021

The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The 15th European Conference on Software Architecture (ECSA 2021) will be held on ...

Mon 20 - Fri 24 September 2021

RE-2021

Welcome to the website of the Requirements Engineering 2021 conference. This webpage is currently under construction and is in pre-release format. The IEEE International Requirements Engineering Conference is the premier requirements engineering conference, where researchers, practitioners, students and educators meet, present and discuss the most recent innovations, trends, experiences and issues in the field o ...

Dates to be announced

ICER 2021

Our 14th annual conference is tentatively scheduled for August 2021 in Charleston, South Carolina, USA. However, due to the COVID-19 pandemic, and the community’s largely positive experiences with the ICER 2020 virtual conference, the 2021 organizers, ICER steering committee, and SIGCSE board are carefully considering venues and formats. Check back soon for dates, locations, calls for papers, and deadlines.

Dates to be announced Cambridge, United Kingdom

‹Programming› 2021

The International Conference on the Art, Science, and Engineering of Programming is a new conference focused on programming topics including the experience of programming. We have named it ‹Programming› for short. ‹Programming› seeks for papers that advance knowledge of programming on any relevant topic, including programming practice and experience. In 2021, ‹Programming› is heading to Cambridge, United Kingdom.

Mon 14 - Fri 18 November 2022 Singapore

ESEC/FSE 2022

The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. ESEC/FSE brings together experts from academia and industry to exchange the latest r ...

Dates to be announced Auckland, New Zealand

SPLASH 2022

Welcome to the website of the SPLASH 2022 conference. We are working hard to fill the website with all related information. Please check back soon!

Past Conferences
Mon 14 - Fri 18 September 2020 L'Aquila, Italy

ECSA 2020

ECSA 2020 Virtual conference instructions Support Team: ECSA2020Support@univaq.it ECSA 2020 proceedings Proceedings are made available free for all registered participants of both Workshops and Main conference. It is accessible from the Files -> ECSA 2020 Proceedings folder in the General channel of both ECSA 2020 - Main conference and ECSA 2020 - workshops teams. 14th European Conference on Soft ...

Thu 20 - Fri 28 August 2020

ICFP 2020

with Haskell 2020, Erlang 2020, FARM 2020, FHPNC 2020, , HIW 2020, HOPE 2020, ML 2020, OCaml 2020, PLMW @ ICFP 2020, , Scheme 2020, TyDe 2020, miniKanren 2020

ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The conference was a virtual event during the dates of August 23-26, 2020 and all activities took place online. The main program featured two keynotes, technical presentations for papers appearing in PACMPL Vol 4: Issue ICFP, as well as an awards session, and a special session of papers recently appearing in the Journal of Func ...

Mon 17 - Fri 21 August 2020

ACSOS 2020

Virtual Conference Meeting Space A password is required to access the virtual conference meeting space which was included in your welcome message. We are happy to announce that the first edition of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) will take place in Washington DC online from August 17 to August 21, 2020. The ACSOS was founded as a merger of the IEEE I ...

Tue 11 - Fri 14 August 2020 Dunedin, New Zealand

VL/HCC 2020

From the beginning of the computer age, people have sought easier ways to learn, express, and understand computational ideas. Whether this meant moving from punch cards to textual languages, or command lines to graphical UIs, the quest to make computation easier to express, manipulate, and understand by a broader group of people is an ongoing challenge. The IEEE Symposium on Visual Languages and Human-Centric Co ...

Sat 8 - Thu 13 August 2020

ICER 2020

The 2020 ACM International Computing Education Research Conference is now over. Check out the awards page to see which papers were recognized. But the community continues! If you attended, please complete our conference survey to share everything like liked and disliked about our format, and to volunteer for the ICER 2021 organizing committee. View the paper awards View the ICER YouTube channel for all of ...

Sat 18 - Wed 22 July 2020

ISSTA 2020

The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ISSTA 2020 will be held on July 18-22, 2020. 05/19/2020 update: Due to the COVID-19 situation, ISSTA 2020 will ...

Wed 24 June - Thu 16 July 2020

ICSE 2020

with AST 2020, FormaliSE 2020, ICGSE 2020, ICPC 2020, ICSSP 2020, MOBILESoft 2020, MSR 2020, TechDebt 2020, SEAMS 2020

The 42nd International Conference on Software Engineering June 24, 2020 – July 16, 2020 ICSE, the International Conference on Software Engineering, is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, research, experiences, trends and concerns in the field of Software engineering. ICSE 2020 was origin ...

Mon 15 - Fri 19 June 2020

PLDI 2020

with ISMM 2020, LCTES 2020, ARRAY 2020, Ally Skills@PLDI2020, BAPL 2020, Infer Practitioners 2020, MAPL 2020, PLMW@PLDI 2020, REMS-DeepSpec 2020, SOAP 2020

Thank you to everyone involved in Virtual PLDI 2020 for making the conference a big success! Here are some links to conference content and a report on the conference. A report on the first virtual PLDI conference Proceedings of PLDI Proceedings of co-located events: Proceedings of ISMM Proceedings of LCTES Proceedings of MAPL Proceedings of SOAP YouTube content: PLDI co ...

Sun 14 - Tue 16 June 2020

HOPL IV

NEW! (13 Sep 2020)  HOPL IV will be virtual, co-located with PLDI 2021 Since HOPL IV was postponed from its originally planned dates in June 2020, we have worked with SIGPLAN to co-locate HOPL IV with PLDI 2021. However, because of the continuing COVID-19 (coronavirus) situation, SIGPLAN has now determined that there will not be a physical meeting for HOPL or PLDI in June 2021; both conferences will be ...

Mon 23 - Thu 26 March 2020 Porto, Portugal

‹Programming› 2020

with CoCoDo 2020, Convivial Computing Salon 2020, ENIAC20, ICW 2020, MiniPLoP 2020, MoreVMs'20, NIP'20, PX/20, PharoIoT 2020, ProWeb20

Because the safety and well-being of conference participants is our priority, we decided to not hold the conference on March 23–26, in Porto, Portugal, and therefore the presentations scheduled for March 23–26, in Porto, Portugal, will not take place. Journal publications are available online and their authors will be invited to present at 2021 in Cambridge, UK. The 2020 Companion Proceedings (ACM Digital Li ...

Tue 17 Mar 2020 Lausanne, Switzerland

VEE 2020

The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’20) brings together researchers and practitioners from different computer systems domains to interact and share ideas in order to advance the state of the art of virtualization, systems programming and programming languages. VEE 2020 in Lausanne is canceled due to COVID-19 Sadly, the ASPLOS organisers have been forced to ...

Sat 22 - Wed 26 February 2020 San Diego, California, United States

CC 2020

22-23 February 2020, San Diego, CA, USA Co-located with CGO, PPoPP and HPCA. Welcome to the website of the ACM SIGPLAN 2020 International Conference on Compiler Construction. The CC 2020 keynote was delivered by Albert Cohen, on IR Design for Heterogeneity: Challenges and Opportunities. CC 2020 is the 29th edition of the conference. CC is now an ACM SIGPLAN conference and will ...

Sat 22 - Wed 26 February 2020 San Diego, California, United States

PPoPP 2020

with WPMVP 2020

PPoPP is the premier forum for leading work on all aspects of parallel programming, including theoretical foundations, techniques, languages, compilers, runtime systems, tools, and practical experience. In the context of the symposium, “parallel programming” encompasses work on concurrent and parallel systems (multicore, multi-threaded, heterogeneous, clustered, and distributed systems; grids; datacenters; clouds ...

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

POPL 2020

with CPP 2020, VMCAI 2020, PADL 2020, ADSL 2020, CoqPL 2020, HASE 2020, LAFI 2020, PEPM 2020, PLMW 2020, PLanQC 2020, PriSC 2020, WGT 2020

Program of POPL 2020 and Co-located Events POPL 2020 Accepted Papers Distinguished Papers To download (the definitive and open access version of) a POPL paper, click “Link to publication” under the paper’s title and authors. Videos of POPL 2020 talks (hosted on YouTube) are available on their event page, where slides and other supplementary material may also be available. To get to a talk’s event page, c ...

Thu 12 Dec 2019 Nijmegen, Netherlands

PLNL 2019

The purpose of this new annual workshop is to bring together researchers in the area of programming languages in the Netherlands. The workshop targets programming language research in the broad sense, included but not limited to the design, implementation, theory, application, and teaching of programming languages.

Sun 1 - Wed 4 December 2019 Bali, Indonesia

APLAS 2019

Welcome to the website of The 17th Asian Symposium on Programming Languages and Systems (APLAS). APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2019 will be held in Nu ...

Sun 10 - Fri 15 November 2019 San Diego, California, United States

ASE 2019

with A-Mobile 2019, Celebration of ASE 2019, EXPLAIN 2019, JPF 2019, NJR 2019, NSF Workshop: DL + SE 2019, SEAD 2019, SEConfig 2019, SEI 2019

Welcome to the website of the ASE 2019 conference! The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) will be held in San Diego from November 11 to 15, 2019. The conference is the premier research forum for automated software engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for au ...

Sun 20 - Fri 25 October 2019 Athens, Greece

SPLASH 2019

with GPCE 2019, MPLR 2019, Onward! 2019, SLE 2019, DLS 2019, AGERE 2019, AI-SEPS 2019, DSM'19, IC 2019, LIVE 2019, META 2019, NJR 2019, REBLS 2019, STOKED 2019, VMIL 2019

SPLASH is the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH 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 2019 will take place in Athens from Sunday 20th to Friday 25th of October 2019 ...

Sun 18 - Fri 23 August 2019 Berlin, Germany

ICFP 2019

with Haskell 2019, Erlang 2019, FARM 2019, FHPNC 2019, HIW 2019, ML 2019, OCaml 2019, PLMW @ ICFP 2019, Scheme 2019, TyDe 2019, miniKanren 2019

ICFP 2019 is the 24th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 19-21, 2019 at the Hotel Scandic Berlin Potsdamer Platz. Co-located workshops and tutorials will take place on August 18 and 22-23. This year, ICFP is also co-located with BOBKonf, which will take place on August 21 at the same venue. In addition, Racketfest will take place on Au ...

Mon 15 - Fri 19 July 2019 Beijing, China

ISSTA 2019

with SPIN 2019, Diversity @ ISSTA - The Ada Workshop, Testing Competition

The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ISSTA 2019 will be held in Beijing, China, on July 15-19, 2019. ISSTA 2019 will be co-located with SPIN 2019, ...

Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom

ECOOP 2019

with AORTA 2019, BenchWork 2019, COP 2019, FTfJP 2019, ICOOOLPS 2019, PASS 2019, Panathon 2019, Scala 2019, VORTEX 2019

ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, ...

Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United States

PLDI 2019

with ISMM 2019, LCTES 2019, ARRAY 2019, CHIUW 2019, DBPL 2019, DPA 2019, DeepSpec 2019, MAPL 2019, PLMW @ PLDI 2019, SOAP 2019, WAISP 2019 , WAX 2019

PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. PLDI 2019 was part of the ACM Federated Computing Research Conference (FCRC), June 22-26. Co-located venues included ISCA, SIGMETRICS, SPAA, STOC, EC, E-energy, HPDC, ICS, IWQoS, ISMM, LCTES, and COLT, providing opportunities to mee ...

Sat 25 - Fri 31 May 2019 Montreal, QC, Canada

ICSE 2019

with FormaliSE 2019, ICGSE 2019, ICPC 2019, ICSSP 2019, MOBILESoft 2019, MSR 2019, OSS 2019, TechDebt 2019, SEAMS 2019

The International Conference on Software Engineering (ICSE), sponsored by IEEE CS and ACM, is the premier software-engineering conference, where researchers, practitioners, and educators come together to present, discuss, and debate the most recent research results, innovations, trends, and concerns in the field of software engineering. ICSE’19 is the 41st in the conference series. It will be held at the iconic ...

Sun 14 Apr 2019 Providence, Rhode Island, United States

VEE 2019

Welcome to the VEE 2019 conference website. The 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’19) brings together researchers and practitioners from different computer systems domains to interact and share ideas in order to advance the state of the art of virtualization, systems programming and programming languages. As usual (since 2008), VEE’19 is co-located with ASPL ...

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

ETAPS 2019

with ESOP 2019, FASE 2019, FOSSACS 2019, POST 2019, TACAS 2019, BEHAPI 2019, CREST 2019, DICE-FOPARA 2019, GaLoP 2019, HCVS 2019, HSB 2019, InterAVT 2019, LiVe 2019, MeTRiD 2019, PERR 2019, PLACES 2019, QAPL 2019, SPIoT 2019, SYNT Camp 2019, SynCoP 2019, VerifyThis 2019

The European Joint Conferences on Theory and Practice of Software is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of five main annual conferences, ESOP, FASE, FOSSACS, POST and TACAS, accompanied by 17 satellite workshops and other events including, for the first time this year, a mentoring worksh ...

Mon 1 - Thu 4 April 2019 Genoa, Italy

‹Programming› 2019

with ELS 2019, CoCoDo 2019, ICW 2019, LANGETI'19, MiniPLOP 2019, MoreVMs'19, PASS'19, PX/19, ProWeb'19, Salon des Refusés 2019, VPT 2019

Thank you for attending ‹Programming› 2020! We hope to see you next year in March at ‹Programming› 2020 in Porto, Portugal!

Sat 16 - Wed 20 February 2019 Washington, DC, United States

PPoPP 2019

with PMAM 2019, WPMVP 2019

PPoPP is the premier forum for leading work on all aspects of parallel programming, including theoretical foundations, techniques, languages, compilers, runtime systems, tools, and practical experience. In the context of the symposium, “parallel programming” encompasses work on concurrent and parallel systems (multicore, multi-threaded, heterogeneous, clustered, and distributed systems; grids; datacenters; clouds ...

Sun 13 - Sat 19 January 2019 Cascais, Portugal

POPL 2019

with CPP 2019, VMCAI 2019, PADL 2019, BEAT 2019, CoqPL 2019, LAFI 2019, OPCT 2019, Off the Beaten Track 2019, PEPM 2019, PLMW 2019, PriSC 2019

Program of POPL 2019 and Co-located Events List of Papers Accepted for POPL 2019 Distinguished Papers To download (the definitive and open access version of) a POPL paper, click “Link to publication” under the paper’s title and authors. Videos of POPL 2019 talks (hosted on YouTube) are available on their event page, where slides and other supplementary material may also be available. To get to a talk’s e ...

Thu 22 Nov 2018 Utrecht, Netherlands

PLNL 2018

Workshop Overview The purpose of this new annual workshop is to bring together researchers in the area of programming languages in the Netherlands. The workshop targets programming language research in the broad sense, included but not limited to the design, implementation, theory, application, and teaching of programming languages.

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

SPLASH 2018

with GPCE 2018, Onward! 2018, SLE 2018, DLS 2018, AGERE 2018, AI-SEPS 2018, BLOCKS+ 2018, DSLDI 2018, GRACE 2018, HILT 2018, LIVE 2018, META'18, NJR 2018, , OCAP 2018, PLATEAU 2018, REBLS 2018, SLEBoK 2018, TURBO'18, VMIL 2018

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 at the intersection of programming, languages, and software engineering. SPLASH 2018 will take place in Boston from Sunday 4th to Friday 9th of November 2018. SPLASH includes the following co-located conferences: OOPSL ...

Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States

ESEC/FSE 2018

with JPF 2018, ROSE Festival 2018

The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. Formerly the FSE conference in alternating years and ESEC/FSE in other years, ESEC/F ...

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

ICFP 2018

with Haskell 2018, Scala 2018, Erlang 2018, FARM 2018, FHPC 2018, HIW 2018, HOPE 2018, ML 2018, NPFL 2018, OCaml 2018, PLMW @ ICFP 2018, Scheme 2018, TyDe 2018

Videos from ICFP 2018 are now available. ICFP 2018 is the 23rd ACM SIGPLAN International Conference on Functional Programming. This year, ICFP is colocated with Strange Loop! Considering attending ICFP for the first time? See our brief explainer. The conference booklet includes the schedule, sponsors, committees, and more. Recipients of the ICFP Distinguished Paper Award are now shown in the program.

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

ECOOP and ISSTA 2018

with CurryOn 2018, ECOOP 2018, ISSTA 2018, BenchWork 2018, COP 2018, DPA 2018, FTfJP 2018, ICOOOLPS 2018, INTUITESTBEDS 2018, ISAGT 2018, ML4PL 2018, Panathon 2018, SALAD 2018, SOAP 2018, TAV-CPS/IoT 2018, VORTEX 2018, WoSSCA 2018

Co-Located Events ECOOP 2018 is the 32nd European Conference on Object-Oriented Programming. ECOOP is a programming languages conference. Its primary focus has been object-orientation, though in recent years, it has accepted quality papers over a much broader range of programming topics. Areas of interest include, but are not limited to, the theory, design, implementation, optimization, and a ...

Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States

PLDI 2018

with ISMM 2018, LCTES 2018, ARRAY 2018, DeepSpec 2018, FMS 2018, MAPL 2018, PLMW @ PLDI 2018

PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. The main PLDI conference will be Wed, 20 June through Fri, 22 June. Workshops and tutorials will be held on Mon, 18 June and Tue, 19 June. Please see the overview below. Proceedings for PLDI and affiliated events are available thro ...

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

* ICSE 2018 *

with FormaliSE 2018, ICGSE 2018, ICPC 2018, ICSSP 2018, MSR 2018, MobileSoft 2018, TechDebt 2018, SEAMS 2018, SEiA 2018

The keynote presentations and videos are available on keynote page ICSE2018 in IEEE Software Margaret Hamilton in IEEE Software Some more photos from ICSE 2018 ICSE 2018 on Flickr Goodbye and see you at ICSE 2019 in Montréal! ICSE, the International Conference on Software Engineering, is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present ...

Mon 9 - Thu 12 April 2018 Nice, France

‹Programming› 2018

with Bx 2018, CoCoDo 2018, LASSY 2018, , MoreVMs 2018, PASS 2018, PX/18, ProWeb 2018, Programming for the Large 2018, Salon des Refusés 2018

Thank you for attending ‹Programming› 2018! We hope to see you next year at ‹Programming› 2019 in Genova, Italy!

Sun 25 Mar 2018 Williamsburg, Virginia, United States

VEE 2018

Welcome to the VEE 2018 conference website. The 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’18) brings together researchers and practitioners from different computer systems domains to interact and share ideas in order to advance the state of the art of virtualization, systems programming and programming languages. As usual (since 2008), VEE’18 is co-located with ASPL ...

Sat 24 - Wed 28 February 2018 Vösendorf / Wien, Austria

PPoPP 2018

with GPGPU 2018, PMAM 2018, WPMVP 2018

PPoPP is the premier forum for leading work on all aspects of parallel programming, including theoretical foundations, techniques, languages, compilers, runtime systems, tools, and practical experience. In the context of the symposium, “parallel programming” encompasses work on concurrent and parallel systems (multicore, multi-threaded, heterogeneous, clustered, and distributed systems; grids; datacenters; clouds ...

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

POPL 2018

with CPP 2018, VMCAI 2018, PADL 2018, PPS 2018, CoqPL 2018, NetPL 2018, Off the Beaten Track 2018, PEPM 2018, PLMW 2018, PriSC 2018

Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make prin ...

Sun 22 - Fri 27 October 2017 Vancouver, Canada

SPLASH 2017

with GPCE 2017, Onward! 2017, PLoP 2017, SLE 2017, DLS 2017, Scala 2017, AGERE 2017, CHESE 2017, CoCoS 2017, DSLDI 2017, Escaped 2017, FOSD 2017, LIVE 2017, META 2017, NJR 2017, NOOL 2017, OCAP 2017, PLATEAU 2017, PX/17.2, Parsing@SLE 2017, REBLS 2017, SAVR 2017, SEPS 2017, VMIL 2017, WODA 2017

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2017 will take place in Vancouver, Canada. SPLASH 2017 will be held October 22-27, 2017 at the Hyatt Regency Vancouver.

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

ICFP 2017

with CUFP 2017, FSCD 2017, Haskell 2017, Erlang 2017, FARM 2017, FHPC 2017, HIW 2017, HOPE 2017, ML 2017, OCaml 2017, PLMW 2017, Scheme 2017, TyDe 2017

ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, there are keynotes from Chris Martens and John Launc ...

Mon 10 - Fri 14 July 2017 Santa Barbara, California, United States

ISSTA 2017

with SPIN 2017

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ISSTA 2017 is over. See you at ISSTA 2018 in Amsterdam! Attending the conference Please see the Venu ...

Sun 18 - Fri 23 June 2017 Barcelona, Spain

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

with CurryOn 2017, DEBS 2017, ECOOP 2017, ISMM 2017, LCTES 2017, PLDI 2017, ARRAY 2017, COP 2017, DSW 2017, , FTfJP 2017, IC 2017, ICOOOLPS 2017, IWACO 2017, JSTools 2017, MAPL 2017, PLMW 2017, PMLDC 2017, SOAP 2017, VORTEX 2017, WCIRE 2017

PLDI 2017 is the 38th annual ACM SIGPLAN conference on Programming Language Design and Implementation. PLDI is a reasonable forum for all areas of programming language research. ECOOP 2017 is the 31st European Conference on Object-Oriented Programming. ECOOP is a conference on programming with an emphasis on object-orientation. ISMM 2017 is the 16th ...

Sat 8 - Sun 9 April 2017 Xi'an, China

VEE 2017

The 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’17) brings together researchers and practitioners from different computer systems domains to interact and share ideas in order to advance the state of the art of virtualization, systems programming and programming languages. As usual (since 2008), VEE’17 is co-located with ASPLOS 2017, which will take place in Xi’an, Chin ...

Mon 3 - Thu 6 April 2017 Brussels, Belgium

‹Programming› 2017

with ELS 2017, Modularity 2017, CoCoDo 2017, LASSY 2017, MOMO 2017, MiniPLoP 2017, MoreVMs 2017, PASS 2017, PX 2017, ProWeb 2017, Salon des Refusés 2017

Thank you for attending ‹Programming› 2017! We hope to see you next year in Nice, France at ‹Programming› 2018!

Sat 4 - Wed 8 February 2017 Austin, Texas, United States

PPoPP 2017

with GPGPU 2017, PMAM 2017, SYCL 2017, TRANSACT 2017, WCIRE 2017

PPoPP 2017 is the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming PPoPP is the forum for leading work on all aspects of parallel programming, including foundational and theoretical aspects, techniques, languages, compilers, runtime systems, tools, and practical experiences. In the context of the symposium, “parallel programming” encompasses work on concurrent and parallel systems (m ...

Sun 5 - Mon 6 February 2017 Austin, Texas, United States

CC 2017

Welcome to the website of the International Conference on Compiler Construction 2017 conference. Updates are added to the website frequently. Please check back frequently for the latest news! The proceedings are available in the ACM Digital Library: http://dl.acm.org/citation.cfm?id=3033019

Sun 15 - Sat 21 January 2017

POPL 2017

with CPP 2017, VMCAI 2017, PADL 2017, PPS 2017, CoqPL 2017, N40AI 2017, Off the Beaten Track 2017, PEPM 2017, PLMW, PiP 2017, RDP 2017, SCM 2017, TTT 2017

The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. The symposium is organised by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. Latest news POPL 2017 is ove ...

Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

SPLASH 2016

with GPCE 2016, Onward! 2016, SLE 2016, DLS 2016, Scala 2016, AGERE 2016, DSLDI 2016, DSM 2016, FOSD 2016, ITSLE 2016, LWC@SLE 2016, META 2016, Mobile! 2016, NOOL 2016, PLATEAU 2016, Parsing@SLE 2016, REBLS 2016, RUMPLE 2016, SA-MDE 2016, SEPS 2016, VMIL 2016, WODA 2016

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in Amsterdam, The Netherlands. Planning your attendance ...

Sun 18 - Sat 24 September 2016 Nara, Japan

ICFP 2016

with CUFP 2016, Haskell 2016, Erlang 2016, FARM 2016, FHPC 2016, HIW 2016, HOPE 2016, ML 2016, OCaml 2016, PLMW 2016, Scheme 2016, TyDe 2016

ICFP 2016 is the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. During the conference there will be a Student Research Competi ...

Sun 17 - Fri 22 July 2016 Rome, Italy

ECOOP 2016

with CurryOn 2016, COP 2016, FTfJP 2016, GRACE 2016, ICOOOLPS 2016, IWACO 2016, JSTools 2016, LIVE 2016, PMLDC 2016, PX 2016, STOP 2016, VORTEX 2016

At a glance: Videos | Awards | Proceedings | Artifacts | Restaurants | Walks The European Conference on Object-Oriented Programming covers all areas of object technology and related software development technologies. Come celebrate the 30th edition in Rome, Italy, on July 17-22, 2016. This year Curry On, the ECOOP Summer School, the PhD Symposium, and 11 workshops will be all co-locate ...

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

PLDI 2016

with LCTES 2016, ISMM 2016, ARRAY, FMS, PLMW@PLDI, SOAP 2016, , X10

The 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI, is the premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI’s emphases include innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations. The ...

Wed 25 - Fri 27 May 2016 Delft, Netherlands

OOPSLA 2016 PC Meeting

The OOPSLA 2016 Program Committee Meeting will be hosted by Delft University of Technology in Delft, The Netherlands from Thursday 26 to Friday 27 May 2016. Venue Accomodation Traveling to Delft On the Wednesday (26 May 2016) before the PC meeting we will hold an informal workshop in which PC members can present their recent work: PC Workshop Organizers General Chair: Eelco Visser OOPSLA P ...

Sat 2 - Sun 3 April 2016

VEE 2016

The 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’16) brings together researchers and practitioners from different computer systems domains to interact and share ideas in order to advance the state of the art of virtualization, systems programming and programming languages. Program, including full papers, available here Best Paper awarded to Building a KVM-based Hyperv ...

Mon 14 - Thu 17 March 2016 Spain

Modularity 2016

with AOSDM 2016, CROW 2016, FOAL 2016, LASSY 2016, LaMOD'16, MASS 2016, MOMO 2016, Reflect 2016, SE4SuSy 2016

Welcome to the 15th International Conference on Modularity! Modularity’16 is the premier forum for presentation of research results and experience reports on software modularity, with an emphasis on modular structures that cut across traditional abstraction boundaries. Modularity’16 will be hosted by the University of Malaga, Malaga, Spain. Modularity shapes the quality of information systems, software, and syst ...

Sat 12 - Wed 16 March 2016 Barcelona, Spain

PPoPP 2016

with GPGPU-9, PMAM 2016, PP4REE 2016, PPAA - cancelled, SYCL 2016, TRANSACT 2016, WPMVP 2016

Barcelona, Spain, March 12-16 2016 Updated: Feedback Survey PPoPP 2016 is the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming PPoPP is the forum for leading work on all aspects of parallel programming, including foundational and theoretical aspects, techniques, languages, compilers, runtime systems, tools, and practical experiences. In the context of the symposium, “parallel p ...

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

POPL 2016

with CPP 2016, VMCAI, PADL, CoqPL 2016, Off the Beaten Track 2016, PEPM 2016, PLMW, PPS 2016

POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. Hotel updates A block of rooms at Hotel Indigo. ...

Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States

SPLASH 2015

with GPCE 2015, Onward! 2015, PLoP 2015, SLE 2015, DBPL 2015, DLS 2015, AGERE! 2015, DSM 2015, ETX 2015, Future Programming Workshop 2015, MobileDeLi 2015, NOOL 2015, PLATEAU 2015, PROMOTO 2015, Parsing@SLE 2015, REBLS 2015, SEPS 2015, Smart Software Strategies 2015, WODA 2015

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) is the premier conference at the intersection of programming, languages, and software engineering. Embracing all aspects of software construction and delivery, this year SPLASH includes OOPSLA, Onward!, DLS, GPCE, SLE, PLoP, and DBPL. SPLASH 2015 will take place October 25-30, 2015 in Pittsburgh, Pennsyl ...

Sun 5 - Fri 10 July 2015 Prague, Czech Republic

ECOOP 2015

with ( Curry On ) Prague, COP 2015, DSLDI 2015, FTfJP 2015, ICOOOLPS 2015, JSTools 2015, MASPEGHI 2015, ML4PL 2015, NetPL 2015, PLAS 2015, PLE 2015, Pharo 2015, RIOT 2015, STOP 2015, Truffle 2015

ECOOP/Curry On program here. The European Conference on Object-Oriented Programming covers all areas of object technology and related software development technologies. The 29th edition takes place 5-10 July, 2015 in Prague, Czech Republic. The program committee accepted 31 papers out of 136 submission. In addition the program includes 13 workshops, the doctoral symposium, the summer school and a code sprint. ...

Sat 13 - Wed 17 June 2015 Portland, Oregon, United States

PLDI 2015

with Scala 2015, ARRAY 2015, CHIUW 2015, PLOOC 2015, SOAP 2015, WAX 2015, WOW 2015, X10 2015

PLDI 2015 is the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation. The full PLDI 2015 proceedings are freely available at http://sigplan.org/OpenTOC/pldi16.html. PLDI is a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI’s emphases include innovative and creative approaches to comp ...

Sun 14 Jun 2015 Portland, Oregon, United States

ISMM 2015

ISMM is a forum for research in memory management. ISMM 2015 will be co-located with PLDI 2015 at FCRC 2015.

Tue 14 - Thu 16 April 2015 London, United Kingdom

ESOP 2015

Welcome the 24th ESOP conference held at Queen Mary, University of London part of the ETAPS symposium in April 2015. ESOP is a broad conference covering all aspects of programming language research. The program committee consisted of 28 researchers from 13 different countries and 64 external reviewers. They selected 33 papers out of 115 submissions. The accepted papers are here. ESOP will be held over three days ...

Tue 13 - Wed 14 January 2015 Mumbai, India

PEPM 2015

The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. PEPM 2015 will take place 13-14 January, 2015 in Mumbai, India, co-located with POPL 2015. Call for papers (invited talk by Shriram ...

Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

SPLASH 2014

with DLS, Onward! 2014, AGERE!, DSLDI, DSM, ETX, FOOL, FP, HILT 2014, MobileDeLi, PLATEAU, PROMOTO, PSP, REBLS, SEPS, Summer School on Multicore Programming 2014, TD, WOSC

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2014 will take place 20-24 October 2014 in Portland, Oregon, United States at the Portland Marriott Downtown Waterfront Hotel. The ...

Sat 26 - Thu 31 October 2013 Indianapolis, United States

SPLASH 2013

with DLS 2013, GPCE 2013, Onward! 2013, SLE 2013

OOPSLA OOPSLA is the premier conference on Object-Oriented Programming, having been the forum for some of the most important software developments over the last couple of decades. OOPSLA was the incubator for CRC cards, CLOS, design patterns, Self, agile methodologies, service-oriented architectures, wikis, UML, test driven design, refactoring, Java, dynamic compilation, and aspect-oriented programming, to name ...

Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States

SPLASH 2012

with PLOP 2012, DLS 2012, AGERE 2012, DCI 2012, DCP 2012, DSM 2012, FOOL 2012, FREECO 2012, Neo4j 2012, PLATEAU 2012, RACES 2012, VMIL 2012, xDD 2012

Systems, Programming, Languages and Applications: Software for Humanity SPLASH is the ACM conference on Systems, Programming, Languages and Applications: Software for Humanity. SPLASH is an annual conference that embraces all aspects of software construction and delivery. This is the premier conference at the intersection of programming languages, programming, and software engineering. Since 2010 SPLASH has ...

Fri 21 - Thu 27 October 2011 Portland, Oregon, United States

SPLASH 2011

with GPCE 2011, PLOP 2011, DLS 2011, AGERE 2011, AOOPES 2011, COOMP 2011, DSM 2011, FOOL 2011, FREECO 2011, Green 2011, NEAT 2011, PLASTIC 2011, PLATEAU 2011, Scheme 2011, TMC 2011, VMIL 2011

SPLASH stands for Systems, Programming, Languages and Applications: Software for Humanity. SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies. Since 2010 SPLASH is the umbrella for OOPSLA and Onward!. This year it features a third technical track, Wavefront, designed to publish innovative work closely related to a ...