[TYPES/announce] SPLASH’13 CALL FOR WORKSHOP PAPERS AND PARTICIPATION
Stephanie Balzer
stephanie.balzer at inf.ethz.ch
Mon May 27 00:28:45 EDT 2013
**************************************************************
SPLASH’13 CALL FOR WORKSHOP PAPERS AND PARTICIPATION
ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'13)
Indianapolis, Indiana
October 19-26, 2013
http://www.splashcon.org
**************************************************************
SPLASH'13 workshops address a rich variety of well-known and newly emerging research areas and provide a creative and collaborative environment to discuss and solve challenge problems with attendees from industry and research organizations from all over the world. Submission deadlines vary from workshop to workshop. Some workshops will be published in the ACM Digital Library. The current SPLASH'13 workshops program is listed below and the abstracts at the end.
**************************************************************
CURRENT WORKSHOP PROGRAM
AGERE! - 3rd Int. Workshop on Programming based on Actors, Agents, and Decentralized Control
http://agents.usask.ca/agere2013
Submission: August 4, 2013 (abstract), August 11, 2013 (paper)
DSM 2013 - Workshop on Domain-Specific Modeling
Website: http://www.dsmforum.org/events/DSM13/
Submission: August 15, 2013
FlexiTools - 5th International Workshop on Flexible Modeling Tools
Website: http://softeng.fe.up.pt/flexitools/2013/
Submission: August 9, 2013
FOOL - 20th International Workshop on Foundations of Object-Oriented Languages
http://fool2013.cs.brown.edu/
Submission: July 19, 2013
FOSD 2013 - 5th International Workshop on Feature-Oriented Software Development
http://fosd.net/2013
Submission: August 26, 2013
MobileDeLi - Workshop on Mobile Development Lifecycle
http://sysrun.haifa.il.ibm.com/hrl/mobiledeli2013/index.shtml
Submission: August 20, 2013
Parsing at SLE - 1st International Workshop on Parsing at SLE
http://planet-sl.org/parsing-at-sle2013
Submission: August 15, 2013
PLASTIC - Workshop on Programming Language And Systems Technologies for Internet Clients
http://plastic.host.adobe.com/
Submission: August 23, 2013
PLATEAU - 5th Annual International Workshop on Evaluation and Usability of Programming Languages and Tools
https://sites.google.com/site/workshopplateau/
Submission: August 10, 2013
PROMOTO - Workshop on Programming for Mobile and Touch
http://pear.sfsu.edu/promoto2013/
Submission: August 16, 2013
REM - Workshop on Reactivity, Events and Modularity
http://soft.vub.ac.be/REM13
Submission: August 13, 2013
SBLE - Workshop on the Interface between Language Engineering and Synthetic Biology
http://planet-sl.org/sble-at-sle2013/
Submission: August 15, 2013
SMAC - Workshop on Software Engineering for Social-Mobile-Analytics-Cloud
http://research.ihost.com/smac2013/
Submission: August 26, 2013
TD - Workshop on Technical Debt
http://mysite.verizon.net/dennis.mancl/splash13/index.html
Submission: September 6, 2013
VMIL - 7th Workshop on Virtual Machines and Intermediate Languages
http://design.cs.iastate.edu/vmil/2013/
Submission: August 17, 2013
WRT - 6th Workshop on Refactoring Tools
http://refactoring.info/WRT13/
Submission: August 16, 2013
FOR MORE INFORMATION
For additional information, clarification, early feedback, or answers to questions, please contact the Workshop Organizers of your favorite workshops, or the Workshops Chairs, Stephanie Balzer and Ulrik Pagh Schultz, at workshops at splashcon.org
**************************************************************
ANNEX: WORKSHOP ABSTRACTS AND DATES
**************************************************************
AGERE! - 3rd Int. Workshop on Programming based on Actors, Agents, and Decentralized Control
Website: http://agents.usask.ca/agere2013
Organizers: Nadeem Jamali, Alessandro Ricci, Gera Weiss and Akinori Yonezawa
ABSTRACT:
ăgo ăgo, ăgis, egi, actum, ăgĕre
latin verb meaning to act, to lead, to do,
common root for actors and agents
The fundamental turn of software into concurrency and distribution is not only a matter of performance, but also of design and abstraction. It calls for programming paradigms that, compared to current mainstream paradigms, would allow us to more naturally think about, design and develop systems exhibiting different degrees of concurrency, autonomy, decentralization of control, and physical distribution.
The AGERE! workshop dedicated to focusing on and developing the research on programming systems, languages and applications based on actors, agents and any related programming paradigm promoting a decentralized mindset in solving problems and in developing systems to implement such solutions.
The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on the models, languages and technologies, and practitioners developing real-world systems and applications.
DEADLINES:
Submission: August 4, 2013 (abstract), August 11, 2013 (paper)
Notification: September 8, 2013
**************************************************************
DSM 2013 - Workshop on Domain-Specific Modeling
Website: http://www.dsmforum.org/events/DSM13/
Organizers: Steven Kelly, Jonathan Sprinkle, and Jeff Gray
ABSTRACT:
An upward shift in abstraction leads to a corresponding increase in productivity. In the past this has occurred when programming languages have evolved towards a higher level of abstraction. Today, domain-specific languages provide a viable solution for continuing to raise the level of abstraction beyond coding, making development faster and easier.
In Domain-Specific Modeling (DSM), the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive themselves as working directly with domain concepts. Together with frameworks and platforms, DSM can automate a large portion of software production. Some possible topics for submission to the workshop include:
- Industry/academic experience reports
- Creation of metamodel-based languages
- Novel approaches for code generation from domain-specific models
- Evolution of languages
- Metamodeling frameworks and languages
- Tools for creating and using DSM languages
DEADLINES:
Submission: August 15, 2013
Notification: September 13, 2013
**************************************************************
FlexiTools - 5th International Workshop on Flexible Modeling Tools
Website: http://softeng.fe.up.pt/flexitools/2013/
Organizers: Filipe Correia, Ademar Aguiar, Louis Rose, André van der Hoek, Alexander Egyed, Dustin Wüest, and Martin Glinz
ABSTRACT:
Formal modeling and informal/free-form authoring tools have complementary strengths and weaknesses, but users are often forced to choose a specific style of work over the other. Flexible Modeling Tools hold the promise of blending the advantages of both approaches, allowing users to make tradeoffs between flexibility and precision and to move smoothly between the two approaches. They might be modeling tools with added flexibility, or free-form approaches with added modeling support, or tools of a new kind. They may embody new and more flexible approaches to the capture and analysis of models e.g. for extraction of models from natural language, flexible design of DSLs, detection of and/or tolerating inconsistency, augmenting and linking models to other models or loosely formalized contents. They may provide flexible visualization approaches as well as or instead of editing.
The goal of this workshop will be to identify a) a foundational set of challenges and concerns for the field of flexible modeling and b) emerging promising directions for addressing them. It will bring together people who understand tool users' needs, usability, user interface design and tool infrastructure.
DEADLINES:
Submission: August 9, 2013
Notification: September 13, 2013
**************************************************************
FOOL - 20th International Workshop on Foundations of Object-Oriented Languages
Website: http://fool2013.cs.brown.edu/
Organizers: Jeremy Siek, Jonathan Aldrich, and Shriram Krishnamurthi
ABSTRACT:
The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. FOOL 2013 will be held in Indianapolis, IN, USA as part of SPLASH 2013.
Submissions for this event are invited in the general area of foundations of object-oriented languages. Topics of interest include language semantics, type systems, memory models, program verification, formal calculi, concurrent and distributed languages, database languages, and language-based security issues.
Papers are welcome to include formal descriptions and proofs, but these are not required; the key consideration is that papers should present novel and valuable ideas or experiences. The main focus in selecting workshop contributions will be the intrinsic interest and timeliness of the work, so authors are encouraged to submit polished descriptions of work in progress as well as papers describing completed projects.
DEADLINES:
Submission: July 19, 2013
Notification: August 25, 2013
**************************************************************
FOSD 2013 - 5th International Workshop on Feature-Oriented Software Development
Website: http://fosd.net/2013
Organizers: Andreas Classen and Norbert Siegmund
ABSTRACT:
Feature orientation is an emerging paradigm of software development. It supports the automatic generation of large-scale software systems from a set of units of functionality called features. The key idea of feature-oriented software development (FOSD) is to emphasize the similarities of a family of software systems for a given application domain (e.g., database systems, banking software, text processing systems) with the goal of reusing software artifacts among the family members. Features distinguish different members of the family. A feature is a unit of functionality that satisfies a requirement, represents a design decision, and provides a potential configuration option. A challenge in FOSD is that a feature does not map cleanly to an isolated module of code. Rather it may affect ("cut across") many components/artifacts of a software system. Furthermore, the decomposition of a software system into its features gives rise to a combinatorial explosion of possible feature combinations and interactions. Research on FOSD has shown that the concept of features pervades all phases of the software life cycle and requires a proper treatment in terms of analysis, design, and programming techniques, methods, languages, and tools, as well as formalisms and theory.
DEADLINES:
Submission: August 26, 2013
Notification: September 13, 2013
**************************************************************
MobileDeLi - Workshop on Mobile Development Lifecycle
Website: http://sysrun.haifa.il.ibm.com/hrl/mobiledeli2013/index.shtml
Organizers: Aharon Abadi, Rafael Prikladnicki, and Yael Dubinsky
ABSTRACT:
Mobile application usage and development is experiencing exponential growth. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile software engineering.
DEADLINES:
Submission: August 20, 2013
Notification: September 12, 2013
**************************************************************
Parsing at SLE - 1st International Workshop on Parsing at SLE
Website: http://planet-sl.org/parsing-at-sle2013
EasyChair: https://www.easychair.org/conferences/?conf=parsingsle2013
Organizers: Jurgen Vinju and Eric Van Wyk
ABSTRACT:
The First International Workshop on Parsing @ SLE is a retreat for experts in parsing
programming languages. It is a part of the larger SLE conference, which is co-located with GPCE
and OOPSLA as a part of SPLASH 2013.
The topics of parsing and parser generation, both in theory and in practice, may be old, yet there are still challenging problems with respect to the construction and maintenance of parsers. Especially in the context of real programming languages there are ample theoretical as well as practical obstacles to be taken. Contemporary parsing challenges are caused by programming language evolution and diversity in the face of new application areas such as IDE construction, reverse engineering, software metrics, domain specific (embedded) languages, etc. What are modular meta-formalisms for parser generation? How to obtain (fast and correct) parsers for both legacy and new languages that require more computational power than context-free grammars and regular expressions can provide? How to enable the verified construction or prototyping of parsers for languages such as COBOL, C++ and Scala without years of effort?
The goal of this workshop is a retreat: to bring together today's experts in the field of parser construction for programming languages. We will present the currently ongoing (unpublished) work as well as explore the challenges that lie ahead. By bringing the whole community together we hope to create synergy and forge new collaborations. Parsing at SLE is a part of the larger SLE conference.
Parsing @ SLE is not a publication venue. We will collect minutes and the slides of the presentations and publish them online for later reference. However we will surely allow authors to keep the slides for themselves and keep some comments off the record, for example pending publication of recent results.
DEADLINES:
Submission: August 15, 2013
Notification: September 1, 2013
**************************************************************
PLASTIC - Workshop on Programming Language And Systems Technologies for Internet Clients
Website: http://plastic.host.adobe.com/
Organizers: Gregor Richards, Mark Miller, and Krzysztof Palacz
ABSTRACT:
Today's Internet users expect to access Internet resources using increasingly capable and ubiquitous client platforms. This trend has
resulted in a wide-ranging diversification of hardware devices supporting various form factors and interaction modes, a choice of web browsers
offering varying levels of performance, security and standards compliance, as well as the emergence of domain-specific uses of general-purpose
Internet-related technologies, exemplified by Rich Internet Applications (RIAs) and site-specific browsers. Despite the heterogeneity, all these
platforms implement a common set of standards and technologies. While the resulting high level of interoperability can be seen as a major reason for
the Internet's success, its constraints can also be viewed as limiting progress in client technologies. This workshop focuses on both innovative
solutions in the area of Internet client software that improves on the current state-of-the-art while respecting the confines dictated by
interoperability, as well as bold, new ideas that break with the status quo.
DEADLINES:
Submission: August 23, 2013
Notification: September 13, 2013
**************************************************************
PLATEAU - 5th Annual International Workshop on Evaluation and Usability of Programming Languages and Tools
Website: https://sites.google.com/site/workshopplateau/
Organizers: Shane Markstrum, Caitlin Sadowski, and Emerson Murphy-Hill
ABSTRACT:
Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write
software depends on the usability of the languages and tools that they develop with. 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. We plan to gather 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. We are also interested in the input of other members of the programming research community working on related
areas, such as refactoring, design patterns, program analysis, program comprehension, software visualization, end-user programming, and other programming language paradigms.
DEADLINES:
Submission: August 10, 2013
Notification: September 7, 2013
**************************************************************
PROMOTO - Workshop on Programming for Mobile and Touch
Website: http://pear.sfsu.edu/promoto2013/
Organizers: Judith Bishop, Nikolai Tillmann, and Arno Puder
ABSTRACT:
We are experiencing a technology shift: Powerful and easy-to-use mobile devices like smartphones and tablets are becoming more prevalent than traditional PCs and laptops. The languages of today reflect the platforms of yesterday, providing abstractions that fit the capabilities of a standard PC.
In this workshop, we want to bring together researchers who have been exploring new programming paradigms, embracing the new realities of always connected, touch-enabled mobile devices. How should we enter code without a keyboard? What are simple ways of programming for sensors? How do manage program code and data without a file system, and intermittent network connections? Submissions for this event are invited in the general area of mobile and touch-oriented programming languages and programming environments, and teaching of programming for mobile devices. This year, we would especially like to invite contributions covering educational aspects, approaches and insights, as students are more likely than ever to own a personal computing device. Papers are welcome that discuss introductory and advanced courses.
DEADLINES:
Submission: August 16, 2013
Notification: September 13, 2013
**************************************************************
REM - Workshop on Reactivity, Events and Modularity
Website: http://soft.vub.ac.be/REM13
Organizers: Wolfgang De Meuter, Patrick Eugster, Kevin Pinte, Guido Salvaneschi, Mario Südholt, and Lukasz Ziarek
ABSTRACT:
Programming reactive applications is a challenging task. Reactivity must be properly expressed by suitable language abstractions, reactive code must be modular and extensible, easy to understand and to analyze. Researchers have proposed several solutions to address this issue, including event-based programming, functional-reactive programming and aspect-oriented programming. Many synergies exist between paradigms such as implicit invocations, aspects and joinpoints, asynchronous methods, first-class events, purely functional reactive frameworks and design and architectural patterns such as subject/observer and publish/subscribe respectively. The different paradigms have emerged from different communities, and with different motivations ranging from decoupling of runtime components in distributed and concurrent applications to decoupling of software modules, and consequently also exhibit subtle yet important differences in characteristics and semantics.
With the ever increasing pervasiveness of reactive, concurrent, and distributed systems, this workshop serves as a conduit for novel work in the context of reactive software design and implementation broadly construed, i.e., related to any of the above paradigms. Of particular interest is work which bridges between the different paradigms and helps clarify the relations between them. This workshop will gather researchers active in different communities. Among the goals 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.
DEADLINES:
Submission: August 13, 2013
Notification: September 13, 2013
**************************************************************
SBLE - Workshop on the Interface between Language Engineering and Synthetic Biology
Website: http://planet-sl.org/sble-at-sle2013/
Organizers: Jean Peccoud and Eric Van Wyk
ABSTRACT:
Synthetic biology is an emerging engineering discipline focused on the design of synthetic DNA molecules that implement user-defined behaviors such as oscillations or Boolean functions. In this engineering perspective, it is attractive to regard synthetic DNA as biological programs. The purpose of this workshop is to bring together language designers and synthetic biologists with the goal of analyzing the different programming paradigms that have been or could be explored to write these biological programs more effectively. Two main approaches have been proposed so far. Several research groups are developing domain-specific languages that compile specifications into DNA sequences that meet these specifications. Another approach considers that DNA should be the programming language and focuses on defining domain-specific languages in DNA and developing tools to translate DNA sequences into mathematical models of the behavior they encode. Further information regarding submission of position papers or tool demonstrations can be found a workshop web site: http://http://planet-sl.org/sble-at-sle2013/
DEADLINES:
Submission: August 15, 2013
Notification: September 1, 2013
**************************************************************
SMAC - Workshop on Software Engineering for Social-Mobile-Analytics-Cloud
Website: http://research.ihost.com/smac2013/
Organizers: James Caverlee, Clay Williams, and Elham Khabiri
ABSTRACT:
Enterprises are increasingly basing decisions on advanced analytics, and using analytics to interact more effectively with their customers (e.g, to determine suitable promotions to offer them). Social network data is ever more prevalent and important, and mobile devices are key both for information gathering (e.g., location) and communication (e.g., offering a promotion to a customer who is nearby). Business innovations arise frequently, and lead to the need for rapid development of customized analytics and analytics-based applications. These are often hosted on clouds, leading to the quartet known as SMAC: social, mobile, analytics, cloud. The time-compressed lifecycle inherent in this context poses significant software engineering challenges. Customizing and assembling components in novel ways dominates development from scratch, and requires suitable development-time and run-time support, such as analytics, social and mobile platforms or ecosystems. Business users who are not developers should be able to accomplish customization and simple assembly, and end users should have a pleasant, consistent and personalized user experience.
The goal of this workshop is to provide a forum for discussion and exploration of software engineering challenges in the SMAC context. We want to promote interactions and synergy among researchers and developers who deal with the challenges of developing and deploying effective analyses of social and mobile data, towards shared understanding of the implications of SMAC for software engineering. To facilitate interaction and discussion, the workshop will consist of two working sessions. In each we will have brief presentations by authors of a subset of accepted papers, followed by a panel discussion, and then a group discussion to further explore important questions. To fuel this discussion, all presenters will be asked to come prepared to describe two problems they have encountered or anticipate in engineering SMAC software.
The focus of this workshop will be the software engineering aspects of analytics, and of the confluence of analytics, social and mobile. Topics and trends of interest include, but are not limited to:
- Software engineering of analytics algorithms (distributed, real-time, incremental, ...)
- Supporting platforms for analytics-based solutions (ecosystems, cloud, ...)
- Reuse and composition of analytics components
- Environments for development, testing and validation
- Data acquisition and integration from multiple sources, including social and mobile
- Building and leveraging models of people from relevant temporal, spatial and other data
- Real-time personalization for mobile users
- Privacy and security issues in the SMAC context
The following topics are important and interesting, but out of scope for this workshop, except for novel approaches to them that directly impact the focus area of the workshop:
- Details of analytics algorithms
- System support for mobile computing
- System support for cloud computing
- System support for Big Data
- Details of security protocols
DEADLINES:
Submission: August 26, 2013
Notification: September 17, 2013
**************************************************************
TD - Workshop on Technical Debt
Website: http://mysite.verizon.net/dennis.mancl/splash13/index.html
Organizers: Dennis Mancl, Stephen D. Fraser, and Bill Opdyke
ABSTRACT:
Technical debt is an unavoidable part of software development in today's fast-paced market.
Technical debt is the result of deliberate design decisions. Schedule pressure and other forces make it necessary to create "quick and dirty" code, with the expectation of improving the code later. When technical debt accumulates, the cost of software maintenance and new feature development begins to increase.
This workshop will explore the sources of technical debt and some of the best practices for keeping technical debt under control. If we believe that technical debt is an important issue in long-term software product development, do we have ways to keep the technical debt from causing development gridlock? The workshop will discuss some approaches to taking on technical debt from systems large and small.
DEADLINES:
Submission: September 6, 2013
Notification: September 13, 2013
**************************************************************
VMIL - 7th Workshop on Virtual Machines and Intermediate Languages
Website: http://design.cs.iastate.edu/vmil/2013/
Organizers: Christoph Bockisch, Michael Haupt, Steve Blackburn, and Hridesh Rajan
ABSTRACT:
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 the VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, 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.
DEADLINES:
Submission: August 17, 2013
Notification: September 3, 2013
**************************************************************
WRT - 6th Workshop on Refactoring Tools
Website: http://refactoring.info/WRT13/
Organizers: Emerson Murphy-Hill and Max Schaefer
ABSTRACT:
Refactoring is the process of improving a program's internal structure without changing its external behavior by applying behavior-preserving transformations, themselves known as refactorings. While refactoring is widely accepted as an indispensable part of the modern software developer's toolbox, manual refactoring is known to be tedious and error-prone: it is often hard to tell whether a transformation will actually preserve program behavior, and refactorings often require many changes throughout the program. Consequently, tool support for refactoring has attracted a lot of interest both in industry and in academia, and most modern IDEs ship with built-in support for refactoring.
WRT will bring together researchers and developers of refactoring tools to share new ideas and practical insights, discuss challenges and solutions, and together shape the future of refactoring. Topics of interest include, but are by no means limited to, refactoring tools for new domains, novel interface paradigms, and refactoring for previously unsupported languages.
DEADLINES:
Submission: August 16, 2013
Notification: September 15, 2013
**************************************************************
More information about the Types-announce
mailing list