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.
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.
Through a Glass, Darkly
SemanticDB: a common data model for Scala developer tools
GraalVM: Metaprogramming inside a Polyglot System
Call for Papers
This workshop aims to explore meta-level technologies that help tackling the heterogeneity, scalability and openness requirements of emerging computations platforms.
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.
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:
For further inquiries, do not hesitate to contact the organizers via firstname.lastname@example.org
Conference DayMon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00
|Code Generation for Higher Inductive Types|
Paventhan VivekanandanIndiana University BloomingtonFile Attached
|Recognizing heterogeneous sequences by rational type expression|
|Multiple Dispatch using Compile-Time Metaprogramming|
10:30 - 12:00
|SemanticDB: a common data model for Scala developer tools ⭐️Keynote|
I: Eugene BurmakoTwitter, Inc.DOI
|Relit: Typed Literal Macros for Reason|
METALink to publication
13:30 - 15:00
|GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote|
Daniele BonettaOracle LabsDOI
|Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?|
Rodrigo TeixeiraINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Phyllipe LimaINPE - National Institute for Space Research, Paulo MeirellesFederal University of São Paulo, Fabio KonUniversity of São PauloDOI