Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

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

Title
A model for Reflection in Rule-Based Languages
META
Media Attached File Attached
AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming
META
Pre-print Media Attached File Attached
Capability Safe Reflection for the Wyvern Language
META
Media Attached File Attached
ChromaKey: Towards Extensible Mirror Architectures
META
Pre-print Media Attached File Attached
Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
META
File Attached
Declaratively Specifying Security Policies For Web Applications
META
Media Attached File Attached
Evolution of Metaprograms: XSLT as a Metaprogramming Language
META
Media Attached File Attached
Implementation of LMNtal Model Checkers: a Metaprogramming Approach
META
Media Attached File Attached
Instance Migration in Dynamic Software Update
META
Media Attached File Attached
Virtual Values for Taint and Information Flow Analysis
META
Media Attached File Attached

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

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

Conference Day
Sun 30 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
Model Checking and TransformationMETA at Matterhorn 3
Chair(s): Ralf LaemmelUniversity of Koblenz-Landau, Germany
08:30
30m
Talk
Evolution of Metaprograms: XSLT as a Metaprogramming Language
META
Vadim ZaytsevRaincode, Belgium
Media Attached File Attached
09:00
30m
Talk
Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
META
Harumi WatanabeTokai University, Ikuta TanigawaKyusyu University, Nobuhiko OguraTokyo City University, Midori SugayaShibaura Institute of Technology, Kenji HisazumiKyushu University, Akira FukudaKyushu University
File Attached
09:30
30m
Talk
Implementation of LMNtal Model Checkers: a Metaprogramming Approach
META
Yutaro TsunekawaWaseda University, Taichi TomiokaWaseda University, Kazunori UedaWaseda University
Media Attached File Attached
10:30 - 12:10
Run-time ReflectionMETA at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
10:30
30m
Talk
A model for Reflection in Rule-Based Languages
META
Simon Van de WaterVUB, Thierry RenauxVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
Media Attached File Attached
11:00
30m
Talk
Instance Migration in Dynamic Software Update
META
Pablo TesoneInria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France, Guillermo PolitoInria, Luc FabresseMines Douai, Noury BouraqadiMines Douai, Stéphane Ducasse INRIA Lille
Media Attached File Attached
11:30
30m
Talk
AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming
META
Chris SeatonOracle Labs
Pre-print Media Attached File Attached
13:30 - 15:10
Security & Capability-based DesignsMETA at Matterhorn 3
Chair(s): Shigeru ChibaUniversity of Tokyo
13:30
30m
Talk
Declaratively Specifying Security Policies For Web Applications
META
Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel
Media Attached File Attached
14:00
30m
Talk
Virtual Values for Taint and Information Flow Analysis
META
Prakasam KannanSan Jose State University, Thomas H. Austin, Mark StampSan Jose State University, Tim Disney, Cormac FlanaganUniversity of California, Santa Cruz
Media Attached File Attached
14:30
30m
Talk
Capability Safe Reflection for the Wyvern Language
META
Esther WangCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Media Attached File Attached
15:40 - 17:20
Mirror-based ReflectionMETA at Matterhorn 3
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
15:40
60m
Talk
Reflection in Dart: A Cautionary Experience
META
K: Gilad BrachaGoogle
16:40
40m
Talk
ChromaKey: Towards Extensible Mirror Architectures
META
Pablo InostrozaCWI, Tijs van der StormCWI & University of Groningen
Pre-print Media Attached File Attached