[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

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.

Invited Talks

Collapsing Towers of Interpreters
Nada Amin

Hop.js: JavaScript multitier programming
Manuel Serrano

Accepted Papers

Title
An Annotation-based API for Supporting Runtime Code Annotation Reading
META
DOI
Less Testing Ink
META
Markedly: a cartographic approach for mapping eDSL implementation costs
META
File Attached
Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes
META
File Attached
Programmable Aspect (Canceled)
META
Reactive Reflection in an FRP Language for Small-Scale Embedded Systems
META
File Attached
Toward Abstract Interpretation of Program Transformations
META
DOI
Welcome
META

Call for Papers

The heterogeneity of mobile computing, cloud applications, multicore architectures, and other systems leads to increasing complexity of software and requires new approaches to programming languages and software engineering tools. To manage the complexity, we require generic solutions that can be adapted to specific application domains or use cases, making metaprogramming an important topic of research once more. However, the challenges with metaprogramming are still manifold. They start with fundamental issues such as typing of reflective programs, continue with practical concerns such as performance and tooling, and reach into the empirical field to understand how metaprogramming is used and how it affects software maintainability. Thus, while industry accepted metaprogramming on a wide scale with Ruby, Scala, JavaScript and others, academia still needs to answer a wide range of questions to bring it to the same level of convenience, tooling, and programming styles to cope with the increasing complexity of software systems.

This workshop aims to explore meta-level technologies that help tackling the heterogeneity, scalability and openness requirements of emerging computations platforms.

Topics of Interest

The workshop is a venue for all approaches that embrace metaprogramming:

  • from static to dynamic techniques
  • reflection, meta-level architectures, staging, open language runtimes applications to middleware, frameworks, and DSLs
  • optimization techniques to minimize runtime overhead
  • contract systems, or typing of reflective programs reflection and metaobject protocols to enable tooling
  • case studies and evaluation of such techniques, e.g., to build applications, language extensions, or tools
  • empirical evaluation of metaprogramming solutions
  • security in reflective systems and capability-based designs
  • meta-level architectures and reflective middleware for modern runtime platforms (e.g. IoT, cyber-physical systems, mobile/cloud/grid computing, etc)
  • surveys, conceptualization, and taxonomization of existing approaches

In short, we invite contributions to the workshop on a wide range of topics related to design, implementation, and application of reflective APIs and meta-programming techniques, as well as empirical studies and typing for such systems and languages.

Workshop Format and Submissions

This workshop welcomes the presentation of new ideas and emerging problems as well as mature work as part of a mini-conference format. Furthermore, we plan interactive brainstorming and demonstration sessions between the formal presentations to enable an active exchange of ideas. Therefore, we seek the following kinds of publications:

  • technical paper: max. 8 pages, excluding references
  • position and work-in-progress paper: 1-4 pages, excluding references
  • technology demos or a posters: 1-page abstract

All papers are to be submitted using the SIGPLAN acmart style. Please use the provided double-column Latex or Word templates.

For the submission, please use the submission system at: https://meta17.hotcrp.com/

The workshop technical papers will be published in the ACM DL, if not requested otherwise by the authors. Thus, they will be part of SPLASH workshop proceedings. Demos, posters, position and work-in-progress papers can be submitted on a second, later deadline to discuss the latest results and current work and won’t be included in the ACM DL proceedings.

Important Dates

Abstract Submission: 07 August 2017
Paper Submission: 20 August 2017
Author Notification: 06 September 2017
Position/WIP Paper Deadline: 08 September 2017
Camera Ready Deadline: 18 September 2017
Position/WIP Notification: 21 September 2017

Program Committee

The program committee consists of the organizers and the following reviewers:

Anya Helen Bagge, University of Bergen, Norway
Carl Friedrich Bolz-Tereick, Germany
Daniele Bonetta, Oracle Labs, Austria
Nicolas Cardozo, Universidad de los Andes, Colombia
Sebastian Erdweg, TU Delf, The Nederlands
Robert Hirschfeld, HPI, Germany
Roberto Ierusalimschy, PUC-Rio, Brazil
Pablo Inostroza, CWI, The Nederlands
Kim Mens, Universite Catholique de Louvain, Belgium
Cyrus Omar, Carnegie Mellon University, USA
Guillermo Polito, CNRS, France
Tiark Rompf, Purdue University, USA
Tom Van Cutsem, Nokia Bell Labs, Belgium
Takuo Watanabe, Tokyo Institute of Technology, Japan

Workshop Organizers

Shigeru Chiba, University of Tokyo
Elisa Gonzalez Boix, Vrije Universiteit Brussel
Stefan Marr, Johannes Kepler University Linz

For questions, please contact us via m…@soft.vub.ac.be.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Metaprogramming and Domain Specific LanguagesMETA at Regency B
Chair(s): Sebastian Erdweg TU Delft
08:50
10m
Day opening
Welcome
META
Stefan Marr University of Kent
09:00
30m
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
META
Matthew Ahrens , Karl Cronburg Tufts University, Jeanne-Marie Musca Tufts University
File Attached
09:30
30m
Talk
Less Testing Ink
META
Yossi Gil Technion—Israel Institute of Technology
10:30 - 12:00
Code GenerationMETA at Regency B
Chair(s): Stefan Marr University of Kent
10:30
60m
Talk
Hop.js: JavaScript Multitier Programming ⭐️
META
Manuel Serrano Inria, France
11:30
30m
Talk
Toward Abstract Interpretation of Program Transformations
META
Sven Keidel Delft University of Technology, Netherlands, Sebastian Erdweg TU Delft
DOI
13:30 - 15:00
Runtime ReflectionMETA at Regency B
Chair(s): Cyrus Omar Carnegie Mellon University
13:30
30m
Talk
Reactive Reflection in an FRP Language for Small-Scale Embedded Systems
META
Takuo Watanabe Tokyo Institute of Technology
File Attached
14:00
30m
Talk
Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes
META
Javier Pimás Palantir Solutions, Stefan Marr University of Kent
File Attached
14:30
30m
Talk
An Annotation-based API for Supporting Runtime Code Annotation Reading
META
Phyllipe Lima INPE - National Institute for Space Research, Eduardo Guerra INPE - National Institute for Space Research, Marco Nardes INPE - National Institute for Space Research, Andrea Mocci Universita della Svizzera italiana (USI), Gabriele Bavota Università della Svizzera italiana (USI), Michele Lanza Università della Svizzera italiana (USI)
DOI
15:30 - 17:00
Compiling ReflectionMETA at Regency B
Chair(s): Stefan Marr University of Kent
15:30
60m
Talk
Collapsing Towers of Interpreters ⭐️
META
Nada Amin University of Cambridge
16:30
30m
Day closing
Discussion and Closing
META

Unscheduled Events

Not scheduled
Talk
Programmable Aspect (Canceled)
META
Farshad Saeidi , Farzad Sanati American University of Iraq, Sulaimani, Sulaimani

For fairness reasons, all submitted papers have to conform to the formatting instructions below. Submissions that violate these instructions may be rejected without review.

Submission Site

Please take a moment to read the instructions below before using the submission site.

Submissions are to be made via: https://meta17.hotcrp.com/

Concurrent Submissions

Technical papers and all material to be included in the ACM DL must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.

Format

Submissions should use the ACM SIGPLAN Conference acmart Format with ‘sigplan’ Subformat, 10 point font, using the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN acmart Templates provided here. Otherwise, follow the author instructions.

If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size.

Please include page numbers in your submission with the LaTeX \settopmatter{printfolios=true} command.

Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Publication (Digital Library Early Access Warning)

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.