Use '|' to match multiple|terms. Showing:
SeriesLatest Edition
Requirements EngineeringMon 20 - Fri 24 September 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 ...

A-MOSTA-MOST 2020 (with ICST 2020)Sat 24 Oct 2020
Porto, Portugal

A-MOST will be virtual A-MOST will be an online-only event and take place on Saturday 24th October 2020. Details about the schedule and the platform we will use will follow soon. 16th Workshop on Advances in Model Based Testing (A-MOST 2020) The increasing complexity, criticality and pervasiveness of software results in new challenges for testing. Model Based Testing (MBT) continues to be an important research ...

A-MobileA-Mobile 2019 (with ASE 2019)Mon 11 Nov 2019
San Diego, California, United States

Mobile apps have penetrated into our daily life for a longtime, providing an unprecedented convenience for their users.A massive number of talents and engineers have been involved in the mobile industry to improve its ecosystem from many aspects. For example, security specialists aim to find potential vulnerabilities and malware to protect the mobile ecosystem from attacks. Software architects propose tons of tec ...

ACSOSACSOS 2020Mon 17 - Fri 21 August 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 ...

ADSLADSL 2020 (with POPL 2020)Mon 20 Jan 2020
New Orleans, Louisiana, United States

In recent times, the verification of heap-manipulating programs, and static analyses in particular, has seen substantial success, largely due to the development of ‘Separation Logics’ (SLs). SLs provide embedded support for ‘local reasoning’: reasoning about the resource(s) being modified, instead of the state of the entire system. This form of reasoning is enabled by new syntax (dedicated atomic proposition and ...

AGEREAGERE 2020 (with SPLASH 2020)Thu 31 Dec 2020
Online Conference

The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and—more generally—on high-level programming paradigms which promote decentralized control in solving problems and developing software. The workshop is intended to cover both the theory and the practice of design and programming, bringing together researchers working on m ...

AI-SEPSAI-SEPS 2019 (with SPLASH 2019)Sun 20 - Fri 25 October 2019
Athens, Greece

The 6th ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems (AI-SEPS) (Co-located with SPLASH 2019 as an ACM SIGPLAN-approved workshop) The purpose of this workshop is to provide a stable forum for researchers and practitioners dealing with compelling challenges and issues of the software development life cycle on modern parallel platform ...

AOOPESAOOPES 2011 (with SPLASH 2011)Sat 22 - Thu 27 October 2011
Portland, Oregon, United States

AGILE AND OBJECT ORIENTED PRACTICES IN EMBEDDED SYSTEMS Embedded systems are the most prevalent of all computer systems in the world. More than 99% of all computer/microcontroller products that are sold each year are single purpose embedded systems rather than workstations, desktops, laptops, or server systems. This workshop will gather embedded systems programmers and engineers to discuss how Agile and object o ...

AORTAAORTA 2019 (with ECOOP 2019)Mon 15 - Fri 19 July 2019
Hammersmith, London, United Kingdom

Modern language runtimes are complex, dynamic environments that involve a myriad of components that must work cooperatively to achieve optimal functional and performance requirements of a given programming language. Typical core runtime technologies include dynamic just-in-time compilers for performance and hardware exploitation, garbage collectors for object management, platform abstraction interfaces for ease o ...

Aspect Oriented Strategies for Domain ModellingAOSDM 2016 (with Modularity 2016 )Mon 14 - Thu 17 March 2016
Spain

WORKSHOP CANCELLED The First International Aspect Oriented Strategies for Domain Modelling (AOSDM16) workshop provides a forum to discuss the possible applications of aspect oriented techniques to domain modelling and management. Domain modelling is a well-known practice to capture the essential semantic of a rich domain. It covers the processing and checking of domain constraints. Both of them that can ideally ...

APLASAPLAS 2020Sun 29 November - Thu 3 December 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 ...

ARRAYARRAY 2020 (with PLDI 2020)Thu 31 Dec 2020

7th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming ARRAY workshop postponed Due to the on-going COVID-19 situation, we are sad to announce that ARRAY 2020 will be postponed. We have explored other alternatives but believe that the best action forward is to plan to organize ARRAY at the next PLDI conference. We look forward to your participation at the next ARRA ...

ASEASE 2020Mon 21 - Fri 25 September 2020
Melbourne, Australia

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

ASTAST 2020 (with ICSE 2020)Wed 15 - Thu 16 July 2020

AST 2020, the first virtual conference on Automation of Software Test, is getting close. The event will take place on July 15 and July 16, between 7.30 and 17.00 UTC, see program for details. We look forward to “seeing you” soon in the AST virtual space! Below we provide a few guidelines to get you prepared before the conference and to be part of the live sessions. In fact, in line with the usually ...

Ally SkillsAlly Skills@PLDI2020 (with PLDI 2020)Thu 31 Dec 2020

“Allies” are people who support a group who are commonly the subject of discrimination or prejudice, but who are not members of that group. The Ally Skills workshop teaches simple everyday ways for allies to use their privilege and influence to support people who are targets of systemic oppression in their workplaces and communities. This includes women of all races, people of color, people with disabilities, LG ...

BAPLBAPL 2020 (with PLDI 2020)Thu 31 Dec 2020

BAPL workshop cancelled Due to the on-going Covid-19 pandemic, we are sad to announce that BAPL 2020 has been cancelled. We are grateful to the authors who submitted talk abstracts despite the uncertainty, and we will provide feedback on every submission. We hope to organise the first BAPL workshop at the next PLDI conference. Software building is an unloved but unavoidable part of the software engineering pr ...

BEATBEAT 2019 (with POPL 2019)Sun 13 - Sat 19 January 2019
Cascais, Portugal

Behavioural types are abstract representations of the sequences of operations that computational entities (say, channels) must perform. Stateful entities offer services in a non-uniform way (one cannot pop from an empty stack); traditional type systems cannot guarantee that operations are only invoked when the entity is in the right state. Context Large-scale software systems rely on message-passing protocols: ...

BEHAPIBEHAPI 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

APIs are software interfaces describing the services, functions or procedures offered by a software component to other components. Behavioural Types are a suite of technologies that elevate flat API descriptions to graph structures describing the intended order of usage. This permits automated analyses for correct API compositions to provide guarantees such as service compliance, deadlock freedom, dynamic adaptat ...

BLOCKS+BLOCKS+ 2018 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

Blocks programming, in which program syntax trees are represented as visual blocks, is popular in programming environments targeted at beginner programmers and casual programmers. The goal of this workshop is to bring together language designers, educators, and researchers to (1) discuss the state of the art of these environments, (2) assess the usability and effectiveness of these environments and their associat ...

BenchWorkBenchWork 2019 (with ECOOP 2019)Mon 15 - Fri 19 July 2019
Hammersmith, London, United Kingdom

Reproducible experiments are an important pillar of well-founded research. Having benchmarks that are publicly available and representative of real-world applications is an important step towards that; it allows us to measure the results of a tool in terms of its precision, recall and overall accuracy. Having such benchmarks is different from having a corpus of programs—a benchmark needs to have labelled data tha ...

Bidirectional Transformations (bx)Bx 2018 (with ‹Programming› 2018)Mon 9 - Thu 12 April 2018
Nice, France

Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, program ...

International Conference on Compiler ConstructionCC 2021Sat 27 February - Wed 3 March 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 ...

CCIWCCIW 2020 (with ICST 2020)Sat 24 Oct 2020
Porto, Portugal

Continuous Integration (CI) and Continuous Delivery (CD) are increasingly widespread throughout the technology sector. As large engineering organizations adopt CI/CD they are often met with scalability challenges. What works for small teams has not proven to work for large teams. This workshop invites practitioners and academics to come together and informally discuss the challenges and opportunities in build, te ...

CGOCGO 2021Sat 27 February - Wed 3 March 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 ...

CHESECHESE 2017 (with SPLASH 2017)Sun 22 - Fri 27 October 2017
Vancouver, Canada

Status Update CHESE 2017 has been cancelled due to insufficient number of submissions. The 3rd International Coding and Human aspects of Educational Software Engineering Workshop (CHESE 2017) Two of the backbones of software engineering are programming and testing. Both of these require many hours of practice to acquire mastery. To encourage students to put in these hours of practice, educators often employ th ...

CHIUWCHIUW 2019 (with PLDI 2019)Sat 22 - Wed 26 June 2019
Phoenix, Arizona, United States

CHIUW 2019 is the sixth annual Chapel Implementers and Users Workshop, held in conjunction with PLDI 2019 and ACM FCRC 2019, and sponsored by ACM SIGPLAN. CHIUW’s goal is to serve as a forum where users and developers of the Chapel language (https://chapel-lang.org) can gather to exchange ideas and report on work being done with Chapel and in support of it. Anyone is welcome to attend, from long-term Chapel enthu ...

COOMPCOOMP 2011 (with SPLASH 2011)Sat 22 - Thu 27 October 2011
Portland, Oregon, United States

COMBINED OBJECT-ORIENTED MODELING AND PROGRAMMING Languages for modeling and programming are diverging, with the implication that developers who would like to model end up with the challenge of maintaining both model and program artifacts. In addition, modeling is hampered by poor tool support compared to programming. The trend in programming languages is that less attention is paid to the fact that programming ...

COPCOP (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

Welcome to the 12th International Workshop on Context-Oriented Programming and Advanced Modularity Due to COVID-19, COP will be held virtually on Tuesday, 21 July 2020 (details below). Contextual information plays an ever-increasing role in our information-centric world. Current-day software systems adapt continuously to changing execution and usage contexts, even while running. Unfortun ...

Certified Programs and ProofsCPP 2021 (with POPL 2021)Sun 17 - Fri 22 January 2021
Online

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. The 10th ACM SIGPLAN International Conference on Certified Programs a ...

CRESTCREST 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

The CREST 2019 workshop is the fourth in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually some form of failures -, and explaining why they occurred, are increasingly in the focus of several, disjoint communities. The main objective of CREST is to bring together researchers and practi ...

Constrained and Reactive ObjectsCROW 2016 (with Modularity 2016 )Mon 14 - Tue 15 March 2016
Spain

Links to presentations: https://www.dropbox.com/sh/viso1fz4q9zxi3e/AAAuKtJ_j5LPg5ZWDTv0d6VQa?dl=0 The Constrained and Reactive Objects Workshop (CROW) invites papers that present research results related to using constraints and reactive programming in combination or integrated with imperative and object-oriented systems. This research area has recently received increasing interest again. Object-constraint, cons ...

CUFPCUFP 2017 (with ICFP 2017)Sun 3 - Sat 9 September 2017
Oxford, United Kingdom

Functional Programming has been at the forefront of a new generation of programming technologies, and companies have been successfully utilizing functional programming to enable more flexible, robust, and effective software development. The annual CUFP workshop is designed to serve the growing community of commercial users of functional programming. Practitioners meet and collaborate, language designers and user ...

Celebration of ASECelebration of ASE 2019 (with ASE 2019)Mon 11 - Fri 15 November 2019
San Diego, California, United States

The Celebration of ASE event brings together ASE PC members and other researchers who want to get to know each other, learn about each other’s current projects, learn how others think about technical work, and consider future directions for software-engineering research and practice. The program will combine talks and interactive discussions.

CoCoDoCoCoDo 2020 (with ‹Programming› 2020)Mon 23 Mar 2020
Porto, Portugal

Note that because Programming 2020 has been cancelled, CoCoDo 2020 will not take place as originally planned. CoCoDo is a coding dojo where you can enjoy an entire day of compiler programming under gentle guidance of field experts. Compiler construction comprises, but is not limited to, lexical analysis, syntactic analysis, preprocessing, context handling, code generation, code optimisation, virtual machines, i ...

CoCoSCoCoS 2017 (with SPLASH 2017)Sun 22 - Fri 27 October 2017
Vancouver, Canada

The sheer complexity and emergent behaviors of large scale systems make it impossible for people to completely understand them without the aid of specific tools. This is especially the case as systems are increasingly developed using advanced composition technologies such as aspect-orientation and dynamic script languages. Those modularity technologies enable the creation and application of powerful abstractions, ...

Salon (<2019: Salon des Refusés)Convivial Computing Salon 2020 (with ‹Programming› 2020)Mon 4 - Sat 9 May 2020
Porto, Portugal

COVID-19 update: we will be holding the Salon online from May 3-9: schedule; slack We were promised bicycles for the mind, but we got aircraft carriers instead. Can you imagine a world where everyone can build or customize the software they need without years of study? A world where software tools are lightweight and human scale, like bicycles, not massive engines of the Software-Industrial Complex? The singular ...

CoqPLCoqPL 2021 (with POPL 2021)Tue 19 Jan 2021
Online

The series of CoqPL workshops provide an opportunity for programming languages researchers to meet and interact with one another and members from the core Coq development team. At the meeting, we will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes, and generally work to strengthen the vibrant community around our favorite pro ...

CurryOnCurryOn 2018 (with ECOOP and ISSTA 2018)Mon 16 - Tue 17 July 2018
Amsterdam, Netherlands

These pages mirror the main Curry On website which can be found at http://www.curry-on.org/

DBPLDBPL 2019 (with PLDI 2019)Sat 22 - Fri 28 June 2019
Phoenix, Arizona, United States

For over 25 years, DBPL has established itself as the principal venue for publishing and discussing new ideas and problems at the intersection of data management and programming languages. Many key contributions relevant to the formal foundations, design, implementation, and evaluation of query languages (e.g., for object-oriented, nested, or semi-structured data) were first announced at DBPL. As an established ...

DCIDCI 2012 (with SPLASH 2012)Mon 22 Oct 2012
Tucson, Arizona, United States

SPLASH 2012 DCI Tutorial SPLASH 2012 will be hosting a Wavefront Workshop on Lean Architecture and DCI. DATE: Monday, 22 October, 2012 PLACE: SPLASH, Tuscon, Arizona, USA, Rincon conference room TIME: 8:30 - 5:00 (New Starting Time) SESSION DESIGNATION: W7: DCI This one-day tutorial workshop will overview the DCI paradigm. DCI (Data, Context and Interaction) is a paradigm for software design and progr ...

DCPDCP 2012 (with SPLASH 2012)Mon 22 Oct 2012
Tucson, Arizona, United States

Developing Competency in Parallelism CSinParallel Project Developing Competency in Parallelism: Techniques for Education and Training Workshop associated with SPLASH 2012 With the increasing penetration of parallelism into computing, programmers of all stripes need to acquire competencies in parallel programming. This workshop will concentrate on discussing and disseminating resources for gently introducing ...

DEBSDEBS 2017 (with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM)Sun 18 - Fri 23 June 2017
Barcelona, Spain

Over the past decade, the ACM International Conference on Distributed and Event‐based Systems (DEBS) has become the premier venue for contributions in the fields of distributed and event‐based systems. The objectives of the ACM International Conference on Distributed and Event‐Based Systems (DEBS) are to provide a forum dedicated to the dissemination of original research, the discussion of practical insights, ...

DICE-FOPARADICE-FOPARA 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation(e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language ...

DLSDLS 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

The 16th Dynamic Languages Symposium (DLS) at SPLASH 2020 is the premier forum for researchers and practitioners to share research and experience on all aspects on dynamic languages. See the call for papers for more information.

DPADPA 2019 (with PLDI 2019)Sat 22 - Wed 26 June 2019
Phoenix, Arizona, United States

The advent of modern declarative logical specification languages such as Flix, QL and Soufflé has facilitated the implementation of many rich program analysis tools. Declaratively specified program analysis tools have proven to be flexible enough to faithfully model real world languages, scalable, and less burdensome to extend and maintain. The goal of this workshop is to be the first venue truly dedicated to dec ...

DSLDIDSLDI 2018 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

Well-designed and implemented domain-specific languages (DSLs) can achieve both usability and performance benefits over general-purpose programming languages. By raising the level of abstraction and exploiting domain knowledge, DSLs can make programming more accessible, increase programmer productivity, and support domain-specific optimizations. The goal of the DSLDI workshop is to bring together researchers and ...

DSMDSM'19 (with SPLASH 2019)Sun 20 - Fri 25 October 2019
Athens, Greece

Domain-Specific Modeling (DSM) languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems and software development faster and easier. In DSM, the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain ...

DSWDSW 2017 (with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM)Sun 18 - Fri 23 June 2017
Barcelona, Spain

DeepSpec is a 5-year, 4-institution initiative to push forward the state of the art in applying computer proof assistants to verify realistic software and hardware stacks at scale. A key part of the mission is to engage with industry, learning about adoption obstacles, educating practitioners about how to apply these techniques, and even launching pilot collaborations with specific companies. For that reason, we ...

Ada WorkshopDiversity @ ISSTA - The Ada Workshop (with ISSTA 2019)Mon 15 - Fri 19 July 2019
Beijing, China

No description available

ECOOPECOOP 2020 (with SPLASH 2020)Sun 15 - Tue 17 November 2020
Online Conference

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

ECOOP/ISSTAECOOP and ISSTA 2021Mon 12 - Fri 16 July 2021
Aarhus, Denmark

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!

ECSAECSA 2021Mon 13 - Fri 17 September 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 ...

ELSELS 2019 (with ‹Programming› 2019)Mon 1 - Thu 4 April 2019
Genoa, Italy

The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. External Website Additiona ...

ENIACENIAC20 (with ‹Programming› 2020)Tue 24 Mar 2020
Porto, Portugal

Artificial Intelligence is becoming a mainstream concern in everyday software construction. Driven by appealing success stories such as autonomous vehicles, cloud-based intelligent services (e.g., Google Translate), intelligent health-related mobile apps, etc., more and more software companies intend to leverage AI techniques in their products. However, there is a large gap between the Programming/Software Engine ...

ESEC/FSEESEC/FSE 2020Sun 8 - Fri 13 November 2020
Sacramento, California, United States

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

ESOPESOP 2019 (with ETAPS 2019)Mon 8 - Thu 11 April 2019
Prague, Czech Republic

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas: Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic programmi ...

ETAPSETAPS 2019Sat 6 - Thu 11 April 2019
Prague, Czech Republic

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

ETXETX 2015 (with SPLASH 2015)Tue 27 Oct 2015
Pittsburgh, Pennsylvania, United States

ETX 2015 invites original and unpublished contributions about potential new uses of Eclipse and how Eclipse technology can be leveraged, improved, and/or extended for research and education. The research program will be made available September 7th, 2015.

EXPLAINEXPLAIN 2019 (with ASE 2019)Mon 11 - Fri 15 November 2019
San Diego, California, United States

Software is the driving force behind many innovations in all aspects of human life and, thus, decisions of software have a profound effect on the society. It is therefore highly important that software and its decisions can be explained to understand the reasons for the decisions as well as discuss and possibly subsequently change the software. The EXPLAIN workshop addresses this highly relevant topic of explaina ...

ErlangErlang 2020 (with ICFP 2020)Sun 23 - Fri 28 August 2020

Date of the Workshop Sunday, 23 August 2020. Workshop Objectives The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elix ...

EscapedEscaped 2017 (with SPLASH 2017)Sun 22 - Fri 27 October 2017
Vancouver, Canada

Note: This is a “discussion-style” workshop - not a mini-conference with prepared papers. Workshop participants will work together to explore this topic. It is a chance for dialog for conference attendees from both academic and industry. The results may include some new research questions as well as guidelines for cross-organizational collaboration. (You do not need to have a “position paper” to partcipate in th ...

FARMFARM 2020 (with ICFP 2020)Fri 28 Aug 2020

The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. This year, FARM is happening in the form of a virtual performance night featuring functionally-inspired art, music, and demos in a wide range of styles and from many locations. More information about FARM and past ...

FASEFASE 2019 (with ETAPS 2019)Mon 8 - Thu 11 April 2019
Prague, Czech Republic

FASE is concerned with the foundations on which software engineering is built. Submissions should make novel contributions to making software engineering a more mature and soundly-based discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particu ...

FHPNCFHPNC 2020 (with ICFP 2020)Sun 23 - Fri 28 August 2020

FHPNC 2020 cancelled. Due to the on-going COVID-19 situation, we are sad to announce that FHPNC 2020 is cancelled. We looked into alternatives, but we think the best course of action is to cancel it for this year and be back at next year’s ICFP. The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employin ...

FMSFMS 2018 (with PLDI 2018)Mon 18 - Fri 22 June 2018
Philadelphia, Pennsylvania, United States

While the fields of security and privacy and of formal methods/programming languages are thriving areas of computer science, the communities are mostly disjoint, and though there are several formal techniques used for ensuring security, there is no systematic use of emerging powerful formal techniques in the real world to ensure security and privacy. The goal of this workshop is to bring together researchers fro ...

Foundations Of Aspect-Oriented LanguagesFOAL 2016 (with Modularity 2016 )Mon 14 - Thu 17 March 2016
Spain

Organizers Gary T. Leavens (University of Central Florida) Hidehiko Masuhara (Tokyo Institute of Technology) Hridesh Rajan (Iowa State University) Henrique Rebêlo (Universidade Federal de Pernambuco)

FOOLFOOL (with SPLASH 2014)Mon 20 - Fri 24 October 2014
Portland, Oregon, United States

The 21st Workshop on Foundations of Object-Oriented Languages (FOOL) at SPLASH 2014. See the following web sites for further information about FOOL: http://www.cs.cmu.edu/~aldrich/FOOL/ (Home of FOOL) http://homepages.ecs.vuw.ac.nz/~servetto/Fool2014/ (FOOL 2014) The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understandi ...

FOSDFOSD 2017 (with SPLASH 2017)Sun 22 - Fri 27 October 2017
Vancouver, Canada

Link to the submission web site: https://fosd17.hotcrp.com/ Feature-oriented software development (FOSD) is a paradigm for the construction and customization of software systems. The key idea of FOSD is to decompose a family of software systems into units of functionality called features, with the goal of reusing software artifacts among family members. Features capture the similarities and differences among sy ...

FOSSACSFOSSACS 2019 (with ETAPS 2019)Mon 8 - Thu 11 April 2019
Prague, Czech Republic

FoSSaCS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. The specific topics covered by the conference include, but are not limited to, the following: categorical models and logics; languag ...

FREECOFREECO 2012 (with SPLASH 2012)Sun 21 - Thu 25 October 2012
Tucson, Arizona, United States

an artist impression of a Star Wars ‘FREECO bike’ (http://starwars.wikia.com) Workshop summary The history of programming languages shows a continuous search for new composition mechanisms, which are better suited for structuring increasingly complex software systems into modules that can be developed and reused independently. Well-known examples are procedure calls, object aggregation, function c ...

FSCDFSCD 2017 (with ICFP 2017)Mon 4 - Thu 7 September 2017
Oxford, United Kingdom

The Second International Conference on Formal Structures for Computation and Deduction is co-located with ICFP 2017. You can find all information at http://www.cs.ox.ac.uk/conferences/fscd2017/.

FTfJPFTfJP 2020 (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

22nd Workshop on Formal Techniques for Java-like Programs Due to COVID-19, FTfJP will be held virtually on 23 July 2020 (details below). The workshop program is available here. Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, ...

FormaliSEFormaliSE 2020 (with ICSE 2020)Mon 25 - Tue 26 May 2020

The software industry has a long-standing and well-earned reputation for failing to deliver high-quality software. Much progress has been achieved from the early days of software development; still, nowadays, even considering the state of the art of the technologies used, the success of software projects is often not guaranteed. Many of the approaches used for developing large, complex software system are still n ...

Future Programming WorkshopFuture Programming Workshop 2015 (with SPLASH 2015)Mon 26 - Tue 27 October 2015
Pittsburgh, Pennsylvania, United States

Do you have an idea to improve programming? Do you want constructive criticism? Submit to the Future Programming Workshop! The Future Programming Workshop (FPW) invites ambitious visions, new approaches, and early-stage work of all kinds seeking to improve software development. Participants will present their work at SPLASH in Pittsburgh and optionally at Strange Loop in St. Louis, culminating in a writers’ wo ...

GPCEGPCE 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

The ACM SIGPLAN International Conference on Generative Programming: Concepts &amp; Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge technique ...

GPGPUGPGPU 2018 (with PPoPP 2018)Sat 24 - Wed 28 February 2018
Vösendorf / Wien, Austria

The goal of this workshop is to provide a forum to discuss new and emerging general-purpose programming architectures, environments and platforms, as well as evaluate applications that have been able to harness the horsepower provided by these platforms. This year’s work is particularly interested in new heterogeneous architecture/platforms, new forms of concurrency, and novel/irregular applications that can leve ...

GRACEGRACE 2018 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

The Grace Object-Oriented Educational Programming Language design project was started at ECOOP 2010 in Slovenia, with the goal of designing a new OO language for teaching and research. Since then, the language design has progressed to the point where Grace has been used for teaching at two universities for a total of 10 courses, and has been the foundation for at least two PhD theses. There are also at least 5 im ...

GaLoPGaLoP 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials.&nbsp; This is an established ETAPS workshop, which has been running for the past 13 years.

GreenGreen 2011 (with SPLASH 2011)Sat 22 - Thu 27 October 2011
Portland, Oregon, United States

BEYOND GREEN-FIELD SOFTWARE DEVELOPMENT: REUSE, RECYCLE, REFACTOR There are many languages, tools, and design methodologies in the software community that are aimed at the creation of new software. But a lot of valuable software is the product of evolution, reuse, and reengineering. Some software is too expensive to “throw away and start over.” A skilled software team will have an arsenal of techniques at their ...

HASEHASE 2020 (with POPL 2020)Tue 21 Jan 2020
New Orleans, Louisiana, United States

HASE 2020 is an interactive workshop that aims to forge new collaborations and initiatives which strive to provide high levels of assurance about the correct operation and security properties of production systems (software and hardware). The format of the workshop involves a high degree of simultaneous interaction between participants in several facilitated working session topics (i.e. this workshop is not a ser ...

HATRAHATRA 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness properties of their code, and type system designers seek to exclude classes of undesirable behavior from programs. The security community creates tools to help developers achieve their security goals. In order to make ...

HAVELUND 65HAVELUND 65Sun 25 Oct 2020

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.

HCVSHCVS 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the Constraint/Logic Programming, Verification, and Automated Deduction communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP a ...

HILTHILT 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

This is the sixth in the HILT series of conferences and workshops, sponsored by ACM SIGAda, focused on the use of High Integrity Language Technology to address challenging issues in the engineering of highly complex critical software systems. High Integrity Language Technologies have been tackling the challenges of building efficient, safe, reliable software for decades. Critical software as a domain is quickly e ...

HIWHIW 2020 (with ICFP 2020)Fri 28 Aug 2020

The Haskell Implementors’ Workshop is a forum for those involved in implementing Haskell systems, infrastructure, libraries and tools, for people generally involved in implementing Haskell technology. We share our work and discuss future directions and collaborations with others. In 2020, the Haskell Implementors’ Workshop will be co-located with ICFP 2020 The workshop does not have proceedings. Talks and/or de ...

HOPEHOPE 2020 (with ICFP 2020)Sun 23 - Fri 28 August 2020

The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are informal, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. The 8th ACM SIGPLAN Workshop on Higher-Or ...

HOPLHOPL IVSun 14 - Tue 16 June 2020

NEW! (13 Sep 2020)&nbsp;&nbsp;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 ...

HSBHSB 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

The workshop centres on dynamical models in biology, with an emphasis on both hybrid systems (in the classical sense, i.e., mixed continuous/discrete/stochastic systems) and hybrid approaches that combine modelling, analysis, algorithmic and experimental techniques from different areas. Hybrid systems and approaches are essential to the understanding of complex living systems, which are characterized by stochast ...

HaskellHaskell 2020 (with ICFP 2020)Sun 23 - Fri 28 August 2020

New: The talk videos are now available The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; Theory, such as form ...

Incremental ComputingIC 2019 (with SPLASH 2019)Sun 20 - Fri 25 October 2019
Athens, Greece

The Second Workshop on Incremental Computing (IC) will provide a space where PL enthusiasts and researchers can come to discuss incremental computing problems and solutions. A computation is incremental if repeating it with a changed input is faster than from-scratch re-computation. Incremental computations can be found across a wide range of computing domains, and thus across many areas of computer science. Cons ...

ICERICER 2021Fri 31 Dec 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.

ICFPICFP 2021Sun 22 - Fri 27 August 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.

International Conference on Global Software EngineeringICGSE 2020 (with ICSE 2020)Fri 26 - Sun 28 June 2020

[May 25, 2020] ICGSE is going ONLINE. Please read a statement from the Organization Committee regarding ICGSE going virtual joint with ICSSP NEWS: The program of the joint event is now available through the platform Video of presentations can be viewed from here The 15th IEEE/ACM International Conference on Global Software Engineering (ICGSE 2020) will be joining forces with the International Conference on ...

ICOOOLPSICOOOLPS 2020 (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

Welcome to the 15th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop! Due to COVID-19, ICOOOLPS will be postponed to 2021. The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization. The goal of the workshop is to discuss emerging problems and research dir ...

International Conference on Program ComprehensionICPC 2021 (with ICSE 2021)Sat 22 - Sun 30 May 2021
Madrid, Spain

The 29th IEEE/ACM International Conference on Program Comprehension (ICPC) is the premier venue for work in the area of program comprehension. It encompasses both human activities for comprehending the software and technologies for supporting such comprehension. ICPC 2021 promises to provide a quality forum for researchers and practitioners from academia, industry, and government to present and to discuss state-o ...

ICSEICSE 2021Sat 22 - Sun 30 May 2021
Madrid, Spain

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

ICSSPICSSP 2020 (with ICSE 2020)Sat 23 - Sat 30 May 2020

ICSSP/ ICSSE joint conference Dear Friends and Colleagues, For the 2020 edition, the 14th International Conference on Software and Systems Process (ICSSP 2020) will be joining forces with the 15th IEEE/ACM International Conference on Global Software Engineering (ICGSE 2020) to create a joint virtual conference to be held on June 26-28, 2020. With the aim of bringing together a greater audience of researchers a ...

ICSTICST 2020Sat 24 - Wed 28 October 2020
Porto, Portugal

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

ICWICW 2020 (with ‹Programming› 2020)Mon 23 Mar 2020
Porto, Portugal

Modern computer systems are often loosely coupled compositions of heterogeneous components. The heterogeneity may be intentional or incidental; resulting from a healthy desire to use the best tool for each part of the job, and to leverage the vast number of software components readily available today. It follows, that an important part of modern programming is the art, science, and engineering of interconnecting ...

INTUITESTBEDSINTUITESTBEDS 2020 (with ICST 2020)Wed 28 Oct 2020
Porto, Portugal

All information about this workshop can be found at the workshop’s official website: https://www.intuitestbeds.org/

ISAGTISAGT 2018 (with ECOOP and ISSTA 2018)Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands

Workshop on Introspective Systems for Automatically Generating Tests ISAGT 2018 is held Friday July 20, 2018 in Amsterdam, The Netherlands. The workshop discusses the use of reflection, runtime profiling, log analysis, AI, static analysis, and other techniques to facilitate the automated generation of unit tests and regression tests, allowing a more productive development process, while increasing test coverage ...

ISMMISMM 2020 (with PLDI 2020)Tue 16 Jun 2020

Welcome to the website of the 2020 ACM SIGPLAN International Symposium on Memory Management (ISMM). ISMM 2020 is co-located with PLDI 2020, and will be held virtually on June 16, 2020. The conference will feature presentations of our 8 accepted papers, an exciting keynote by Richard Jones, and several social events. Please register for free to attend. Registration closes on June 5. ISMM 2020 is going virtual A ...

ISSTAISSTA 2021 (with ECOOP and ISSTA 2021)Mon 12 - Fri 16 July 2021
Aarhus, Denmark

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 2021 will be held in Aarhus, Denmark, on July 12-16, 2021, co-located with ECOOP 2021.

ITEQSITEQS 2020 (with ICST 2020)Sat 24 Oct 2020
Porto, Portugal

All information about this workshop can be found at the workshop’s official website: http://www.mrtc.mdh.se/ITEQS/2020/

ITSLEITSLE 2016 (with SPLASH 2016)Mon 31 Oct 2016
Amsterdam, Netherlands

Industry Track for Software Language Engineering (ITSLE) is a workshop to bring together practitioners and researchers from industry and academia working on the area of software language engineering. Domain Specific Languages (DSLs) and Model-Driven Software Engineering (MDSE) techniques are being developed and used broadly in industry. However, as the size and complexity of software systems steadily increase, so ...

IWACOIWACO 2020 (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

Due to COVID-19, IWACO will be postponed to 2021. Stable object identity and shared mutable state are two powerful principles in programming. The ability to create multiple aliases to mutable data allows a direct modelling of sharing that occurs naturally in a domain, and lies at the heart of efficient programming patterns where aliases provide shortcuts to key places in a data structure. However, aliasing ...

IWCTIWCT 2020 (with ICST 2020)Sat 24 Oct 2020
Porto, Portugal

All information about this workshop can be found at the workshop’s official website: http://gist.nju.edu.cn/iwct2020/

inSTAInSTA 2020 (with ICST 2020)Wed 28 Oct 2020
Porto, Portugal

All information about this workshop can be found at the workshop’s official website: http://aster.or.jp/workshops/insta2020/

InferInfer Practitioners 2020 (with PLDI 2020)Tue 16 Jun 2020

** The workshop is over, massive thanks to everyone who presented, chaired sessions, and joined in, as well as to the PLDI organisers! Watch the talks and Q&amp;A here: https://www.youtube.com/watch?v=FPCZ2TIxrpg. ** This first edition of the Infer Practitioners Workshop gathers together developers and researchers working with the Infer static analysis platform. Infer enables anyone to write their own scalable i ...

InterAVTInterAVT 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

Modern verification and testing techniques are highly relevant for industrial software- intensive systems. Recent technological trends (e.g., the new dominating role of software in traditional domains like automotive and aerospace, the arrival of autonomous and “smart” systems in everyday life) only increase the need for industrial-scale robust approaches. Nevertheless, there are still many barriers that hinder ...

JPFJPF 2019 (with ASE 2019)Mon 11 Nov 2019
San Diego, California, United States

Java Pathfinder is the annual workshop on technologies related to Java Pathfinder and similar program analyis tools and approaches. Workshop program (tentative) Start End Title 9:00 – 9:05 Opening 9:05 – 10:05 Invited talk: Elena Sherman.Benchmark Engineering for Program Analysis (click for details) Abstract: In ev ...

JSToolsJSTools 2020 (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

Welcome to the Eight Annual Workshop on Tools for JavaScript Analysis Due to COVID-19, the workshop will be postponed to 2021. JavaScript has become ubiquitous: not only is it the lingua franca of the Web platform, but it is also increasingly being used for developing server-side applications and for writing platform-independent mobile applications. Consequently, it is now the focus of ...

LAFILAFI 2021 (with POPL 2021)Sun 17 - Fri 22 January 2021
Online

Inference concerns re-calibrating program parameters based on observed data, and has gained wide traction in machine learning and data science. Inference can be driven by probabilistic analysis and simulation, and through back-propagation and differentiation. Languages for inference offer built-in support for expressing probabilistic models and inference methods as programs, to ease reasoning, use, and reuse. The ...

LANGETILANGETI'19 (with ‹Programming› 2019)Mon 1 Apr 2019
Genoa, Italy

Every year, new ideas arise in the areas of programming and software development to facilitate new capabilities for software systems. However, other aspects associated with the development of software systems is overlooked. With this in mind, the Languages and Tools for Next Generation Testing (LANGETI) workshop intends to serve as an open discussion platform for practitioners and researchers to share their ideas ...

Live Adaptation of Software SYstemsLASSY 2018 (with ‹Programming› 2018)Mon 9 - Thu 12 April 2018
Nice, France

LASSY is cancelled for 2018

LCTESLCTES 2020 (with PLDI 2020)Mon 15 - Fri 19 June 2020

LCTES 2020 is going virtual due to COVID-19 pandemic LCTES decided not to have real-time Q&amp;A Zoom/Slack communication. Instead, all LCTES talk videos are now available on SIGPLAN’s YouTube channel. Please click the YouTube Talk Videos tab to watch the videos. This year’s LCTES program consists of one keynote presentation on “Compiler 2.0: Using Machine Learning to Modernize Compiler Technology” by Prof. Sam ...

LIVELIVE 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

Where UX meets PL Programming is cognitively demanding, and way too difficult. LIVE is a workshop exploring new user interfaces that improve the immediacy, usability, and learnability of programming. Whereas PL research traditionally focuses on programs, LIVE focuses more on the activity of programming. Themes Programmers don’t materialise programs out of thin air, but construct them out of existing programs ...

LPOPLPOP 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

Logic is fundamental to computer science. Since the development of logic programming in the 1960s, logic has seen a growing practical role in computer science. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas. We encourage submission ...

LWC@SLELWC@SLE 2016 (with SPLASH 2016)Sun 30 October - Fri 4 November 2016
Amsterdam, Netherlands

Language workbenches are tools for software language engineering. They distinguish themselves from traditional compiler tools by providing integrated development environment (IDE) support for defining, implementing, testing and maintaining languages. Not only that, languages built with a language workbench are supported by IDE features as well (e.g., syntax highlighting, outlining, reference resolving, completi ...

Language Modularity à La ModeLaMOD'16 (with Modularity 2016 )Tue 15 Mar 2016
Spain

A half-day workshop held in conjunction with MODULARITY’16. March 15, 2016 Malaga, Spain. http://2016.modularity.info/track/LaMOD2016 Scope Although applications are now often built from components written in a variety of languages, as well as a variety of versions of a particular language, modularity is still considered mainly in the context of a single language and in the context of a single version of a ...

LiVeLiVe 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

The success of machine learning has recently motivated researchers in formal methods to adapt the highly scalable learning methods to the verification setting, where correctness guarantees on the result are essential. The aim of this workshop is to bring together researchers from the formal verification community that are developing approaches to exploit learning methods in verification as well as researchers fr ...

MAPLMAPL 2020 (with PLDI 2020)Tue 16 Jun 2020

Due to recent algorithmic and computational advances, machine learning has seen a surge of interest in both research and practice. However, the impact of these advances on programming languages remains mostly untapped. Yet, incredible research opportunities exist when combining machine learning and programming languages in novel ways. This workshop seeks to bring together programming language and machine learnin ...

MASPEGHIMASPEGHI 2015 (with ECOOP 2015)Sun 5 - Fri 10 July 2015
Prague, Czech Republic

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

Modularity Across the System StackMASS 2016 (with Modularity 2016 )Mon 14 - Thu 17 March 2016
Spain

The landscape of computation platforms has changed dramatically in recent years. Emerging systems — such as wearable devices, smartphones, unmanned aerial vehicles, Internet of things, cloud computing servers, heterogeneous clusters, and data centers — pose a distinct set of system-oriented challenges ranging from data throughput, energy efficiency, security, real-time guarantees, to high performance. In the mean ...

METAMETA 2019 (with SPLASH 2019)Sun 20 - Fri 25 October 2019
Athens, Greece

About The changing hardware and software landscape along with the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associated complexity. Meta’19 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The challenges which metaprogra ...

MLML 2020 (with ICFP 2020)Sun 23 - Fri 28 August 2020

ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The d ...

ML4PLML4PL 2018 (with ECOOP and ISSTA 2018)Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands

2nd International Workshop on Machine Learning techniques for Programming Languages Welcome to ML4PL, a workshop on machine learning techniques applied to programming language-related research and development. This workshop puts an emphasis on identifying open problem rather than presenting solution, and encourages discussion amongst the participants. Attendance will be limited to ensure that meeting retains a ...

International Conference on Mobile Software Engineering and SystemsMOBILESoft 2020 (with ICSE 2020)Mon 13 - Wed 15 July 2020

UPDATE: - Video recording of the keynote speech and panel session are now available. Link to Keynote , Link to Panel Session - Video recording of the talk “Security Testing of Second Order Permission Re-delegation Vulnerabilities in Android Apps” is now available. Link to the talk - Video recording of the talk “Evaluating the Impact of Caching on the Energy Consumption and Performance of Progressive Web Apps” ...

MODELSMODELS 2020Fri 16 - Fri 23 October 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 ...

Modularity in ModellingMOMO 2017 (with ‹Programming› 2017)Mon 3 - Thu 6 April 2017
Brussels, Belgium

Modularity in Modelling Workshop Extending the time-honored practice of separation of concerns, Model-Driven Engineering (MDE) promotes the use of separate models to address the various concerns in the development of complex software-intensive systems. The main objective is to choose the right level of abstraction to modularize a concern, specify its properties and reason about the system under development depen ...

MPLRMPLR 2019 (with SPLASH 2019)Sun 20 - Fri 25 October 2019
Athens, Greece

The 16th International Conference on Managed Programming Languages &amp; Runtimes (MPLR’19, formerly ManLang) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-comput ...

Mining Software RepositoriesMSR 2021 (with ICSE 2021)Sun 23 - Mon 24 May 2021
Madrid, Spain

Welcome to the website of the Mining Software Repositories 2021 conference. We are working hard to fill the website with all related information. Please check back soon! The Mining Software Repositories (MSR) conference is the premier conference for data science, machine learning, and artificial intelligence in software engineering. The goal of the conference is to improve software engineering practices by uncov ...

MeTRiDMeTRiD 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

MeTRiD 2019 is the second edition of the MeTRiD international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design (RSD) approach. The intrinsic concurrent nature of interactions among components of modern software systems is the root cause of their sheer complexity, making complete a posteriori verification practically infeasible. An alternative approach consist ...

PLOPMiniPLoP 2020 (with ‹Programming› 2020)Tue 24 Mar 2020
Porto, Portugal

Software developers and those involved with programming have long observed that certain patterns recur and endure across different applications and systems. The growing interest in Design Patterns, Architectural Patterns, Analysis Patterns, Pedagogical Patterns, Agile Patterns, etc., represent an effort to catalog and better communicate knowledge, providing handbooks of proven solutions to common problems. The w ...

Mobile!Mobile! 2016 (with SPLASH 2016)Sun 30 October - Fri 4 November 2016
Amsterdam, Netherlands

Mobile application use and development is experiencing enormous growth, and by 2016 more than 200 billion apps have been downloaded. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, with diverse capabilities including various input modes, wireless communication types, on-device memory and disk capacities, and sensors. Applications function on wide ranges of ...

ModularityModularity 2017 (with ‹Programming› 2017)Tue 4 Apr 2017
Brussels, Belgium

OPTIMAL MODULARITY AND COMPOSITION: FROM THE PERSPECTIVE OF EMERGING TECHNOLOGIES AND ARCHITECTURES The area of software technology is very dynamic Many new techniques and architectures have been introduced in the past decade: self-aware systems (adaptive, learning, optimizing, etc.), cyber-physical systems, event-based systems, emergent systems, hybrid-control systems, systems of systems, eco-systems, big- ...

MoreVMsMoreVMs'20 (with ‹Programming› 2020)Tue 24 Mar 2020
Porto, Portugal

Update: MoreVMs’20 goes virtual! Due to ‹Programming› 2020 not being held as planned (see Health Information), MoreVMs’20 will be a virtual workshop for the first time. Our invited speakers from Red Hat and Google as well as most contributors have agreed to participate and to give their talks online. The virtual workshop is planned for Apr 8, 9:30am to 1pm CEST. The link to the call is below (see Zoom Meeting). ...

MutationMutation 2020 (with ICST 2020)Sat 24 Oct 2020
Porto, Portugal

All information about this workshop can be found at the workshop’s official website: https://mutation-workshop.github.io/2020/

N40AIN40AI 2017 (with POPL 2017)Wed 18 - Fri 20 January 2017

In POPL 1977 Patrick and Radhia Cousot introduced Abstract Interpretation in a very well known seminal paper which is still the best ever cited of POPL. The worksop is intended to celebrate this event 40 years later in Paris at POPL 2017. Invited speakers from academia and industry active in fields where abstract interpretation is or can be successfully applied will discuss the new challenges that abstract interp ...

NEATNEAT 2011 (with SPLASH 2011)Sat 22 - Thu 27 October 2011
Portland, Oregon, United States

NEXT-GENERATION APPLICATIONS OF SMARTPHONES The sophisticated capabilities of smartphones provide a number of unique opportunities for research and development. Current smartphones can receive a variety of environmental stimuli, such as GPS location, acceleration, ambient light, sound, and imagery. Smartphones possess multiple network connections that can be used to connect to external computing resources, which ...

NEXTANEXTA 2020 (with ICST 2020)Sat 24 Oct 2020
Porto, Portugal

All information about this workshop can be found at the workshop’s official website: https://www.testomatproject.eu/nexta2020

NIPNIP'20 (with ‹Programming› 2020)Tue 24 Mar 2020
Porto, Portugal

Scope Since a long time, interfaces available for programming have remained mostly unchanged. Usually, software engineers (SE) interact with IDEs through text-based interfaces displayed on a computer screen. Software visualization (SOFTVIS) researchers investigate the use of visual properties to support software engineering tasks such as programming. Some of these software visualizations have explored the use of ...

NJRNJR 2019 (with ASE 2019)Mon 11 - Fri 15 November 2019
San Diego, California, United States

Software researchers increasingly take advantage of large software repositories when they design new tools. How do we make such repositories maximally useful for research? In particular, how do we make them more searchable, make interaction scriptable, and ensure that we can run both static and dynamic analyses? Additionally, how do we make the results from tools reproducible, how do we label programs with ground ...

NOOLNOOL 2017 (with SPLASH 2017)Sun 22 - Fri 27 October 2017
Vancouver, Canada

The -2th Workshop on New Object-Oriented Languages (NOOL) 2017.

NPFLNPFL 2018 (with ICFP 2018)Sun 23 - Sat 29 September 2018
St. Louis, Missouri, United States

Videos are available online. This workshop aims to bring together researchers and practitioners exploring and utilising functional or declarative programming languages to solve numerically oriented problems including but not limited to Embedded domain specific languages for expressing numerical problems and generating efficient code e.g. generating llvm à la Julia / Haskell accelerate Use of types to ensur ...

NSADNSAD 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

Submission deadlines are now extended to September 20th 2020 (AoE). Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. ...

NSF Workshop: DL + SE”NSF Workshop: DL + SE 2019 (with ASE 2019)Sun 10 - Fri 15 November 2019
San Diego, California, United States

The NSF-sponsored workshop on Deep Learning and Software Engineering will take place on November 11, 2019 (Veteran’s Day) co-located with the Automated Software Engineering (ASE’19) conference in San Diego. The goal of this workshop is to bring together an international group of researchers and practitioners who work at the intersection of software engineering and deep learning for an intensive period of discuss ...

Neo4jNeo4j 2012 (with SPLASH 2012)Sun 21 - Thu 25 October 2012
Tucson, Arizona, United States

Jim Webber, Chief Scientist, Neo Technology will be presenting a ‘Wavefront’ Tutorial: A Programmatic Introduction to Neo4j at this year’s SplashCon 2012. This is a Wavefront workshop on using Neo4j, a popular graph database. Graph databases like Neo4j are an esoteric but powerful member of the NOSQL family. For highly connected data, graph databases can be thousands of times faster than relational databases, ma ...

NetPLNetPL 2018 (with POPL 2018)Mon 8 - Sat 13 January 2018
Los Angeles, California, United States

Program Information: We had an excellent lineup of invited speakers, coming from both academia and industry and from both the PL and networking research communities. Calin Cascaval (Barefoot Networks) Peyman Kazemian (Forward Networks) Andrey Rybalchenko (Microsoft Research) Anees Shaikh (Google) Sharon Shoham (Tel Aviv University) Jonathan Smith (DARPA) George Varghese (UCLA) See the Program f ...

OCAPOCAP 2018 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

The OCAP workshop seeks to bring together those interested in capability languages, systems, and applications. Object-capabilities offer a distinct approach to building robust, distributed systems that pose many interesting research and practical challenges. The workshop is designed to explore the latest developments in the theory and practice of the object-capability approach, and provide a forum for knowledge e ...

OCamlOCaml 2020 (with ICFP 2020)Sun 23 - Fri 28 August 2020

The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have been co-located with ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, ICFP 2016 in Nara, ICFP 2017 in Oxford, ICFP 2018 in St Louis, and ICFP 2019 in Berlin, following the ...

OOPSLA-PCOOPSLA 2016 PC MeetingWed 25 - Fri 27 May 2016
Delft, Netherlands

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

OPCTOPCT 2019 (with POPL 2019)Sun 13 - Sat 19 January 2019
Cascais, Portugal

The OPCT (Open Problems in Concurrency Theory) series of research seminars is sponsored by the IFIP Working Group WG1.8 on Concurrency Theory: http://www.ifip-tc1.org/wg1-08.php OPCT aims at identifying and discussing the most important open problems in Concurrency Theory. Participation is on invitation only and there are no proceedings, but the slides of the talks will be made available on the website. OPCT’19 ...

OSSOSS 2021Wed 12 - Thu 13 May 2021
Lahti, Finland

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

Off the Beaten TrackOff the Beaten Track 2019 (with POPL 2019)Sun 13 - Sat 19 January 2019
Cascais, Portugal

Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show ...

Onward!Onward! 2018 (with SPLASH 2018)Wed 7 - Thu 8 November 2018
Boston, Massachusetts, United States

Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities and applications. Onward! is more radical, more visionary and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching and reporting on programming language and software e ...

Symposium on Practical Aspects of Declarative LanguagesPADL 2021 (with POPL 2021)Mon 18 - Tue 19 January 2021
Online

The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages.These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation hav ...

PASSPASS 2019 (with ECOOP 2019)Mon 15 - Fri 19 July 2019
Hammersmith, London, United Kingdom

Overview The landscape of computation platforms has changed dramatically in recent years. Emerging systems — such as unmanned aerial vehicles (UAV), Internet of things (IoT), cloud computing servers, heterogeneous clusters, data centers, wearable devices, and smartphones — pose a distinct set of system-oriented challenges ranging from data throughput, energy efficiency, security, real-time guarantees, to high pe ...

PEPMPEPM 2021 (with POPL 2021)Mon 18 - Tue 19 January 2021
Online

The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics ...

PERRPERR 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

This workshop is dedicated to the formal verification of program equivalence and related relational problems. It is the 3rd in a series of meetings that bring together researchers from different areas interested in equivalence. The topic touches many aspects of formal methods: regression verification, translation validation, verified compilation, language semantics, deductive verification, (bounded) model checkin ...

PLACESPLACES 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

2019 Proceedings in EPTCS: http://eptcs.web.cse.unsw.edu.au/content.cgi?PLACES2019 Applications today are built using numerous interacting services; soon off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many applications need to make effective use of thousands of computing nodes. At some level of granularity, computation in such system ...

PLASPLAS 2015 (with ECOOP 2015)Mon 6 - Fri 10 July 2015
Prague, Czech Republic

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

PLASTICPLASTIC 2011 (with SPLASH 2011)Sat 22 - Thu 27 October 2011
Portland, Oregon, United States

Today’s Internet users expect to access Internet resources using increasingly capable and ubiquitous client platforms. This trend has resulted in a wide-ranging diversification of hardware devices supporting various form factors and interaction modes, a choice of web browsers offering varying levels of performance, security and standards compliance, as well as the emergence of domain-specific uses of general-purp ...

PLATEAUPLATEAU 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

Programming languages exist to enable programmers to develop software effectively. But programmer effectiveness depends on the usability of the languages and tools with which they develop software. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of languages and tools cover a large space, including making pr ...

PLDIPLDI 2021Sun 20 - Fri 25 June 2021
Virtual Conference

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

PLDI ECOOPPLDI, ECOOP, Curry On, DEBS, LCTES and ISMMSun 18 - Fri 23 June 2017
Barcelona, Spain

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

PLEPLE 2015 (with ECOOP 2015)Mon 6 - Fri 10 July 2015
Prague, Czech Republic

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

PLMWPLMW @ ICFP 2020 (with ICFP 2020)Sun 23 - Fri 28 August 2020

What is PLMW? The Programming Languages Mentoring Workshop is designed to broaden the exposure of attendees to research and career opportunities in the field of programming languages. Most attendees are late-stage undergraduate students and early-stage graduate students. The workshop program will include technical sessions that cover both the history and current practice of core subfields within programming lang ...

PLNLPLNL 2019Thu 12 Dec 2019
Nijmegen, Netherlands

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.

PLOOCPLOOC 2015 (with PLDI 2015)Sat 13 - Wed 17 June 2015
Portland, Oregon, United States

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

PLaQCPLanQC 2020 (with POPL 2020)Sun 19 Jan 2020
New Orleans, Louisiana, United States

The First International Workshop on Programming Languages for Quantum Computing (PLanQC 2020) aims to bring together researchers from the fields of programming languages and quantum information sciences, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, both tho ...

PMAMPMAM 2019 (with PPoPP 2019)Sat 16 - Wed 20 February 2019
Washington, DC, United States

Rapid advancements in multicore and chip-level multi-threading technologies open new challenges and make multicore systems a part of the computing landscape. From high-end servers to mobile phones, multicores and manycores are steadily entering every single aspect of the information technology. However, most programmers are trained in sequential programming, yet most existing parallel programming models are pron ...

PMLDCPMLDC 2017 (with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM)Sun 18 - Fri 23 June 2017
Barcelona, Spain

Second Workshop on Programming Models and Languages for Distributed Computing Co-located with ECOOP 2017, Barcelona, Spain Date: June 20, 2017 Whether you are programming a rich web application in JavaScript that mutates state in the client’s browser, or you are building a massively deployed mobile application that will operate with client state at the device, it’s undeniable that you are building a distribute ...

POPLPOPL 2021Sun 17 - Fri 22 January 2021
Online

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

POSTPOST 2019 (with ETAPS 2019)Mon 8 - Thu 11 April 2019
Prague, Czech Republic

Principles of Security and Trust is a broad forum related to all theoretical and foundational aspects of security and trust. We seek submissions on the foundations of information security, privacy, and trust, relevant for computer science and different application disciplines. Case studies that reflect the strengths and limitations of existing foundations, methods, and their supporting tools are also welcome, as ...

PP4REEPP4REE 2016 (with PPoPP 2016)Sat 12 - Wed 16 March 2016
Barcelona, Spain

Nowadays, the number of components in High Performance Computing (HPC) systems increases at the pace dictated by Moore’s Law, but the mean time between failures (MTBF) for the complete system is significantly shrinking. For example, when accounting for the instruction &amp; data caches and register files, the mean time between soft errors for the Sequoia supercomputer at Lawrence Livermore National Laboratory is ...

Workshop on Parallel Programming for Analytics ApplicationsPPAA - cancelled (with PPoPP 2016)Sat 12 - Wed 16 March 2016
Barcelona, Spain

The PPAA 2016 workshop has been cancelled. Motivation and Scope: Analytics applications are scaling rapidly in terms of the size and variety of data analyzed, the complexity of models explored and tested, and the number of analytics professionals or data scientists supported concurrently. Consumer behavior modeling, IT infrastructure security and resiliency, and fraud detection and prevention are examples of ap ...

Principles and Practice of Parallel ProgrammingPPoPP 2021Sat 27 February - Wed 3 March 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 ...

PRIDEPRIDE 2020 (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

Due to COVID-19, PRIDE will be postponed to 2021. Numerous program analyses have been presented at research conferences over the years, typically with detailed analysis using appropriate specific metrics to show that the new analysis improves results compared to previous approaches. While such evaluation shows the new analysis improves analysis per se, it is not always entirely clear how much impact these i ...

PROMOTOPROMOTO 2015 (with SPLASH 2015)Tue 27 Oct 2015
Pittsburgh, Pennsylvania, United States

Welcome to the website of the PROMOTO 2015 workshop.

PSPPSP (with SPLASH 2014)Mon 20 - Tue 21 October 2014
Portland, Oregon, United States

Visit http://www.indiana.edu/~psp2014/ for more information.

PXPX/20 (with ‹Programming› 2020)Mon 23 Mar 2020
Porto, Portugal

Welcome to the 6th Edition of the Programming Experience Workshop The Programming Experience (PX) Workshop is about what happens when programmers sit down in front of computers and produce code, especially in an exploratory way. Do they create text that is transformed into running behavior (the old way), or do they operate on behavior directly (“liveness”); are they exploring the l ...

PanathonPanathon 2019 (with ECOOP 2019)Mon 15 - Fri 19 July 2019
Hammersmith, London, United Kingdom

Panathon aims to continue a successful trend of program analysis workshops such as SOAP, DECAF at ISSTA, WALA, Panathon(2018). Workshops of this style not only demonstrate emerging technologies but also provide student participants with an opportunity to discover their own research interests, encourage discovery of the contributions that new students and researchers alike can make to existing projects, facilitate ...

Parsing@SLEParsing@SLE 2017 (with SPLASH 2017)Sun 22 - Fri 27 October 2017
Vancouver, Canada

Parsing@SLE 2017 is the fifth annual workshop on parsing programming languages. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop “parsing” is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regul ...

PharoPharo 2015 (with ECOOP 2015)Mon 6 - Fri 10 July 2015
Prague, Czech Republic

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

PiP2PiP 2017 (with POPL 2017)Sat 21 Jan 2017

Saturday 21st January, 2017. Paris, France Recent years have seen a number research projects applying rigorous semantics to the analysis or design of industrially significant real-world languages and systems, in various contexts. Principles in Practice (PiP) will be an informal workshop bringing together researchers to discuss the issues involved in engaging with the various industrial communities, in developing ...

PriSCPriSC 2021 (with POPL 2021)Sun 17 Jan 2021
Online

Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabilities like buffer overflows and control-flow hijacking. Even for safer languages, establishing security with respect to the language’s semantics does not prevent low-level attacks. All the abstraction and security guarantees of the source language may be lost when interac ...

ProWebProWeb20 (with ‹Programming› 2020)Mon 23 Mar 2020
Porto, Portugal

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

Programming for the LargeProgramming for the Large 2018 (with ‹Programming› 2018)Mon 9 - Thu 12 April 2018
Nice, France

Cancelled: Unfortunately, Programming for the Large is canceled for 2018 In the last decade we have witnessed a new kid on the block in the programming (language) community: programming “large computers”. Such computers include many-core machines, clusters of raspberry-pies, industry-scale cluster machines, cloud infrastructure, CUDA and MPI-based supercomputers, etc. Even though such computer systems have been ...

QAPLQAPL 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (for example, probabilities) for the characterisation of the behaviour and for determining the properties of systems. Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analys ...

RACESRACES 2012 (with SPLASH 2012)Sun 21 - Thu 25 October 2012
Tucson, Arizona, United States

Workshop on Relaxing Synchronization for Multicore and Manycore Scalability Theme and Goal of the Workshop The RACES workshop is a first attempt at bringing a new school of thought to the attention of the computer science community: that of abandoning absolute certainty in favor of scalability and performance when considering parallel computation. Today, multi core systems are becoming more and more the rule an ...

RDPRDP 2017 (with POPL 2017)Wed 18 - Fri 20 January 2017

The workshop on Reasoning about Declarative Programs (RDP) will bring together researchers from programming languages, distributed computing, declarative networking, and databases, to discuss techniques and stimulate cross-fertilization among these areas. The technical program will consist of invited talks and discussions. We will post talk abstracts on the workshop website but do not plan to have formal proceedings.

REBLSREBLS 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

7th Workshop on Reactive and Event-based Languages &amp; Systems Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-ca ...

REFSQREFSQ 2021Mon 12 - Thu 15 April 2021
Essen, Germany

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!

DeepSpecREMS-DeepSpec 2020 (with PLDI 2020)Mon 15 - Tue 16 June 2020

REMS-DeepSpec 2020 provides a forum for researchers interested in foundational specifications and rigorous engineering of mainstream systems and their components. It will consist of in-depth presentations by members of the REMS project (UK) and DeepSpec (US), invited talks by external experts, and general talks selected in response to a call for short abstracts. No formal proceedings are associated with this even ...

RIOTRIOT 2015 (with ECOOP 2015)Mon 6 - Fri 10 July 2015
Prague, Czech Republic

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

ROSE FestivalROSE Festival 2018 (with ESEC/FSE 2018)Sun 4 - Fri 9 November 2018
Lake Buena Vista, Florida, United States

ESEC/FSE hosting a new initiative that aims to take SE research artifacts to the next level. The ROSE festival is a world-wide salute to replication and reproducibility in SE. At the time of this writing, similar events are being considered for RE’19, ICSE’19, ESEC/FSE’19 and ESEM’19. Our aim is to create a venue where researchers can receive public credit for facilitating and participating in open science in SE ...

RUMPLERUMPLE 2016 (with SPLASH 2016)Sun 30 October - Fri 4 November 2016
Amsterdam, Netherlands

Welcome to the 1st Workshop on ReUsable and Modular Programming Language Ecosystems UPDATE: RUMPLE has been CANCELED! The RUMPLE’16 workshop is a venue for discussing a wide range of topics related to modular approaches to programming language implementation, extensible virtual machine architectures, as well as reusable runtime components such as dynamic compilers, interpreters ...

Reflection and Runtime Meta-Programming TechniquesReflect 2016 (with Modularity 2016 )Mon 14 - Thu 17 March 2016
Spain

Workshop We thank all authors for their contributions and all PC members for their insightful reviews. To expose the accepted work to a larger audience, we asked the MASS workshop to include a session on Reflection and thereby facilitate discussion between audience and presenters. The following papers were accepted for presentation: Static Meta-Object Protocols: Towards Efficient Reflective Object-Oriented ...

SA-MDESA-MDE 2016 (with SPLASH 2016)Sun 30 October - Fri 4 November 2016
Amsterdam, Netherlands

The ALIGNED project is funded by the EU Horizon-2020 programme, bringing together researchers and user communities in model-driven software engineering and in semantic technologies and linked data, aiming to improve the quality and efficiency of engineering workflows in data-intensive activities. The project is developing semantically-aware model-driven tooling, extending the existing Booster system and Model Cat ...

SALADSALAD 2018 (with ECOOP and ISSTA 2018)Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands

First International Workshop on SoftwAre debLoating And Delayering The Workshop on SoftwAre debLoating And Delayering will be held in conjunction with ECOOP on July 19, 2018. SALAD will features discussion how program analysis and transformation can improve efficiency and safety of software by removing layers of abstraction. This workshop is partly supported by the U.S. Office of Naval Research o ...

Static Analysis SymposiumSAS 2020 (with SPLASH 2020)Wed 18 - Fri 20 November 2020
Online Conference

Welcome to the 27th Static Analysis Symposium (SAS 2020)! Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.

SAVRSAVR 2017 (with SPLASH 2017)Tue 24 Oct 2017
Vancouver, Canada

Even conservative forecasters predict the imminent wave of Augmented/Virtual/Mixed Reality applications to extend far beyond gaming. Education, health care, analytics, marketing—immersive environments are poised to provide productivity gains in multiple sectors, eventually replacing conventional interfaces with gestures, gaze and natural language processing. The Software Engineering and Programming Language comm ...

SCMSCM 2017 (with POPL 2017)Wed 18 - Fri 20 January 2017

Secure compilation aims to preserve high-level language abstractions in compiled code, even against adversarial low-level contexts. The Secure Compilation Meeting (SCM) takes a broad and inclusive view of secure compilation and provides a forum for discussion on the topic. The scope of SCM includes, but is not limited to, efficient enforcement mechanisms (based on static analysis, software rewriting, reference m ...

SCORESCORE 2021 (with ICSE 2021)Sat 22 - Sun 30 May 2021
Madrid, Spain

The SCORE Contest is aimed at promoting and fostering software engineering in universities worldwide. Student teams from all over the world participate in a competition for students from undergraduate to master’s level. Each team will develop a software project chosen from a list of projects proposed and sponsored by program committee members. The final deliverable is a report and an accompanying executable syste ...

Software Engineering for Sustainable SystemsSE4SuSy 2016 (with Modularity 2016 )Mon 14 - Thu 17 March 2016
Spain

WORKSHOP CANCELLED Thus, this workshop aims to initiate a discussion on topics of capturing, modularly representing, and implementing sustainability-related concerns throughout software engineering life cycle: from requirements engineering through architecture design, implementation, dedicated language engineering, testing, and deployment activities. Software systems are a powerful tool in transforming societies ...

SEADSEAD 2019 (with ASE 2019)Mon 11 - Fri 15 November 2019
San Diego, California, United States

Second International Workshop on Software Security from Design to Deployment (SEAD) In today’s increasingly interconnected software-intensive systems, analyzing, implementing and maintaining security requirements of software-intensive systems and achieving truly secure software systems requires planning for security from the ground up, and continuously assuring that security is maintained across the software’s l ...

Symposium on Software Engineering for Adaptive and Self-Managing SystemsSEAMS 2021 (with ICSE 2021)Sat 22 - Sun 30 May 2021
Madrid, Spain

Welcome to the website of the Symposium on Software Engineering for Adaptive and Self-Managing Systems 2021 conference. The objective of SEAMS is to bring together researchers and practitioners from diverse areas to investigate, discuss, and examine the fundamental principles, the state of the art, and critical challenges of engineering self-adaptive and self-managing systems. Modern and emerging software syste ...

SEInfraConfigSEConfig 2019 (with ASE 2019)Mon 11 - Fri 15 November 2019
San Diego, California, United States

Configuration errors (also known as misconfigurations) have become one of the major causes of system failures, resulting in security vulnerabilities, application outages, and incorrect program executions. Building tools for configuration file support, management, and verification has been an active direction of research. As support for configuration files grows, so too does the scope of their application, for exa ...

International Workshop on Software Engineering IntelligenceSEI 2019 (with ASE 2019)Mon 11 - Fri 15 November 2019
San Diego, California, United States

International Workshop on Software Engineering Intelligence The goal for the SEI workshop is to develop a community around Software Engineering Intelligence. Software Engineering intelligence (SEI) comprises a variety of computational intelligence methodologies and approaches to address software engineering problems. The participants of the workshop will work together on creating a research agenda targeting seve ...

SEiASEiA 2018 (with * ICSE 2018 *)Sun 27 - Mon 28 May 2018
Gothenburg, Sweden

The Symposium on Software Engineering in Africa (SEiA) is a forum for researchers, innovators, and leading professionals to discuss the state and future of software engineering in Africa. SEiA 2018 has been organized with the purpose of increasing participation of researchers from Africa in international Software Engineering community. The event provides a platform for exchanging ideas on the role of software eng ...

SLESLE 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution. With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its ...

SLEBoKSLEBoK 2018 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

The field of software language engineering (SLE) has emerged based on a strong motivation to connect and integrate different research disciplines such as compiler construction, reverse engineering, software transformation, model-driven engineering, and ontologies. SLE is defined as the application of systematic, disciplined, and measurable approaches to the development, deployment, use, and maintenance of softwar ...

SOAPSOAP 2020 (with PLDI 2020)Mon 15 Jun 2020

Static and dynamic analysis techniques and tools for Java, and other programming languages have received widespread attention for a long time. The application domains of these analyses range from core libraries to modern technologies such as web services and Android applications. Over time, various analysis frameworks have been developed to provide techniques for optimizing programs, ensuring code quality, and as ...

SOOPSOOP'20 (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

Due to COVID-19, SOOP is postponed. The war is over, it’s objects all the way down. “WELCOME TO ECOOP'97 This year, 1997, marks the 30th anniversary of Simula, and thus of object-oriented programming, the 25th anniversary of Smalltalk, and the 10th anniversary of ECOOP. We cordially invite all researchers, practitioners, educators, and students interested in object technology to attend ECOOP '97, the 11t ...

SPINSPIN 2019 (with ISSTA 2019)Mon 15 - Fri 19 July 2019
Beijing, China

SPIN 2019 26th International Symposium on Model Checking of Software Beijing, China, July 15-19, 2019 https://conf.researchr.org/home/spin-2019 Co-located with ISSTA 2019 The 26th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and va ...

SPIoTSPIoT 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

The workshop on Security Practices for Internet of Things addresses the security issues of IoT devices from the formal and practical viewpoint. IoT devices are creeping into everyday life by promising wondrous features. However, a malicious attacker can easily exploit these devices to build botnets, lock them with ransomware, or use them as a bridgehead into less accessible networks. The objective of the SPIoT wo ...

SPLASHSPLASH 2020Sun 15 - Fri 20 November 2020
Online Conference

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

STOKEDSTOKED 2019 (with SPLASH 2019)Sun 20 - Fri 25 October 2019
Athens, Greece

Global coverage and temporal resolutions of earth observation imagery data is increasing at an unprecedented rate, generating trillions of new pixels of data daily. The challenge with this ‘big data’ is finding practical ways to extract knowledge and deliver it to end users at scale, both due to the complex nature and the sheer volume of information. Detailed, standardized geographic information is required to e ...

STOPSTOP 2016 (with ECOOP 2016)Mon 18 - Fri 22 July 2016
Rome, Italy

Welcome to the 5th Script To Program Evolution Workshop In recent years there has been increased interest in scripting languages, the migration from scripts to large programs, and the interplay between typed and untyped code. New languages such as TypeScript, Hack, Dart, Typed Racket, and GradualTalk, to name a few, have begun to explore the integration of dynamic and static typing within ...

SYCLSYCL 2017 (with PPoPP 2017)Sat 4 - Wed 8 February 2017
Austin, Texas, United States

SYCL is a new Khronos specification for heterogeneous computing built on top of OpenCL and C++. The SYCL 1.2 specification was published on May 2015, and the current SYCL 2.2 specification has been published on February 2016. Behind these two specifications, there has been an important community effort ongoing for more than five years. Now with the specifications available and with Codeplay releasing their Codepl ...

SYNTCOMP CampSYNT Camp 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

The target audience of this short tutorial (3.5 hours) are researchers that are interested in the state of the art regarding theory and implementations of the automatic synthesis of reactive systems. With the advent of the reactive synthesis competition (SYNTCOMP: http://www.syntcomp.org/), the synthesis community has made major improvements both with respect to efficient algorithms and their implementation in m ...

ScalaScala 2020 (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

Scala 2020 is now co-located with SPLASH Camera-ready: Thursday, October 15th Scala Symposium: TBA (virtual)

SchemeScheme 2020 (with ICFP 2020)Sun 23 - Fri 28 August 2020

The Scheme and Functional Programming Workshop is a yearly meeting of programming language practitioners who share an aesthetic sense embodied by the Algorithmic Language Scheme: universality through minimalism, and flexibility through rigorous design. NOTE: Deadline changed to 31 May NOTE: Author notification date changed to 19 June NOTE: Camera Ready date changed to 7 July NOTE: acmart format clarified to b ...

Smart Software StrategiesSmart Software Strategies 2015 (with SPLASH 2015)Mon 26 Oct 2015
Pittsburgh, Pennsylvania, United States

We should learn from the past – to use what we learn for the next problem. What can we learn from the experiences of Y2K? There are some lessons about software design and software maintenance that we might apply to the next wave of software and technology: Y2K bugs: In the late 1990s, software developers and managers were furiously working to analyze and fix potential “Y2K bugs.” We all knew that there were ...

Summer School on Multicore ProgrammingSummer School on Multicore Programming 2014 (with SPLASH 2014)Fri 17 - Sun 19 October 2014
Portland, Oregon, United States

The Summer School on Multicore Programming (MPSS) is a chance to gain extensive, hands-on experience in Java multicore development and the Eclipse platform. Summer School runs from the afternoon of Friday, October 17 through the evening of Sunday, October 19. Integrated lecture-labs will form the basis of the coursework. Teaching assistants will be on-hand to help participants during the lab portions. The Summer ...

SySEPLSySEPL 2020 (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

Due to COVID-19, SySEPL will be postponed to 2021. Software Engineering and Programming Languages research have many commonalities. Both are interested in how computational tasks are formulated, and how to assist developers in express those tasks into correct and efficient code. Yet, the two communities have somewhat different approaches to the same problems. This workshop aims to bring practitioners toget ...

SynCoPSynCoP 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

SynCoP aims at bringing together researchers working on verification and parameter synthesis for systems with discrete or continuous parameters, in which the parameters influence the behaviour of the system in ways that are complex and difficult to predict. Such problems may arise for real-time, hybrid or probabilistic systems in a large variety of application domains. The parameters can be continuous (e.g. timin ...

TACASTACAS 2019 (with ETAPS 2019)Mon 8 - Thu 11 April 2019
Prague, Czech Republic

TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems. Theoretical papers wit ...

TAIC PARTTAIC PART 2020 (with ICST 2020)Sat 24 Oct 2020
Porto, Portugal

All information about this workshop can be found at the workshop’s official website: http://www.taicpart.org/

TAPASTAPAS 2020 (with SPLASH 2020)Thu 31 Dec 2020
Online Conference

In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement sta ...

TAVCPSIOTTAV-CPS/IoT 2018 (with ECOOP and ISSTA 2018)Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands

Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things Embedded and cyber-physical systems (e.g., avionics, robotics, medical devices, IoT devices) are different from traditional systems: they are environment (e.g., hardware) dependent; they are distributed and can employ different concurrency control mechanisms to coordinate software components; they can have timing and ...

Technical DeptTD (with SPLASH 2014)Mon 20 - Tue 21 October 2014
Portland, Oregon, United States

Visit http://manclswx.com/workshops/splash14/ for more information.

TMCTMC 2011 (with SPLASH 2011)Sat 22 - Thu 27 October 2011
Portland, Oregon, United States

Transition to Multicore TMC is focused on tools and systems for parallel programming that are interoperable with legacy code, minimize the annotation burden for developers, and match well with current industry practice. We solicit industry experience reports about working or unworkable examples of such tools or systems, as well as research reports on topics including: Surveys or empirical studies measuring t ...

TRANSACTTRANSACT 2017 (with PPoPP 2017)Sat 4 - Wed 8 February 2017
Austin, Texas, United States

The past decade has seen an explosion of interest in programming languages, systems, and hardware to support transactions, speculation, and related alternatives to classical lock-based concurrency. Recently, transactional memory has crossed two important thresholds. First, IBM and Intel are now shipping processors with hardware support for transactional memory (TM). Second, the C++ Standard Committee has been wor ...

TTTTTT 2017 (with POPL 2017)Wed 18 - Fri 20 January 2017

TTT : Type Theory Based Tools [We have funding possibilities for students and young researchers, see below. Note the early deadline.] Overview The aim of this workshop is to showcase modern tools based on type theory, whether designed for programming or for verification, whether academic projects or used in an industrial setting. It will provide a forum to highlight and discuss their common and their distincti ...

TURBOTURBO'18 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

As software demands&nbsp;evolve and grow, new programming languages emerge and rise to popularity. However, supporting more advanced language runtime features such as just-in-time (JIT) compilation and garbage collection (GC) for a new language is no easy feat. Writing your own full-featured JIT and GC usually requires reading profusely on the subjects and implementing everything from scratch over a long period o ...

International Conference on Technical DebtTechDebt 2021 (with ICSE 2021)Sun 23 - Mon 24 May 2021
Madrid, Spain

Welcome to the website of the International Conference on Technical Debt 2021 conference. We are working hard to fill the website with all related information. Please check back soon! Technical debt describes a universal software development phenomenon: design or implementation constructs that are expedient in the short term but set up a technical context that can make future changes more costly or impossible. S ...

TestEdTestEd 2020 (with ICST 2020)Wed 28 Oct 2020
Porto, Portugal

All information about this workshop can be found at the workshop’s official website: https://testedworkshop.github.io/

Testing CompetitionTesting Competition (with ISSTA 2019)Mon 15 - Fri 19 July 2019
Beijing, China

Software testing has become an indispensable task of the software industry. The universities provide students with the fundamental knowledge and techniques of software testing. But students often ignore industry practices and lack real-world testing experience. To address this problem, ISSTA 2019 with the sponsor of MoocTest organizes testing competition for students. The competition aims to bring real-world test ...

ToCaMSToCaMS 2020 (with ICST 2020)Wed 28 Oct 2020
Porto, Portugal

All information about this workshop can be found at the workshop’s official website: https://www.xivt.org/ToCaMS

TruffleTruffle 2015 (with ECOOP 2015)Mon 6 - Fri 10 July 2015
Prague, Czech Republic

Welcome to the 1st Truffle/Graal Languages Workshop In recent years we have observed a change in the way people think about implementing programming languages. In the past, an implementation of a given language was monolithic, with all the components, such as the runtime, compiler or memory management subsystem, developed from scratch. With the appearance of Java, developers of other language ...

TyDeTyDe 2020 (with ICFP 2020)Sun 23 Aug 2020

The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: dependently t ...

VEEVEE 2020Tue 17 Mar 2020
Lausanne, Switzerland

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

VL/HCCVL/HCC 2020Tue 11 - Fri 14 August 2020
Dunedin, New Zealand

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

International Conference on Verification, Model Checking, and Abstract InterpretationVMCAI 2021 (with POPL 2021)Sun 17 - Fri 22 January 2021
Online

Welcome to the website of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2021 will be the 2nd edition in t ...

VMILVMIL 2020 (with SPLASH 2020)Sun 15 - Fri 20 November 2020
Online Conference

The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and rel ...

VORTEXVORTEX 2020 (with SPLASH 2020)Mon 13 - Fri 17 July 2020
Online Conference

Due to COVID-19, VORTEX will be postponed to 2021. Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions by means of the event traces generated from single runs of the system under scrutiny (SUS). Recently, RV has gained more consensus as a solution to ensure software reliability, bridging the gap between ...

VPTVPT 2019 (with ‹Programming› 2019)Mon 1 - Thu 4 April 2019
Genoa, Italy

The aim of the VPT 2019 workshop is to bring together researchers working in the fields of Program Verification and Program Transformation. There is a great potential for beneficial interactions between these two fields because: On one hand, methods and tools developed in the field of Program Transformation such as partial evaluation, fold/unfold transformations, and supercompilation, have all been applied with ...

VerifyThisVerifyThis 2019 (with ETAPS 2019)Sat 6 - Thu 11 April 2019
Prague, Czech Republic

The aims of the competition are: to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion, to evaluate the usability of logic-based program verification tools in a controlled experiment that could be easily repeated by others. The competition will offer a number of challenges presented in natural language and pseudo code. Particip ...

WAXWAX 2019 (with PLDI 2019)Sat 22 - Wed 26 June 2019
Phoenix, Arizona, United States

WAX is a workshop on approximate computing, a research direction that asks how computer systems can be made better—faster, more efficient, and less complex—by relaxing the requirement that they be exactly correct. Approximation arises from sources as diverse as sensors, machine learning algorithms, and big data applications. Approximate systems raise questions from across the system stack, from circuits to applic ...

WCIREWCIRE 2017 (with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM)Sun 18 - Fri 23 June 2017
Barcelona, Spain

The Workshop on Compiler Infrastructures for Research and Education (WCIRE) aims to bring together developers of compiler infrastructures, researchers interested in compiler infrastructures, and users of compiler infrastructures in academia. The workshop will consist of developer talks describing different compiler infrastructures and their use, and user talks describing how compiler infrastructures have been use ...

WGTWGT 2020 (with POPL 2020)Sun 19 - Sat 25 January 2020
New Orleans, Louisiana, United States

The Workshop on Gradual Typing (WGT) aims at disseminating the latest results on the integration of compile­-time and run­-time checking of program invariants, such as the integration of static and dynamic type checking. The workshop serves as an incubator for ideas, open problems, and manuscripts: it is a place where the community can meet, discuss, and give each other constructive feedback. The workshop will en ...

WODAWODA 2017 (with SPLASH 2017)Sun 22 - Fri 27 October 2017
Vancouver, Canada

WODA’17 was a great success. Thanks to all speakers and participants! A subset of the WODA’17 attendees: The 2017 edition of WODA features an outstanding line-up of invited speakers. The workshop is open to everybody interested. The International Workshop on Dynamic Analysis (WODA) is the place where researchers interested in dynamic analysis and related topics can meet and discuss current research, issues, ...

WOSCWOSC (with SPLASH 2014)Mon 20 - Fri 24 October 2014
Portland, Oregon, United States

Building on a successful workshop last year, the second Workshop on Stencil Computations is now ACM-sponsored and proceedings will be published in the ACM Digital Library.

WOWWOW 2015 (with PLDI 2015)Sat 13 - Wed 17 June 2015
Portland, Oregon, United States

Please see the external WOW’15 website for more information.

WPMVPWPMVP 2020 (with PPoPP 2020)Sat 22 - Wed 26 February 2020
San Diego, California, United States

Call for Papers SIMD processing is still a main driver of performance in general-purpose processor architectures besides multi-core technology. Both technologies increase the potential performance by factors, but have to be explicitly utilized by the software. To expose those different levels of parallelism in a productive and manageable way is still an active area of research. NVIDIA stirred the programming int ...

WoSSCAWoSSCA 2018 (with ECOOP and ISSTA 2018)Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands

First Workshop on Speculative Side Channel Analysis Side channels have dramatically gained attention in January this year when security researchers disclosed several attacks with the potential to improperly gather sensitive data from the majority of computing devices. Vendors of both processors and operating systems are scrambling to fix their systems. There is no reason to believe these attack ...

X10X10 (with PLDI 2016)Mon 13 - Fri 17 June 2016
Santa Barbara, California, United States

The concurrency and scale-out era is upon us. Application programmers need to confront the architectural challenge of multiples cores and accelerators, clusters and supercomputers. A central need is the development of a usable programming model that can address these challenges – dealing with thousands of cores and peta-bytes of data. The open-source X10 programming language is designed to address these twin cha ...

miniKanRenminiKanren 2020 (with ICFP 2020)Sun 23 - Fri 28 August 2020

The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, core.logic, OCanren, Guanxi, etc. The workshop solicits papers and talks on the design, implementation, and application of miniKanren-like languages. A major goal of the workshop is to bring together researchers, implementors, and user ...

xDDxDD 2012 (with SPLASH 2012)Sun 21 - Thu 25 October 2012
Tucson, Arizona, United States

SPLASH ’12 Workshop - What Drives Design? Designers are busy people, and they are getting busier. In today’s world designers must deal with three competing pressures: A relentless avalanche of new knowledge about rapidly evolving applications domains and platforms, everything from smart phones, tablets and social networking to finance and defense systems, An insatiable marketplace demanding and rewarding i ...

‹Programming›‹Programming› 2021Fri 31 Dec 2021
Cambridge, United Kingdom

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.