Use '|' to match multiple|terms. Showing:
SeriesLatest Edition
AGEREAGERE 2018 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

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

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

The 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems 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 platforms and HPC systems. The increased complexity of parallel applic ...

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

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

5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Philadelphia, USA - June 19, 2018 DEADLINE: April 15, 2018 ARRAY 2018 is part of PLDI 2018 39th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation Keynote: Albert Cohen Tensor Comprehensions: deep learning as a polyhedral compiler's killer app Deep learning models with convolu ...

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

Today’s IT systems, and the interactions among them, become more and more complex. Power grid blackouts, airplane crashes, failures of medical devices, cruise control devices out of control are just a few examples of incidents due to component failures and unexpected interactions of subsystems under conditions that have not been anticipated during system design and testing. The failure of one component may entail ...

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 (artists, scientists, hobbyists, etc.-for word count, get rid of the parenthetical). 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, ...

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

Reproducible experiments is 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 that ...

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 2017Sun 5 - Mon 6 February 2017
Austin, Texas, United States

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

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 2015 (with PLDI 2015)Sat 13 - Wed 17 June 2015
Portland, Oregon, United States

Welcome to the website of the CHIUW 2015: The Second Annual Chapel conference.

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

Welcome to the 10th International Workshop on Context-Oriented Programming Advanced Modularity for Run-time Composition 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. Unfortunately, mainstream programming languages and development environments still do not support ...

Certified Programs and ProofsCPP 2019 (with POPL 2019)Sun 13 - Sat 19 January 2019
Cascais/Lisbon, Portugal

This page will soon grow in content and contain information about the scope of this research track.

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

Today’s IT systems, and the interactions among them, become more and more complex. Power grid blackouts, airplane crashes, failures of medical devices, cruise control devices out of control are just a few examples of incidents due to component failures and unexpected interactions of subsystems under conditions that have not been anticipated during system design and testing. The failure of one component may entail ...

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

CoCoDoCoCoDo 2018 (with ‹Programming› 2018)Mon 9 - Thu 12 April 2018
Nice, France

CoCoDo is not a workshop, it is a coding dojo. Instead of preparing a paper and giving a short presentation, participants will enjoy the entire day of programming. The topic of CoCoDo is compiler construction: the oldest branch of computer science, which has been accumulating useful techniques since 1950s. Compiler construction comprises, but is not limited to, lexical analysis, syntactic analysis, preprocessing, ...

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

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

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)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 2015 (with SPLASH 2015)Tue 27 Oct 2015
Pittsburgh, Pennsylvania, United States

For over 25 years, DBPL has established itself as the principal venue for publishing and discussing new ideas at the intersection of databases and programming languages. Many key contributions in query languages for object-oriented data, persistent databases, nested relational data, and semistructured data, as well as fundamental ideas in types for query languages, were first announced at DBPL. This creative rese ...

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

DCP (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-FOPARA joint workshop bring together researchers working on different aspects of determining the complexity of computer programs. Notably the theoretical aspects studied by implicit computational complexity (ICC) and its connection to other areas, usually covered by DICE; and the practical aspects of resource-consumption (e.g. time, space or energy), including experimental tools to obtain these, usually ...

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

From Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, Dynamic Languages have been playing a fundamental role both in programming research and practice. The 14th Dynamic Languages Symposium (DLS) at SPLASH 2018 is the premier forum for researchers and practitioners to share research and experience on all aspects on Dynamic Languages. Areas of interest include but are not limited to: Innovative l ...

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

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 2016 (with SPLASH 2016)Sun 30 October - Fri 4 November 2016
Amsterdam, Netherlands

Domain-specific languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems development faster and easier. When accompanied with suitable automated modeling tools and generators it delivers to the promises of continuous delivery and devops. In Domain-Specific Modeling (DSM) the models are constructed using concepts tha ...

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

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

Deep Specifications Formal verification of systems software requires specifications that are: rich (describing complex component behaviors in detail) two-sided (connected to both implementations and clients) formal (written in a mathematical notation with clear semantics to support tools such as type checkers, analysis and testing tools, automated or machine-assisted provers, and advanced IDEs) live (c ...

ECOOPECOOP 2018 (with ECOOP and ISSTA)Sun 15 - Sat 21 July 2018
Amsterdam, Netherlands

The ECOOP is the European forum for bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, object-oriented technologies, systems and applications. ECOOP will take place from July 19th to 21st 2018 in Amsterdam. Colocated conferences include ISSTA and Curry On. ECOOP is Open Access ...

ECOOP/ISSTAECOOP and ISSTASun 15 - Sat 21 July 2018
Amsterdam, Netherlands

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

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

External Website Information about the 12th European Lisp Symposium, ELS 2019 can be found on: http://www.european-lisp-symposium.org/

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

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

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 (ETAPS) 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 satellite workshops and other events.

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.

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

Date of the Workshop Saturday, 29 September 2018 Venue & Registration Details For registration, please see the ICFP 2018 web site at: https://conf.researchr.org/home/icfp-2018 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 ...

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 2018 (with ICFP 2018)Sun 23 - Sat 29 September 2018
St. Louis, Missouri, United States

The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who harness functional techniques in the pursuit of creativity and expression, or seek such techniques. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments ...

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

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

The Workshop on Functional High-Performance Computing will be held on Saturday, September 29th, after ICFP’18 (24th-26th) and the Haskell Symposium and various workshops (27th-28th), in St. Louis, MO, USA

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

FREECO (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 2018 (with ECOOP and ISSTA)Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands

20th Workshop on Formal Techniques for Java-like Programs Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Languages such as Java, C#, and Scala are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applica ...

FormaliSEFormaliSE 2018 (with * ICSE 2018 *)Sat 2 Jun 2018
Gothenburg, Sweden

The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, even considering the current technologies, the success of software projects is often not guaranteed. Many of the approaches used for large complex problems have not been able to assure the correct behavior of the delivered software, despite the efforts of the (often very ...

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 2018 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experience (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 techniques ...

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.  This is an established ETAPS workshop, which has been running for the past 13 years.

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

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

HILTHILT 2018 (with SPLASH 2018)Mon 5 - Tue 6 November 2018
Boston, Massachusetts, United States

This is the fifth in the HILT series of conferences and workshops focused on the use of High Integrity Language Technology to address challenging issues in the engineering of software-intensive critical systems. HILT 2018 will focus on addressing cybersecurity and cyber-resilience issues that arise in real-time, embedded, and/or safety-critical systems. Submissions are encouraged describing theoretical and practi ...

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

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 2018, the Haskell Implementors’ Workshop will be co-located with ICFP 2018. The workshop does not have proceedings. Talks and/or d ...

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

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 7th ACM SIGPLAN Workshop on Higher-Or ...

HOPLHOPL IVMon 1 Jun 2020

The History of Programming Languages conference series produces accurate historical records and descriptions of programming language design, development, and philosophy. It is infrequently held: the first three were in 1978, 1993, and 2007. It’s now time for HOPL-IV, to be collocated with PLDI 2020. NEW! (3 May 2018) The submissions website for HOPL IV at hopl4.hotcrp.com is now open. See the updated Call for Pa ...

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 2018 (with ICFP 2018)Sun 23 - Sat 29 September 2018
St. Louis, Missouri, United States

Dates: 27–28 September 2018, St. Louis, MO, United States The ACM SIGPLAN Haskell Symposium 2018 will be co-located with the 2018 International Conference on Functional Programming (ICFP), in St. Louis, MO, United States. The Haskell Symposium aims to present original research on Haskell, discuss practical experience and future development of the language, and to promote other forms of denotative programming. T ...

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

The First 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 recomputation. Incremental computations can be found across a wide range of computing domains, and thus across many areas of computer science. Consid ...

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

ICFP 2018 is the 23nd ACM SIGPLAN International Conference on Functional Programming. This year, ICFP is colocated with Strange Loop! Considering attending ICFP for the first time? See our brief explainer. Registration: Registration for ICFP 2018 is now open. Register on or before 27 August to get the early registration discount! Programming Contest: The 2018 ICFP programming contest will be Fri July 20 th ...

International Conference on Global Software EngineeringICGSE 2019 (with ICSE 2019)Sat 25 - Sun 26 May 2019
Montreal, QC, Canada

“Succeeding in the Global Software Industry”

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

Welcome to the 13th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop! 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 directions as well as new solutions to classic performance challenges. The topic ...

International Conference on Program ComprehensionICPC 2019 (with ICSE 2019)Sat 25 - Fri 31 May 2019
Montreal, QC, Canada

Welcome to the website of the International Conference on Program Comprehension 2019 conference. We are working hard to fill the website with all related information. Please check back soon!

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

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

International Conference on Software and System ProcessesICSSP 2018 (with * ICSE 2018 *)Sat 26 - Sun 27 May 2018
Gothenburg, Sweden

ICSSP2018 – Demands on Processes, Processes on Demand The main ICSSP web-page is at http://icssp-conferences.org/ Registration Link http://icssp-conferences.org/registration-2018/ Conference Topics Software and system process decision-making is becoming more challenging for development organizations. These organizations are incorporating engineering advances, seeking to meet expectations of their customers, ...

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

4th International Workshop on User Interface Test Automation, and TESTBEDS - 8th International Workshop on TESting Techniques for event BasED Software The main page for INTUITESTBEDS 2018 is https://www.intuitestbeds.org/ INTUITESTBEDS is a merge of two workshops with very similar goals and topics, INTUITEST - 4th International Workshop on User Interface Test Automation, and TESTBEDS - 8th International Worksho ...

ISAGTISAGT (with ECOOP and ISSTA)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 aims to discuss 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 cov ...

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

Welcome to the website of the ISMM 2018 conference.

ISSTAISSTA 2018 (with ECOOP and ISSTA)Sun 15 - Sat 21 July 2018
Amsterdam, Netherlands

The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ISSTA will take place from July 16th to 18th 2018 in Amsterdam. Colocated conferences include ECOOP and Curry ...

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 2017 (with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM)Sun 18 - Fri 23 June 2017
Barcelona, Spain

IWACO’17 is over. Thank you to all the speakers and everyone attending! We would love your feedback: http://tiny.cc/iwaco17feedback Stable object identity and shared mutable state are two powerful principles in object oriented programming. The ability to create aliases to mutable objects allows a direct modelling of sharing that occurs naturally in a domain, and lies at the heart of efficient programming pattern ...

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 only increase the need for industrial-scale robust approaches. Nevertheless, there are still many barriers that hinder their application in industrial practice: Industrial scale and complexity of “real” systems Usability/feasibility of formal techniques in practice New sys ...

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

This page will soon grow in content and contain information about the scope of this research track.

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

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 many strands of research work in static and dynamic program analysis, automated testing, security analysis and refactoring, to name just a few. At the sam ...

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

LASSY is cancelled for 2018

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

Welcome to the 19th Annual ACM SIGPLAN / SIGBED 2018 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2018). The conference will take place on June 19th. Follow us on https://twitter.com/acmlctes. LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems, but with di ...

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

The LIVE Programming Workshop invites submissions of new ideas for improving the immediacy, usability, and learnability of programming. Live programming gives the programmer immediate feedback on the behavior of a program as it is edited, replacing the edit compile-debug cycle with a fluid programming experience. The best-known example of live programming is the spreadsheet. The LIVE workshop is a forum for resea ...

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 2018 (with PLDI 2018)Mon 18 - Fri 22 June 2018
Philadelphia, Pennsylvania, United States

Due to recent algorithmic and computational advances, machine learning has seen a surge of interest in both research and practice. From natural language processing to self-driving cars, machine learning is creating new possibilities that are changing the way we live and interact with computers. However, the impact of these advances on programming languages remains mostly untapped. Yet, incredible research opportu ...

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'18 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

The Meta’18 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 changing hardware and software landscape, and the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associate complexity. The challenges which metaprogramming fa ...

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

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

ML4PLML4PL 2018 (with ECOOP and ISSTA)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 an ...

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

Mining Software RepositoriesMSR 2018 (with * ICSE 2018 *)Mon 28 - Tue 29 May 2018
Gothenburg, Sweden

The Mining Software Repositories (MSR) field analyzes the rich data available in software repositories to uncover interesting and actionable information about software systems and projects. The goal of this two-day conference is to advance the science and practice of MSR. The 15th International Conference on Mining Software Repositories is sponsored will be co-located with ICSE 2018 in Gothenburg, Sweden. Softwa ...

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

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 consists in ensuring correctness by construction. The term Rigorous System Design (RSD) denotes the design approach that is based on a formal, accountable and iterative process for derivin ...

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

International Conference on Mobile Software Engineering and SystemsMobileSoft 2018 (with * ICSE 2018 *)Sun 27 May - Sun 3 June 2018
Gothenburg, Sweden

Come take a look at our website to get the most up to date information: http://mobilesoftconf.org/2018/ 5th IEEE/ACM International Conference on Mobile Software Engineering and Systems May 27 - 28, Gothenburg, Sweden - Co-located with ICSE 2018 May 27 - June 3 The MOBILESoft Organizing Committee members welcome you to MOBILESoft 2018 and cordially invite contributions related to all aspects of mobile softwar ...

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 2018 (with ‹Programming› 2018)Mon 9 - Thu 12 April 2018
Nice, France

The MoreVMs workshop aims to bring together industrial and academic programmers to discuss the design, implementation, and usage of modern languages and runtimes. This includes aspects such as reuse of language runtimes, modular implementation, language design and compilation strategies.

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

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

We are working on creating a Normalized Java Resource (NJR) that will speed up innovation in the area of software tools. Those tools include security enhancers, bug finders, and code synthesizers, all of which can benefit greatly from access to Big Code. Our vision is a diverse collection of 100,000 normalized Java projects that is executable, scriptable, and searchable. The Java projects stem from the Sourcerer ...

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

The -3rd Workshop on New Object-Oriented Languages (NOOL 2018). The NOOL workshop series is a platform for discussing new research, novel ideas and experimental designs in object-oriented languages and systems. Previous NOOLs (2017–2015) have included talks on a variety of topics, such as novel languages and language features, type systems, OO fundamentals, tools and environments, as well as discussions on langu ...

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

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 ensure static correctness of matrix ...

Neo4j (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 2018 (with ICFP 2018)Sun 23 - Sat 29 September 2018
St. Louis, Missouri, United States

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 colocated with ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, ICFP 2016 in Nara, and ICFP 2017 in Oxford, following the OCaml Meetings in Paris in 2010 and 2011. OC ...

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

Off the Beaten TrackOff the Beaten Track 2018 (with POPL 2018)Mon 8 - Sat 13 January 2018
Los Angeles, California, United States

OBT 2018 will be held on Saturday, January 13th. 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 ide ...

Onward!Onward! 2018 (with SPLASH 2018)Sun 4 - Fri 9 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 2019 (with POPL 2019)Sun 13 - Sat 19 January 2019
Cascais/Lisbon, Portugal

This page will soon grow in content and contain information about the scope of this research track.

PASSPASS 2018 (with ‹Programming› 2018)Tue 10 Apr 2018
Nice, France

Today’s IT systems are often distributed and heterogeneous. Therefore, many (functional and non-functional) system requirements must be implemented across different layers of the system stack. This workshop is interested in experiences from implementing such systems and methods or tools for their development and support.

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

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

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 systems is inherently concurrent and communication-centred. PLACES aims to offer a forum w ...

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!

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

Programming languages exist to enable programmers to develop software effectively. But programmer efficiency 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 such languages and tools cover a large space, including making ...

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

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

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!

Programming Languages Mentoring WorkshopPLMW @ PLDI 2018 (with PLDI 2018)Mon 18 - Fri 22 June 2018
Philadelphia, Pennsylvania, United States

What is PLMW The Programming Language Mentoring Workshop is designed to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programming languages. The workshop program will include technical sessions that cover both the history and current practice of core subfields within programming languages, mentoring sessions that cover effectiv ...

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!

PLOPPLoP 2017 (with SPLASH 2017)Mon 23 - Wed 25 October 2017
Vancouver, Canada

THE INTERNATIONAL CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS We are excited that PLoP 2017 will once again be collocate with SPLASH. You can find details about the conference on the PLoP’s main website. Pattern Languages of Programs (PLoP) conference is a premier event for pattern authors and pattern enthusiasts to gather, discuss and learn more about patterns and software development. The conference program ...

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

The 9th International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM 2018) is to be held in conjunction with PPoPP 2018 on February 24-28, 2018 in Vienna, Austria. This workshop is dedicated primarily to gather researchers and practitioners addressing the main challenges and share experiences in the emerging multicore and manycore software engineering and distributed programmi ...

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 2019Sun 13 - Sat 19 January 2019
Cascais/Lisbon, Portugal

Welcome to the website of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). News POPL 2019 Call for Papers Call for Workshops and Co-located Events Supporting POPL General Information The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experiment ...

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

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

Program We are excited to announce our 2018 program, including an invited talk, an invited tutorial, and the following talks and posters. For more details on the schedule, see the Program tab. The extended abstracts for the talks and posters can be found at http://pps2018.soic.indiana.edu Join our slack discussion at https://popl2018.slack.com/#pps Invited talk Erik Meijer, Facebook Software is eating the wo ...

Principles and Practice of Parallel ProgrammingPPoPP 2019Sat 16 - Wed 20 February 2019
Washington, DC, United States

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

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/18 (with ‹Programming› 2018)Mon 9 - Thu 12 April 2018
Nice, France

Welcome to the 4th Edition of the Programming Experience Workshop Note: If you intend to participate in the PX/18 workshop, please note that the workshop will follow the Writers’ Workshop format. For that, please download and read all submissions in advance. Abstract Imagine a software development task: some sort of requirements and specification including performance goals and perh ...

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

In the past, there have been many program analysis-oriented workshops and tutorials such as SOAP and DECAF at ISSTA. Such events have encouraged people to share how they use various analysis frameworks such as DOOP, Flix, Soot, Soufflé, and WALA. In 2017, Julian Dolby and Karim Ali held the first WALA hackathon at PLDI. The WALA hackathon was a great opportunity to work on WALA-specific projects (e.g., implementi ...

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 2018 (with POPL 2018)Mon 8 - Sat 13 January 2018
Los Angeles, California, United States

News: All the speakers have made their slides available Do not miss the chance to submit short talks on your cutting-edge research until 14 December 2017, 23:59 AoE . Workshop program is now available POPL/PriSC registration is open; early rate ends on 10 December 2017 List of presentations accepted at PriSC is now public Invited talk by Mathias Payer on Challenges For Compiler-backed Secur ...

ProWebProWeb 2018 (with ‹Programming› 2018)Mon 9 - Thu 12 April 2018
Nice, France

Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line functionality —Google docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HT ...

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

RACES (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 2018 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

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-called reactive and event-based languages and systems (REBLS) — have ...

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!

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)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 on its recently c ...

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

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

Symposium on Software Engineering for Adaptive and Self-Managing SystemsSEAMS 2019 (with ICSE 2019)Sat 25 - Fri 31 May 2019
Montreal, QC, Canada

Welcome to the website of the Symposium on Software Engineering for Adaptive and Self-Managing Systems 2019 conference. We are working hard to fill the website with all related information. Please check back soon!

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 2018 (with SPLASH 2018)Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

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 2018 (with ECOOP and ISSTA)Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands

7th International Workshop on the State Of the Art in Program Analysis 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, analysis frameworks, such as Soot, WALA, Chord, DOOP, ...

SPINSPIN 2017 (with ISSTA 2017)Thu 13 - Fri 14 July 2017
Santa Barbara, California, United States

Thank you all for a successful event! See you in Malaga, Spain, in 2018! SPIN 2017 Best Papers Congratulations to best paper award authors! Best Paper Award Distributed Binary Decision Diagrams for Symbolic Reachability by Wytse Oortwijn, Tom van Dijk and Jaco van de Pol Best Short Paper Award SIMPAL: A Compositional Reasoning Framework for Imperative Programs by Lucas Wagner, David Greve and Andrew Ga ...

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 2018Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2018 will take place in Boston from Sunday 4th to Friday 9th of November 2018.

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

Salon des RefusésSalon des Refusés 2018 (with ‹Programming› 2018)Mon 9 - Thu 12 April 2018
Nice, France

Dialectics for new computer science Salon des Refusés (“exhibition of rejects”) was an 1863 exhibition of artworks rejected from the official Paris Salon. The jury of Paris Salon required near-photographic realism and classified works according to a strict genre hierarchy. Paintings by many, later famous, modernists such as Édouard Manet were rejected and appeared in what became known as the Salon des Refusés. T ...

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

Welcome to the Ninth ACM SIGPLAN Symposium on Scala, 2018! Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spe ...

SchemeScheme 2018 (with ICFP 2018)Fri 28 Sep 2018
St. Louis, Missouri, United States

The Scheme and Functional Programming Workshop is a yearly meeting of programming languge practitioners who share an aesthetic sense embodied by the Algorithmic Language Scheme: universality through minimalism, and flexibility through rigorous design.

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

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

TAVCPSIOTTAV-CPS/IoT 2018 (with ECOOP and ISSTA)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.

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 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 2019 (with ICSE 2019)Sat 25 - Fri 31 May 2019
Montreal, QC, Canada

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. Software developers and managers increasingly use the concept to communicate key tradeoffs related to release and quality issues. The goal of this two-day conference is to bring together ...

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 2018 (with ICFP 2018)Sun 23 - Sat 29 September 2018
St. Louis, Missouri, United States

The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. The workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.

VEEVEE 2018Sun 25 Mar 2018
Williamsburg, Virginia, United States

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

International Conference on Verification, Model Checking, and Abstract InterpretationVMCAI 2019 (with POPL 2019)Sun 13 - Sat 19 January 2019
Cascais/Lisbon, Portugal

This page will soon grow in content and contain information about the scope of this research track.

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

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 2018 (with ECOOP and ISSTA)Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands

Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. Recently, RV has gained more consensus as an effective and promising approach to ensure software reliability, bridging a gap between formal verification, and conventional testing; monitoring a system during runtime execution offers additional opportunities f ...

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 2015 (with PLDI 2015)Sat 13 - Wed 17 June 2015
Portland, Oregon, United States

The 2015 Workshop on Approximate Computing Across the Stack, or WAX, is a venue for research focusing on computing with unreliability and inexactness. Please see the main home page for details and submit papers here.

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

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.

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

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

First International 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 attacks fo ...

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

xDD (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› 2019Mon 1 - Thu 4 April 2019
Genova, Italy

Genova, Italy, April 1-4, 2019 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. The third edition of ‹Programmi ...