/***************************************************************************/
ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'17) Vancouver, British Columbia, Canada Sunday 22nd October - Friday 27th October, 2017 http://2017.splashcon.org Sponsored by ACM SIGPLAN /***************************************************************************/ FIRST COMBINED CALL FOR WORKSHOP CONTRIBUTIONS: SPLASH'17 will host the following 19 workshops: AGERE! - Programming based on Actors, Agents, and Decentralized Control CHESE - Coding and Human aspects of Educational Software Engineering CoCoS - Comprehension of Complex Systems DSLDI - Domain-Specific Languages Design and Implementation Escaped - Escaped from the Lab FOSD - Feature Oriented Software Development NJR - National Java Resource LIVE - Live Programming Meta! - Meta-Programming Techniques and Reflection NOOL - New Object-Oriented Languages OCAP - Object-Capability Languages, Systems, and Applications PLATEAU - Evaluation and Usability of Programming Languages and Tools PX/17.2 - Programming Experience PARSING - Parsing @ SLE REBLS - Reactive and Event-based Languages & Systems SAVR - Software for Augmented and Virtual Reality SEPS - Software Engineering for Parallel Systems VMIL - Virtual Machines and Intermediate Languages WODA - Workshop on Dynamic Analysis /***************************************************************************/ ## AGERE! 2017 - The 7th International Workshop on Programming based on Actors, Agents, and Decentralized Control The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents and – more generally – high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applications. Web: http://2017.splashcon.org/track/agere-2017 Submission: August 7, 2017 ## CHESE 2017 - The 3rd International Workshop on Coding and Human aspects of Educational Software Engineering 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 the element of tools and games. The 3rd International CHESE 2017 (Coding and Human aspects of Educational Software Engineering) focuses on technologies that assist in the education process of software engineering, specifically coding and testing. We look at how the technologies are built, how they are evaluated, and how communities can be built around their use. Some of topics that we are interested in are the relationship between testing and gaming, analysis and visualization of student data, the challenges of sharing and re-using such data, and the influence of different programming languages. The aim of the workshop is not only to act as a forum for the exchange of ideas, but also as a vehicle to stimulate, deepen, and widen partnership between the software engineering and education fields on an international scale. Web: http://2017.splashcon.org/track/chese-2017 Submission: August 1, 2017 ## CoCoS 2017 - Workshop on Comprehension of Complex Systems 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, which yields significant benefits in terms of reuse and separation of concerns. But those same abstractions, in languages, middleware, and models, also hide important system properties. This compounds the problem of comprehending run-time behavior in terms of original design concepts that have been abstracted away (for example debugging AO programs, or diagnosing violations of performance service-level agreements). Wider adoption of advanced modularity technologies depends on tools to assist developers in understanding the run-time behavior of complex composed systems. This workshop aims to create a dialog on the problem of program comprehension and its relation to modularity in this wider context. Web: http://2017.splashcon.org/track/cocos-2017 Submission: August 20, 2017 ## DSLDI 2017 - The 5th International Workshop on Domain-Specific Language Design and Implementation Domain-Specific Language Design and Implementation (DSLDI) is a workshop intended to bring together researchers and practitioners interested in discussing how DSLs should be designed, implemented, supported by tools, and applied in realistic contexts. The focus of the workshop is on all aspects of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. More generally, we are interested in continuing to build a community that can drive forward the development of modern DSLs. Web: http://2017.splashcon.org/track/dsldi-2017 Submission: August 7, 2017 ## Escaped 2017 - Escaped from the Lab Workshop What are some of the practices for taking new ideas and converting them into products? Even large organizations have a difficult time sustaining the innovation process. The all-to-common story: One part of the organization over-commits (promises the earth, moon, and stars), and another part of the organization is forced to deliver. The extravagant promise of the Powerpoint presentation is converted into the trail of tears of the Gantt chart. The grandiose project was originally supposed to be feasible. There were some small technology trials that proved out the basic ideas for low-volume transaction rates and simplified user interfaces. The product was supposed to be delivered in record time because of high rates of software reuse. So what went wrong? This workshop will explore the intersection of modern software technology and tools, high reliability and performance requirements, large organizations, and conflicts in the software development process. Web: http://2017.splashcon.org/track/escaped-2017 Submission: September 7, 2017 ## FOSD 2017 - Workshop on Feature-Oriented Software Development 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 systems in the family, and a particular software system can be produced by selecting or composing its corresponding features. A feature is a unit of functionality that satisfies a requirement, represents a design decision, or provides a configuration option. A challenge in FOSD is that a feature may not map cleanly to an isolated module of code. Rather, its implementation may crosscut many components and artifacts of the software system. Furthermore, the decomposition of a software system into its features gives rise to a combinatorial explosion of possible feature combinations and interactions. Web: http://2017.splashcon.org/track/fosd-2017 Submission: August 15, 2017 ## LIVE 2017 - Workshop on Live Programming Live programming systems abandon the traditional edit-compile-run cycle in favor of fluid user experiences that encourages powerful new ways of "thinking to code" and enables programmers to see and understand their program executions. Programming today requires much mental effort with broken stuttering feedback loops: programmers carefully plan their abstractions, simulating program execution in their heads; the computer is merely a receptacle for the resulting code with a means of executing that code. Live programming aims to create a tighter more fluid feedback loop between the programmer and computer, allowing the computer to augment more of the programming process by, for example, allowing programmers to progressively mine abstractions from concrete examples and providing continuous feedback about how their code will execute. Meanwhile, under the radar of the PL community at-large, a nascent community has formed around the related idea of "live coding" - live audiovisual performances which use computers and algorithms as instruments and include live audiences in their programming experiences. This workshop focuses on exploring notions and degrees of live programming as they relate to development, creative activities, learning, and performance. We are interested in methodologies, tools, demos, infrastructures, language designs, and questions that stimulate interest and understanding in live programming. Web: http://2017.splashcon.org/track/live-2017 Submission: August 1, 2017 ## META 2017 - Workshop on Meta-Programming Techniques and Reflection The Meta'17 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools. With the changing hardware and software landscape, and increased heterogeneity of systems, metaprogramming becomes an important research topic to handle the associate complexity once more. Contributions to the workshop are welcome on a wide range of topics related to design, implementation, and application of metaprogramming techniques, as well as empirical studies on and typing for such systems and languages. Web: http://2017.splashcon.org/track/meta-2017 Submission: August 7, 2017 ## NJR 2017 - Workshop on Towards a National Java Resource This workshop is the second in a series of workshops with the goal to work towards the establishment of a National Java Resource (NJR). Our vision is a collection of 10,000 Java projects, each of which builds and runs, and for which popular tools succeed and have cached outputs. NJR will lower the barrier to implementation of new tools, speed up research, and ultimately help advance research frontiers. In particular, NJR will enable tools that take advantage of Big Code in such areas as code synthesis, error repair, and program understanding. What do researchers need from NJR to make progress on their tools? A common road block is that existing collections of Java code are either small, without ability to build and run, or both. The main goals of the workshops are to discuss the list of tools that researchers commonly use as building blocks for their own tools, debate what features of the National Java Resource that researchers would like to see, and see how an early prototype of the National Java Resource works. Web: http://2017.splashcon.org/track/njr-2017 Submission: TBC ## NOOL 2017 - The -2th Workshop on New Object-Oriented Languages NOOL-17 brings together users and implementors of new(ish) object-oriented systems. Through presentations, discussions and demos, NOOL-17 will provide a forum for sharing experience and knowledge among experts and novices alike. We invite submissions in the following areas: Theory: Including object oriented programming, semantic models and methodology. Languages: New languages, extensions to conventional languages, and existing languages. Implementation: Including architectural support, compilation and interpretation. Tools and Environments: Including livecoding, user interfaces and utilities. Applications: Commercial, educational, and other applications that exploit OO programming. Web: http://2017.splashcon.org/track/nool-2017 Submission: September 1, 2017 ## OCAP 2017 - Workshop on Object-Capability Languages, Systems, and Applications The OCAP workshop seeks to bring together those interested in object-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 exchange and collaboration. Researchers working on object-capability and related methods, models, languages, and tools, as well as practitioners developing real-world systems and applications are welcome. Web: http://2017.splashcon.org/track/ocap-2017 Submission: August 15, 2017 ## PLATEAU 2017 - 8th International Workshop on Evaluation and Usability of Programming Languages and Tools 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 programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. Web: http://2017.splashcon.org/track/plateau-2017 Submission: August 1, 2017 ## PX/17.2 2017 - The 3rd Edition of the Programming Experience Workshop Imagine a software development task: some sort of requirements and specification including performance goals and perhaps a platform and programming language. A group of developers head into a vast workroom. In that room they discover they need to explore the domain and the nature of potential solutions—they need exploratory programming. The Programming Experience (PX) Workshop is about what happens in that room when one or a couple of programmers sit down in front of computers and produce code, especially when it's exploratory programming. 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 live domain to understand the true nature of the requirements; are they like authors creating new worlds; does visualization matter; is the experience immediate, immersive, vivid and continuous; do fluency, literacy, and learning matter; do they build tools, meta-tools; are they creating languages to express new concepts quickly and easily; and curiously, is joy relevant to the experience? Correctness, performance, standard tools, foundations, and text-as-program are important traditional research areas, but the experience of programming and how to improve and evolve it are the focus of this workshop, and in this edition we would like to focus on exploratory programming. Web: http://2017.splashcon.org/track/px-17-2 Submission: August 8, 2017 ## Parsing@SLE 2017 - The 5th Annual Workshop on Parsing Programming Languages 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 regular expressions, deriving trees using context-free grammars, and mapping to abstract syntax trees. The goal is to bring together today's experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. We expect to attract participants that have been or are developing theory, techniques and tools in the broad area of parsing. Web: http://2017.splashcon.org/track/parsing-2017 Submission: September 1, 2017 ## REBLS 2017 - The 4th Workshop on Reactive and Event-based Languages & 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-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work. Web: http://2017.splashcon.org/track/rebls-2017 Submission: August 1, 2017 ## SAVR 2017 - Workshop on Software for Augmented and Virtual Reality 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 communities have only just begun to fully engage within this new paradigm. The Software for Augmented and Virtual Reality (SAVR) workshop will be designed to help bridge this gap. Participants will submit a position paper outlining the SE/PL challenges they have either encountered or anticipate in this space. Web: http://2017.splashcon.org/track/savr-2017 Submission: August 8, 2017 ## SEPS 2017 - The 4th International Workshop on Software Engineering for Parallel Systems This workshop provides a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. The increased complexity of parallel applications on modern parallel platforms (e.g. multicore/manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and re-engineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis; testing and debugging; profiling and tuning. Web: http://2017.splashcon.org/track/seps-2017 Submission: August 8, 2017 ## VMIL 2017 - Workshop on Virtual Machines and Intermediate Languages The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, capsules, processes, software transactional memory), transactions, development tools (profilers, runtime verification), etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts. Web: http://2017.splashcon.org/track/vmil-2017 Submission: August 14, 2017 ## WODA 2017 - The International Workshop on Dynamic Analysis 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, and trends in the field. WODA exists since 2003 and has been co-located with several different SE/PL conferences in the past, including ICSE, ISSTA, ASPLOS, and SPLASH. Dynamic analysis is widely used in software development to understand various run-time properties of a program. Dynamic analysis includes both offline techniques, which operate on some captured representation of the program's behavior (e.g., a trace), and run-time techniques, which analyze the program on-the-fly as the system is executing. Though inherently incomplete, dynamic analyses are typically more precise than their static counterparts, and show promise in aiding the understanding, development, and maintenance of robust and reliable large-scale systems. Moreover, dynamic analyses can generate quantitative data that is useful for statistical inferences regarding the program's behavior. Starting from these motivations, the goal of WODA is to bring together researchers and practitioners working in all areas of dynamic analysis to discuss new perspectives and observations, share results and ongoing work, and establish collaborations. WODA serves as a forum for researchers and practitioners interested in the intersection of (some or all of) compilers, programming languages, architecture, software engineering, systems, high-performance computing, performance engineering, machine learning and data mining as tools to enable software and system behavior analysis. Web: http://2017.splashcon.org/track/woda-2017 Submission: August 15, 2017 ## Information Conference: Sunday 22nd October - Friday 27th October, 2017 Contact: i...@splashcon.org Website: http://2017.splashcon.org Location: Vancouver, British Columbia, Canada ## Organization: SPLASH General Chair: * Gail Murphy (University of British Columbia) OOPSLA Papers Chair: * Jonathan Aldrich (Carnegie Mellon University) Onward! Papers Co-Chairs: * Emina Torlak (University of Washington) * Tijs van der Storm (CWI) Onward! Essays Chair: * Robert Biddle (Carleton University) DLS PC Chair: * Davide Ancona (University of Genova) SLE General Chair: * Benoit Combemale (University of Rennes) GPCE General Chair: * Matthew Flatt (University of Utah) Scala General Chair: * Heather Miller (Ecole Polytechnique Federale de Lausanne) PLoP Program Chair: * Takashi Iba (Keio University) Doctoral Symposium Chair: * Elisa Gonzalez Boix (Vrije Universiteit Brussel) SPLASH-E Chair: * Joe Gibbs Politz (University of California, San Diego) SPLASH-I Co-Chairs: * Gail Murphy (University of British Columbia) * Karim Ali (Unviersity of Alberta) * Avik Chaudhuri (Facebook) Artifacts Co-Chairs: * Michael Bond (Ohio State University) * Sam Tobin-Hochstadt (Indiana University) Workshops Co-Chairs: * Craig Anslow (Victoria University of Wellington) * Alex Potanin (Victoria University of Wellington) Posters Co-Chairs: * Jonathan Bell (George Mason University) * Patrick Lam (University of Waterloo) Student Research Competition Co-Chairs: * Shan Shan Huang (Logicblox) * Jennifer Sartor (Vrije Universiteit Brussel) Student Volunteer Co-Chairs: * Daco Harkes (TU Delft) * Giovanni Viviani (University of British Columbia) PLMW Co-Chairs: * Lori Pollock (University of Delaware) * Barbara Ryder (Virginia Tech) Video Co-Chairs: * Michael Hilton (Oregon State University) * David Darais (University of Maryland) Publications Co-Chairs: * Alex Potanin (Victoria University of Wellington) * Tijs van der Storm (CWI) Sponsorship Co-Chairs: * Jurgen Vinju (Purdue University) * Tony Hosking (Australian National University, Data61, and Purdue University) Publicity and Web Co-Chairs: * Ron Garcia (University of British Columbia) * Eric Walkingshaw (Oregon State University) Local Arrangements Chair: * Peter Smith (ACL) /***************************************************************************/ _______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell