Workshop on Meta-Programming Techniques and ReflectionMETA 2017
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
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.
Sun 22 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:50 10mDay opening | Welcome META Stefan Marr University of Kent | ||
09:00 30mTalk | Markedly: a cartographic approach for mapping eDSL implementation costs META File Attached | ||
09:30 30mTalk | Less Testing Ink META Yossi Gil Technion—Israel Institute of Technology |
10:30 - 12:00 | |||
10:30 60mTalk | Hop.js: JavaScript Multitier Programming ⭐️ META Manuel Serrano Inria, France | ||
11:30 30mTalk | Toward Abstract Interpretation of Program Transformations META DOI |
13:30 - 15:00 | |||
13:30 30mTalk | Reactive Reflection in an FRP Language for Small-Scale Embedded Systems META Takuo Watanabe Tokyo Institute of Technology File Attached | ||
14:00 30mTalk | Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes META File Attached | ||
14:30 30mTalk | 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 | |||
15:30 60mTalk | Collapsing Towers of Interpreters ⭐️ META Nada Amin University of Cambridge | ||
16:30 30mDay closing | Discussion and Closing META |
Unscheduled Events
Not scheduled Talk | Programmable Aspect (Canceled) META |
Instructions for Authors
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.