CIbSE 2023

CIbSE is the leading research forum on Software Engineering (SE) in Ibero-America. The primary goal of this conference is to promote high-quality scientific research in Ibero-American countries and, thus, to support the researchers in this community in publishing and discussing their work. Also, the conference fosters collaboration and scientific research among academics, students, and practitioners from the indu ...

REFSQ 2023

Proceedings available Conference proceedings of Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023 Barcelona, Spain, April 17–20, 2023 You can find them here. All registered participants can access them free of charge for a limited time period (from April 13 until May 14, 2023). REFSQ 2023: Joint Proceedings of Workshops, Doctoral Symposium, Posters &amp ...

ICST 2023

with A-MOST 2023, AIST 2023, CCIW 2023, CoAST 2023, INTUITESTBEDS 2023, ITEQS 2023, IWCT 2023, InSTA 2023, Mutation 2023, NEXTA 2023, TestEd 2023

The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023 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 area of Software Testing, Verification and Validation. ICST 2023 will include keynote addresses by eminent scient ...

EVCS

5 April 2023, Delft, The Netherlands Eelco Visser (1966–2022) was Antoni van Leeuwenhoek Professor of Computer Science and Chair of the Programming Languages Group in the Department of Software Technology at TU Delft. His research career started with studies at the University of Amsterdam and CWI, followed by appointments at Oregon Graduate Institute and Utrecht University. He was highly influential in the softw ...

tinyML Research Symposium 2023

Tiny machine learning (tinyML) is a fast-growing field of machine learning technologies enabling on-device sensor data analytics at extremely low power, typically in the milliwatt range and below. The tinyML ecosystem is fueled by (i) current applications in vision and audio that are already becoming mainstream and commercially available; (ii) emerging low-power commercial applications and new systems concepts on ...

SIGCSE TS 2023

The Technical Symposium on Computer Science Education is organized by the ACM Special Interest Group on Computer Science Education (SIGCSE) and is the organization’s flagship conference. The SIGCSE Technical Symposium addresses problems common among educators working to develop, implement and/or evaluate computing programs, curricula, and courses. The symposium provides a forum for sharing new ideas for syllabi, ...

‹Programming› 2023

with ARPL 2023, MoreVMs 2023, PX/23, QP 2023, VIMPL 2023, mkTut2023

Thank you for attending ‹Programming› 2023! We hope to see you March next year at ‹Programming› 2024 in Lund, Sweden!

PPoPP 2023

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

CGO 2023

February 25th – March 1st, 2023, Montreal, Canada 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 static ...

CC 2023

February 25-26, 2023, Montréal, Québec, Canada. Co-located with CGO, PPoPP, and HPCA 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 is an ACM SIGPLAN conference, and implements guide ...

POPL 2023

with CPP 2023, VMCAI 2023, PADL 2023, CoqPL 2023, LAFI 2023, PEPM 2023, PLMW @ POPL 2023, PriSC 2023, ProLaLa 2023

Welcome to the website of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). For the fiftieth POPL and the 50th anniversary of POPL, we will be back where POPL #1 happened: Boston, Massachusetts. 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 experimenta ...

SPLASH 2022

with APLAS 2022, DLS 2022, GPCE 2022, SAS 2022, SLE 2022, FTSCS 2022, HATRA 2022, LIVE 2022, PAINT 2022, REBLS 2022, Unsound 2022, VMIL 2022

UPDATE: See our attendee instructions here please: https://2022.splashcon.org/attending/how-to-splash SPLASH 2022 Airmeet Page: https://tinyurl.com/splash2022virtual The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at t ...

APSEC 2022

Established in 1993, the Asia-Pacific Software Engineering Conference (APSEC) is a leading international forum on full-spectrum software engineering and technology, particularly in the Asia-Pacific region. The main conference program consists of Technical Research Track 42 papers), Software Engineering in Practice Track (5), Early Research Achievement Track (14), Software Engineering Education Track(5) and poster ...

ACM ISS 2022

Welcome! ACM ISS 2022 is now over, thank you for coming, we hope you had a great experience. See you next year at ACM ISS 2023 in Pittsburgh, PA, USA! Welcome to the 2022 ACM Interactive Surfaces and Spaces Conference (ACM ISS 2022). The event will take place from 20-23 November 2022 in Wellington, New Zealand (Aotearoa). ACM Interactive Surfaces and Spaces is the premier academic venue for research in the desi ...

ESEC/FSE 2022

with PROMISE'22, SSBSE 2022, A-TEST 2022, AI-assisted Code Companion Workshop 2022, Ada Workshop, EASEAI 2022, Gamify 2022, MSR4P&S 2022, MaLTeSQuE 2022, QP4SE 2022, SEA4DQ 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 ...

MODELS 2022

About MODELS conference MODELS, the ACM/IEEE 25th 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 ...

ASE 2022

Mark Harman Facebook Inna Dvortsova Facebook Automated Testing as Production Simulation: Research Opportunities and Challenges Lionel Briand Univ. of Ottawa Univ. of Luxembourg Autonomous Systems: How to address the Dilemma between Autonomy and S ...

HILT'22 - Supporting a Rigorous Approach to Software Development

This is the seventh in the HILT series of conferences and workshops focused on the use of High Integrity Language Technology to address challenging issues in the engineering of highly complex critical software systems. HILT is organized by ACM SigAda, in cooperation with Ada Europe. High Integrity Language Technologies have been tackling the challenges of building efficient, safe, reliable software for decades. ...

ESEIW 2022

Welcome to the joint website of ESEIW 2022, the Empirical Software Engineering International Week 2022, and ESEM 2022, the 16th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. The ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) is the premier conference for presenting research results related to empirical software engineering. ESEM p ...

ACSOS 2022

We are happy to announce that the third edition of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) will take place virtually from September 19th to 23rd, 2022. ACSOS was founded as a merger of the IEEE International Conference on Autonomic Computing (ICAC) and the IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO). The goal of the ACSOS i ...

ECSA 2022

Welcome to the website of the ECSA 2022 conference! 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 16th European Conferenc ...

VL/HCC 2022

Welcome to VL/HCC 2022! 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 Langu ...

ICFP 2022

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

The 27th ACM SIGPLAN International Conference on Functional Programming took place in Ljubljana, Slovenia, on 11-16 September 2022.

Requirements Engineering 2022

Welcome to the website of the 30th IEEE International Requirements Engineering 2022 conference. 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 of requirements engineering. RE ’22 will be held in a ...

ICER 2022

The 18th ACM Conference on International Computing Education Research was a hybrid conference: you could participate physically by traveling to beautiful Lugano, Switzerland, or you could participate virtually, by joining us through our conference platform. We started with an informal reception for physical participants in the evening of Sunday, August 7. All registered participants received an invite for Discor ...

ISSTA 2022

with AISTA 2022

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. 2022 will mark the 31st edition of ISSTA! ISSTA Impact Paper Award Congratulations to the following ...

ECOOP 2022

with Scala 2022, COP 2022, FTfJP 2022, ICOOOLPS 2022, PAW 2022, PLF 2022, PRIDE 2022, Truffle 2022, VORTEX 2022

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, ...

PLDI 2022

with ISMM 2022, LCTES 2022, ARRAY 2022, ASA 2022, Commute, EGRAPHS 2022, Infer 2022, MAPS 2022, PLMW, SOAP 2022

Welcome to the home page of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022)! 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 2022 will be held in-person at the Catamaran Resort in San Diego, California, USA. PLDI 2022 Guides ...

ICT4S 2022

The 8th International Conference on ICT for Sustainability was organised by the University of Plovdiv “Paisii Hilendarski”, Faculty of Mathematics and Informatics. In response to the COVID-19 pandemic, the conference was held in a hybrid form in Plovdiv, Bulgaria and virtually. Main conference: 14 - 16 June 2022 Pre-conference workshops: 13 June 2022 Post-conference workshops: 17 June 2022 The international I ...

EASE 2022

with 3rd Blockchain Software Engineering Workshop, DevOps Quality Management 2022, International Workshop on Software Security 2022

Welcome to EASE 2022 The International Conference on Evaluation and Assessment in Software Engineering (EASE) is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A-conference in CORE.  EASE 2022 welcomes high-quality submissions, describing original and ...

ICSE 2022

with AST 2022, CAIN 2022, CHASE 2022, FormaliSE 2022, ICPC 2022, MOBILESoft 2022, MSR 2022, TechDebt 2022, SEAMS 2022, APR 2022, BotSE 2022, DREE 2022, EMIP 2022, EnCyCriS 2022, FairWare 2022, GAS 2022, GE@ICSE 2023, IWSiB 2022, MET 2022, NLBSE 2022, Q-SE 2022, RoPES 2022, RoSE 2022, SBST 2022, SE4RAI 2022, SEENG 2022, SERP4IoT 2022, SESoS 2022, WETSEB 2022

Welcome to the website of the ICSE 2022 conference in Pittsburgh! ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. Since 1975, ICSE provides a forum where researchers, practitioners, and educators gather together to present and discuss the most recent innovations, trends, experiences and issues in the field of software engineering.

FLOPS 2022

Welcome to the website of the 16th International Symposium on Functional and Logic Programming (FLOPS 2022). FLOPS 2022 is co-sponsored by Special Interest Group on Programming and Programming Languages (SIG-PPL), Japan Society for Software Science and Technology (JSSST), in cooperation with Asian Association for Foundations of Software (AAFS) and ACM SIGPLAN. The FLOPS 2022 proceedings are now available onli ...

‹Programming› 2022

with ELS 2022, Boxer Salon 2022, MOPS 2022, MoreVMs 2022, PX/22, ProWeb 2022

Thank you for attending ‹Programming› 2022! We hope to see you next year in March at ‹Programming› 2023 in Tokyo, Japan!

ICST 2022

with A-MOST 2022, AIST 2022, INTUITESTBEDS 2022, ITEQS 2022, IWCT 2022, InSTA 2022, Mutation 2022, NEXTA 2022

The 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022 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 area of Software Testing, Verification and Validation. ICST 2022 will include keynote addresses by eminent scient ...

CGO 2022

April 2nd - April 6th, 2022, Seoul, South Korea Co-located with PPoPP, CC and HPCA   Get Whova App   Whova Conference Webpage (PC only) CGO 2022 was held as a virtual conference. IEEE Symposium on Code Generation and Optimization (CGO 2022) – Now Taking Place Virtually The safety and well-being of all conference participants is our priority. After evaluating the ongoing COVID-19 situation, th ...

CC 2022

April 5 - 6, 2022, Online 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 is an ACM SIGPLAN conference, and implements guidelines and procedures recommended by SIGPLAN. CC 2022 is co-l ...

PPoPP 2022

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

tinyML Research Symposium 2022

Tiny machine learning (tinyML) is a fast-growing field of machine learning technologies enabling on-device sensor data analytics at extremely low power, typically in the milliwatt range and below. The tinyML ecosystem is fueled by (i) emerging commercial applications and new systems concepts on the horizon; (ii) significant progress on algorithms, networks, and models down to 100 kB and below; and (iii) current l ...

REFSQ 2022

Welcome to the website of the REFSQ 2022 conference! The 28th International Working Conference on Requirement Engineering: Foundation for Software Quality will take place from the 21st to 24th of March 2022. It is our intention to hold a live, in-person event in Aston, Birmingham, UK. We are aware that health recommendations may change at any moment, and the REFSQ 2022 organization is committed to promptly adapt ...

VEE 2022

VEE will be held with ASPLOS 2022. More information of the papers can be accessed here: https://www.sigops.org/s/conferences/vee/2022/toc.html

POPL 2022

with CPP 2022, VMCAI 2022, PADL 2022, CoqPL 2022, LAFI 2022, PEPM 2022, PLMW 2022, PriSC 2022, ProLaLa 2022, WITS 2022

Welcome to the website of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022). 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 pri ...

AI native Enterprises 2021

Enterprises of the future will be complex system of systems of socio-cyber-physical actors, that operate in dynamic and uncertain environments. They will need to continue delivering on their goals in the face of unforeseen changes and events (such as global pandemics) along multiple dimensions. The goals they aim to meet are also likely to evolve rapidly as enterprises look to exploit opportunities as they emerge ...

ASE 2021

Welcome to the website of the ASE 2021 conference. The 36th IEEE/ACM International Conference on Automated Software Engineering. The ASE 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, and m ...

C&ESAR 2021: Automation in Cybersecurity

Every year since 1997, the French Ministry of Defense organizes a cybersecurity conference, called C&ESAR. This conference is now one of the main events of the European Cyber Week (ECW) organized every fall in Rennes, Brittany, France. The goal of C&ESAR is to bring together governmental, industrial, and academic stakeholders interested in cybersecurity. This event, both educational and scientific, gathe ...

SPLASH 2021

with APLAS 2021, DLS 2021, GPCE 2021, SAS 2021, SLE 2021, Scala 2021, AGERE 2021, BCNC 2021, CONFLANG 2021, DSM 2021, HATRA 2021, LIVE 2021, REBLS 2021, VMIL 2021

Welcome Welcome to SPLASH 2021, 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 took place Sunday October 17th to Friday 22th in Chicag ...

MODELS 2021

Please feel free to download and distribute the conference flyer. About MODELS conference Contributions related to all aspects of modeling, modeling languages and model-based engineering are cordially invited to the 24th edition of MODELS, in Fukuoka, Japan virtually 10-15 October 2021. MODELS is the premier conference series for model-based software and systems engineering. Since 1998, MODELS has covered all ...

ESEM 2021

with SSBSE 2021

Mon 11 - Fri 15 October 2021 Welcome to the website of the ESEM 2021 conference, the 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. ESEM is the premier conference for presenting research results related to empirical software engineering. ESEM provides a stimulating forum where researchers and practitioners can present and discuss recent research results on a wide range ...

VL/HCC 2021

Welcome to VL/HCC 2021! 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 Langu ...

ACSOS 2021

We are happy to announce that the second edition of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) will take place in Washington DC virtually from September 27 to October 1, 2021. ACSOS was founded as a merger of the IEEE International Conference on Autonomic Computing (ICAC) and the IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) ...

Requirements Engineering 2021

Welcome to the Requirements Engineering 2021 conference. 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 of RE.             &nbsp ...

ECSA 2021

The ECSA 2021 proceedings are now available at the following link: Springer online proceedings

ICFP 2021

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

SIGPLAN CARES will be hosting two sessions on Tuesday, August 24th (tomorrow). The topic for these sessions is creating inclusive conferences and we will discuss the inclusion survey. We’d love for everyone at ICFP to fill out the inclusion survey. ICFP is being held on Airmeet - if you haven’t received an email about it with an invite, please email to videos.icfp21@kaist.ac.kr. Please check the guides for atte ...

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

ICER 2021

The 17th annual conference was originally planned for Charleston, South Carolina, USA, but will be a virtual conference due to continued challenges presented by the Covid-19 pandemic. Many details remain to be determined, but please plan to join us August 16-19, 2021 for another excellent ICER experience. We plan to start each day at 13:00 EDT (UTC -04:00), for no more than 4 hours each day (final schedule to be ...

ECOOP and ISSTA 2021

with ECOOP 2021, ISSTA 2021, REBASE 2021, SPIN 2021, AISTA 2021, COP 2021, FTfJP 2021, ICOOOLPS 2021, IWACO 2021, VORTEX 2021, WOSCA 2021

Welcome to the website of the ECOOP/ISSTA 2021 conferences.

PLDI 2021

with HOPL IV, ISMM 2021, LCTES 2021, ARRAY 2021, Infer Practitioners 2021, MAPS 2021, PLMW@PLDI 2021, PLanQC 2021, SOAP 2021

Thanks for Attending PLDI 2021 July 6, 2021 Virtual Conference Site The conference is now at an end. Thanks for being part of it and making PLDI such a success. Our virtual conference site is now publicly available for all to enjoy. Just click the “Virtual Conference Site” button above to find archives of all materials from the conference, including videos of talks and technical sessions. Best wishes, and s ...

EASE 2021

with DevOps Quality Management 2021, PROPSER 2021, Second Blockchain Software Engineering Workshop

Welcome to EASE 2021 The International Conference on Evaluation and Assessment in Software Engineering (EASE) is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A-conference in CORE.  EASE 2021 welcomes high-quality submissions, describing original and ...

ICSE 2021

with AST 2021, CHASE 2021, FormaliSE 2021, ICPC 2021, ICSSP/ICGSE 2021, MOBILESoft 2021, MSR 2021, TechDebt 2021, SEAMS 2021, BoKSS 2021, BotSE 2021, CloudIntelligence 2021, DeepTest 2021, EnCyCriS 2021, GI 2021, MET 2021, Q-SE 2021, RoSE 2021, SCORE 2021, SEH 2021, SER&IP '21, SERP4IoT 2021, SESoS/WDES 2021, SEthics 2021, SoHeal 2021, WAIN'21, WETSEB 2021

43rd International Conference on Software Engineering, Virtual (originally in Madrid, Spain) Main conference 25 - 28 May 2021 Workshop 29 May - 4 June 2021 Co-located Events 17- 21 May 2021 Doctoral Symposium 21 & 24 May 2021 New Faculty Symposium 19 & 20 May 2021 Registration Period April 09, 2021. Updated at May 10, 2021. The registration pages will remain open until May 16th for pre-confer ...

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

ICST 2021

with A-MOST 2021, AIST 2021, CCIW 2021, DevOps4CPS-Testing 2021, INTUITESTBEDS 2021, ITEQS 2021, IWCT 2021, InSTA 2021, Mutation 2021, NEXTA 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 ...

VEE 2021

Welcome to the website of the VEE 2021 conference! Please note that the submission deadline for Research Papers has been extended to Jan 22, 2021! The 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’21) 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 virtualizatio ...

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 as a virtual event!

‹Programming› 2021

with ADEIRA 2021, CoCoDo 2021, MoreVMs 2021, OAF 2021, PX/21, ProWeb21, Salon Littéraire 2021

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

CC 2021

Register for the Conference Whova Conference Webpage 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, HP ...

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

CGO 2021

February 27th - March 3rd, 2021, Virtual Conference Co-located with PPoPP, CC and HPCA   Get Whova App     Whova Conference Webpage (PC only)   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 generati ...

POPL 2021

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

POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL. Preprints are also linked from Clowdr. Having trouble getting on Clowdr? DM @poplconf on Twitter or email popl2021team@gmail.com. Online registration is still open. POPL 2021 will take place on January 17–22, 2021 as a virtual meeting. Here’s How to POPL ...

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

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 SPLASH 2020, 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 takes place Sunday November 15th to Friday 20th. Update: Nov 15 ...

ESEC/FSE 2020

Due to the unforeseen effects of the Covid 19 pandemic, ESEC/FSE 2020 will be held virtually. The conference will be held using Zoom for the formal presentation sessions, and Discord for the more interactive sessions (both formal and informal). We will shortly be making more details available. We thank you for your patience in these difficult times. The ACM Joint European Software Engineering Conference and Symp ...

ICST 2020

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

COVID-RELATED UPDATES September, 22, 2020: ICST 2020 is going to be held as a virtual-only conference. 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 Valida ...

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.

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

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, ...

ECSA 2020

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. The online version of Springer CCIS proceedings can be accessed from here The online version of Springer LNCS proceedings can ...

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

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

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

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

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

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

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

‹Programming› 2020

with CoCoDo 2020, Convivial Computing Salon 2020, ENIAC20, ICW 2020, MiniPLoP 2020, MoreVMs'20, NIP'20, PX/20, 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 ...

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

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

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

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

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.

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

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

SPLASH 2019

with GPCE 2019, MPLR 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 ...

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

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, ...

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, ...

PLDI 2019

with ISMM 2019, LCTES 2019, ARRAY 2019, CHIUW 2019, DBPL 2019, DPA 2019, DeepSpec 2019, MAPL 2019, PLMW @ PLDI 2019, SOAP 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 ...

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

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

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

‹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!

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

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

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.

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

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

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.

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

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

* 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 ...

‹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!

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

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

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

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.

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

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

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

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

‹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!

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

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

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

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

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

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

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

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

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

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

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

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

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

ECOOP 2015

with 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. ...

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

ISMM 2015

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

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

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

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

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

SPLASH 2012

with 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 ...

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