Workshop on Meta-Programming Techniques and ReflectionMETA 2016
The Meta’16 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions such as contracts, 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.
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.
The workshop papers will be put on the workshop website, if not requested otherwise by the authors, but they are not part of formal proceedings. Papers are to be submitted using the ACM sigplanconf style at 10pt font size. See http://www.sigplan.org/Resources/Author/.
- demos and posters: 1-page abstract
- position and work-in-progress paper: 1-4 pages
- technical paper: up to 8 pages
Demos, posters, position and work-in-progress papers can be submitted on a second, later deadline to discuss the latest results and current work.
For the submission, please use the submission system at: https://meta16.hotcrp.com/
Important Dates
- abstract submission: August 8th, 2016
- paper submission: August 15th, 2016
- notification: September 5th, 2016
- late submission for demos, position or work-in-progress papers: September 9th, 2016
- late notification: September 23rd, 2016
- all deadlines: Anywhere on Earth (AoE), i.e., GMT/UTC−12:00 hour
- workshop: October 30th, 2016
Program Committee
The program committee consists of the organizers and the following reviewers:
Marcus Denker, INRIA, France
Robert Hirschfeld, HPI, Germany
Ralf Lämmel, University of Koblenz-Landau, Germany
Hridesh Rajan, Iowa State University, USA
Romain Rouvoy, University Lille 1 and INRIA, France
Eric Tanter, University of Chile, Chile
Tom Van Cutsem, Bell Labs, Belgium
Tijs van der Storm, CWI, Netherlands
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
Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | Model Checking and TransformationMETA at Matterhorn 3 Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany | ||
08:30 30mTalk | Evolution of Metaprograms: XSLT as a Metaprogramming Language META Vadim Zaytsev Raincode, Belgium Media Attached File Attached | ||
09:00 30mTalk | Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software META Harumi Watanabe Tokai University, Ikuta Tanigawa Kyusyu University, Nobuhiko Ogura Tokyo City University, Midori Sugaya Shibaura Institute of Technology, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University File Attached | ||
09:30 30mTalk | Implementation of LMNtal Model Checkers: a Metaprogramming Approach META Yutaro Tsunekawa Waseda University, Taichi Tomioka Waseda University, Kazunori Ueda Waseda University Media Attached File Attached |
10:30 - 12:10 | |||
10:30 30mTalk | A model for Reflection in Rule-Based Languages META Simon Van de Water VUB, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium Media Attached File Attached | ||
11:00 30mTalk | Instance Migration in Dynamic Software Update META Pablo Tesone Inria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France, Guillermo Polito Inria, Luc Fabresse Mines Douai, Noury Bouraqadi Mines Douai, Stéphane Ducasse INRIA Lille Media Attached File Attached | ||
11:30 30mTalk | AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming META Chris Seaton Oracle Labs Pre-print Media Attached File Attached |
13:30 - 15:10 | |||
13:30 30mTalk | Declaratively Specifying Security Policies For Web Applications META Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel Media Attached File Attached | ||
14:00 30mTalk | Virtual Values for Taint and Information Flow Analysis META Prakasam Kannan San Jose State University, Thomas H. Austin , Mark Stamp San Jose State University, Tim Disney , Cormac Flanagan University of California, Santa Cruz Media Attached File Attached | ||
14:30 30mTalk | Capability Safe Reflection for the Wyvern Language META Media Attached File Attached |
15:40 - 17:20 | Mirror-based ReflectionMETA at Matterhorn 3 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
15:40 60mTalk | Reflection in Dart: A Cautionary Experience META | ||
16:40 40mTalk | ChromaKey: Towards Extensible Mirror Architectures META Pre-print Media Attached File Attached |