Meta’18: Workshop on Meta-Programming Techniques and Reflection

The Meta’18 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The changing hardware and software landscape, and the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associate complexity.

The challenges which metaprogramming faces are manifold. They start with typing of reflective programs, continue with performance and tooling, and reach into the empirical field to understand how metaprogramming is used and how it affects software maintainability. While industry accepted metaprogramming on a wide scale with Ruby, Scala, JavaScript and others, academia still needs to bring it to the same level of convenience, tooling, and understanding as for direct programming styles.

Contributions to the workshop are welcome on a wide range of topics related to the design, implementation, and application of metaprogramming techniques, as well as empirical studies on typing models for such systems and languages.

Proceedings are available online.

Invited Talks

Through a Glass, Darkly
James Noble

SemanticDB: a common data model for Scala developer tools
Eugene Burmako

GraalVM: Metaprogramming inside a Polyglot System
Daniele Bonetta

Accepted Papers

Title
Code Generation for Higher Inductive Types
META
File Attached
Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
META
DOI
Multiple Dispatch using Compile-Time Metaprogramming
META
Recognizing heterogeneous sequences by rational type expression
META
DOI
Relit: Typed Literal Macros for Reason
META
Link to publication

Call for Papers

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
  • 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.

Papers submitted by the first deadline will be considered for publication in the ACM DL, if not requested otherwise by the authors. Thus, they will be part of SPLASH workshop proceedings. For all papers, use of the SIGPLAN acmart style is mandatory: http://www.sigplan.org/Resources/Author/. Please use the provided double-column templates for Latex or Word.

  • 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

Abstracts do not have to be submitted before the submission deadline.

Demos, posters, position and work-in-progress papers can be submitted on a second, later deadline to discuss the latest results and current work, but will not be considered for publication in the ACM DL.

For all submission, please use the submission system at:

https://meta18.hotcrp.com/

Contact information

For further inquiries, do not hesitate to contact the organizers via meta@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

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Meta for TypesMETA at Cambridge
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
08:30
30m
Talk
Code Generation for Higher Inductive Types
META
Paventhan Vivekanandan Indiana University Bloomington
File Attached
09:00
30m
Talk
Recognizing heterogeneous sequences by rational type expression
META
Jim Newton EPITA / LRDE https://www.lrde.epita.fr, Didier Verna EPITA / LRDE
DOI
09:30
30m
Talk
Multiple Dispatch using Compile-Time Metaprogramming
META
Seyed Hossein Haeri Université Catholique de Louvain, Paul Keir
10:30 - 12:00
Keynote: Burmako & ToolingMETA at Cambridge
Chair(s): Stefan Marr University of Kent
10:30
60m
Talk
SemanticDB: a common data model for Scala developer tools ⭐️Keynote
META
I: Eugene Burmako Twitter, Inc.
DOI
11:30
30m
Demonstration
Relit: Typed Literal Macros for Reason
META
Cyrus Omar University of Chicago, Charles Chamberlain University of Chicago
Link to publication
13:30 - 15:00
Keynote: Bonetta & InfrastructureMETA at Cambridge
Chair(s): Guido Chari Czech Technical University, Czechia
13:30
60m
Talk
GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote
META
Daniele Bonetta Oracle Labs
DOI
14:30
30m
Talk
Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
META
Rodrigo Teixeira INPE - National Institute for Space Research, Eduardo Guerra INPE - National Institute for Space Research, Phyllipe Lima INPE - National Institute for Space Research, Paulo Meirelles Federal University of São Paulo, Fabio Kon University of São Paulo
DOI
15:30 - 17:00
Keynote: NobleMETA at Cambridge
Chair(s): Stefan Marr University of Kent
15:30
60m
Talk
Through a Glass, Darkly ⭐️Keynote
META
I: James Noble Victoria University of Wellington
DOI
16:30
30m
Day closing
Discussion and Closing
META