SPLASH 2018 Combined Call for Workshop Submissions ===================================================
Following its long-standing tradition, SPLASH 2018 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. The paper submission deadline for all workshops in Aug 17 2018 AoE. The following workshops are co-located with SPLASH 2018. AGERE! - Programming based on Actors, Agents, and Decentralized Control ----------------------------------------------------------------------- https://2018.splashcon.org/track/agere-2018-papers The AGERE! workshop focuses on programming systems, languages and applications based on actors, active/concurrent objects, agents and–more generally–on high-level programming paradigms promoting a mindset of 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 models, languages and technologies, with practitioners developing real-world systems and applications. AI-SEPS - AI and Empirical Methods for Software Engineering and Parallel Computing Systems ------------------------------------------------------------------------------------------ https://2018.splashcon.org/track/seps-2018-papers The goal of the workshop is to present a stimulating environment where ideas, experiences and topics relevant to parallel software engineering and software analytics can be shared/exchanged among researchers and practitioners in the fields of systems, programming, languages and software. The intention of the workshop is to initiate collaborations focused on solving challenges introduced by ongoing research in these topics. Through Q&A sessions, presenters have the opportunity to receive feedback and opinions of other domain experts as well as to discuss obstacles and promising approaches in current research. Both authors and attendees can discover new ideas and new directions for parallel programming research. BLOCKS+ ------- https://2018.splashcon.org/track/blocks%2B-2018-papers 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, (2) assess the usability and effectiveness of these environments and their associated pedagogies, and (3) brainstorm about future directions. This workshop will not be a mini-conference. The focus will instead be on engaging participants in discussions. There will be three kinds of sessions: DSLDI - Domain-Specific Language Design and Implementation ---------------------------------------------------------- https://2018.splashcon.org/track/dsldi-2018-talks 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 practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We encourage talks on any aspect 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. GRACE ----- https://2018.splashcon.org/track/grace-2018-papers 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 implementations in various stages of completion, including an executable semantic definition. This workshop will allow those with experience using or implementing Grace to share these experiences with the community. The workshop will also provide a forum in which the Grace project can receive feedback on the current design and implementation, and to plan for the future. HILT - High Integrity Language Technology for Cybersecurity in Real-Time and Safety-Critical Systems ---------------------------------------------------------------------------------------------------- https://2018.splashcon.org/track/hilt-2018-papers 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 practical efforts related to the use of safe languages, formal methods, model-based development, and advanced static analysis to identify and mitigate cybersecurity vulnerabilities in software-intensive systems. The workshop will bring together academic, industrial, and government researchers and practitioners focused on the use of these advanced language technology and tools, with a particular focus on addressing the growing cybersecurity threats. LIVE ---- https://2018.splashcon.org/track/live-2018-papers 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 research on live programming as well as work on fundamentally improving the usability of programming, whether through language design or assistive environments and tools. This year we are reaching out to the CS Education community to include ideas on making programming more learnable and teachable. META - Meta-Programming Techniques and Reflection ------------------------------------------------- https://2018.splashcon.org/track/meta-2018 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. Contributions to the workshop are welcome on a wide range of topics related to the design, implementation, and application of metaprogramming techniques, as well as empirical studies on typing models for such systems and languages NJR - Normalized Java Resource ------------------------------ https://2018.splashcon.org/track/njr-2018-papers 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 collection and we normalize their representation to enable large-scale processing with reproducible results. Such processing includes execution, static and dynamic analysis, scriptable interaction, and search for projects with specific dynamic characteristics. For each search of the collection, NJR returns both a file with Java projects and a container for a cloud service such as Amazon EC2. Thus, a researcher can run tools on those projects both locally and on a cloud service. Researchers will be both beneficiaries and contributors to NJR. They benefit from searching for Java projects that fit their need, and once their tools run on NJR, they contribute to an ever-increasing collection of measurements. Notice the powerful network effect: the more people run tools on NJR, the more data we get for search, and the more data we get for search, the more people will want to search and run on NJR. NOOL - New Object-Oriented Languages ------------------------------------ https://2018.splashcon.org/track/nool-2018-papers 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 language security. NOOL is discussion-oriented, rather than publication-oriented, and presentations will be selected with an aim of fostering interesting discussions. Work-in-progress submissions, provocative ideas that may not be ready for formal publications, and work adapting old ideas to new purposes are welcome. See the CfP for submission details. OCAP - Object-Capability Languages, Systems, and Applications ------------------------------------------------------------- https://2018.splashcon.org/track/ocap-2018-papers 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 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. PLATEAU - Evaluation and Usability of Programming Languages and Tools --------------------------------------------------------------------- https://2018.splashcon.org/track/plateau-2018-papers 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. REBLS - Reactive and Event-based Languages & Systems ---------------------------------------------------- https://2018.splashcon.org/track/rebls-2018-papers 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. SLEBoK - Software Language Engineering Body of Knowledge -------------------------------------------------------- https://2018.splashcon.org/track/slebok-2018 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 software languages. The Software Language Engineering Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, tools and methods developed by the SLE community. It features artifacts, definitions, methods, techniques, best practices, open challenges, case studies, teaching material, and other components that would help students, researchers, teachers, and practitioners to learn from, to better leverage, to better contribute to, and to better disseminate the intellectual contributions and practical tools and techniques coming from the SLE field. TURBO - Tutorial on Language Runtimes Built With Eclipse OMR ------------------------------------------------------------ https://2018.splashcon.org/track/turbo-2018-tutorial 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 of time, or poring over hundreds of thousands of lines of code. The open-source Eclipse OMR runtime toolkit is striving to make this process much simpler for language runtime developers and researchers. This workshop will introduce the Eclipse OMR framework, present ongoing research projects leveraging OMR technologies, deliver a hands-on tutorial using an educational virtual machine (VM) called base9 to demonstrate how OMR components can easily be integrated into an existing runtime, and conclude with a discussion on the needs and challenges facing language runtimes development and research communities. VMIL - Virtual Machines and Language Implementations ---------------------------------------------------- https://2018.splashcon.org/track/vmil-2018 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 related issues. _______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell