META '18: "GraalVM: Metaprogramming inside ..."
GraalVM: Metaprogramming inside a Polyglot System (Invited Talk)
Daniele Bonetta
(Oracle Labs, USA)
GraalVM is a polyglot virtual machine for running applications written in a variety of languages such as JavaScript, Ruby, Python, R, JVM-based languages like Java, Scala, Kotlin, and LLVM-based languages such as C and C++.
GraalVM enables interoperability between different programming languages in a shared runtime, and can run either standalone or embedded in other software systems such as Node.js, the Oracle RDBMS, and MySQL. In this talk I will give an overview of GraalVM and present how polyglot features such as language interoperability and language-agnostic instrumentation are enabled in GraalVM by means of VM-internal metaprogramming.
@InProceedings{META18p3,
author = {Daniele Bonetta},
title = {GraalVM: Metaprogramming inside a Polyglot System (Invited Talk)},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {3--4},
doi = {10.1145/3281074.3284935},
year = {2018},
}
Publisher's Version
META '18: "SemanticDB: A Common Data ..."
SemanticDB: A Common Data Model for Scala Developer Tools (Invited Talk)
Eugene Burmako
(Twitter, USA)
Nowadays, there is a clear trend towards standards for communication between developer tools. Language Server Protocol (LSP), a protocol that connects programming language implementations and text editors, has gained strong industrial support and at the time of writing has implementations for many programming languages and editors. Build Server Protocol (BSP) follows in LSP’s tracks with an ambition to define a protocol for communication between language servers and build tools.
While lots of work in the open-source community has been invested in unifying user experience (by codifying commonly used operations like go to definition or find all references), relatively less work went into unifying implementor experience. For example, at the moment, there exist five different LSP implementations for Scala. They all implement the same protocol that works with code, but they all use different data structures to represent that code.
In this talk, we will present SemanticDB - a data model for semantic information such as symbols and types about programs in Scala and other languages. We will discuss our experience of building an ecosystem of developers tools around SemanticDB and using these tools on Twitter source code - arguably the largest Scala codebase on the planet.
SemanticDB is joint work between Eugene Burmako, Twitter and Ólafur Páll Geirsson, EPFL who together developed and maintain the open-source specification and implementations at https://github.com/scalameta/scalameta. The project has received contributions from the Advanced Scala Tools team at Twitter - Eugene Burmako, Shane Delmore, Max Ovsiankin and Uma Srinivasan - as well as many open-source enthusiasts.
@InProceedings{META18p2,
author = {Eugene Burmako},
title = {SemanticDB: A Common Data Model for Scala Developer Tools (Invited Talk)},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {2--2},
doi = {10.1145/3281074.3281076},
year = {2018},
}
Publisher's Version
META '18: "Does It Make Sense to Have ..."
Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?
Rodrigo Teixeira, Eduardo Guerra, Phyllipe Lima, Paulo Meirelles, and Fabio Kon
(INPE, Brazil; Federal University of São Paulo, Brazil; University of São Paulo, Brazil)
Code annotations are extensively used by Java developers, especially in enterprise frameworks and APIs such as Spring and Java EE. Different code elements that frequently share some similarities, sometimes, repeat the annotations. The goal of this paper is to evaluate whether a real-world system could use code conventions as a means to avoid replicating code annotations. We report on a study on the software used for the EMBRACE Space Weather program at INPE to search for similarities.
@InProceedings{META18p15,
author = {Rodrigo Teixeira and Eduardo Guerra and Phyllipe Lima and Paulo Meirelles and Fabio Kon},
title = {Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {15--22},
doi = {10.1145/3281074.3281078},
year = {2018},
}
Publisher's Version
META '18: "Does It Make Sense to Have ..."
Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?
Rodrigo Teixeira, Eduardo Guerra, Phyllipe Lima, Paulo Meirelles, and Fabio Kon
(INPE, Brazil; Federal University of São Paulo, Brazil; University of São Paulo, Brazil)
Code annotations are extensively used by Java developers, especially in enterprise frameworks and APIs such as Spring and Java EE. Different code elements that frequently share some similarities, sometimes, repeat the annotations. The goal of this paper is to evaluate whether a real-world system could use code conventions as a means to avoid replicating code annotations. We report on a study on the software used for the EMBRACE Space Weather program at INPE to search for similarities.
@InProceedings{META18p15,
author = {Rodrigo Teixeira and Eduardo Guerra and Phyllipe Lima and Paulo Meirelles and Fabio Kon},
title = {Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {15--22},
doi = {10.1145/3281074.3281078},
year = {2018},
}
Publisher's Version
META '18: "Does It Make Sense to Have ..."
Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?
Rodrigo Teixeira, Eduardo Guerra, Phyllipe Lima, Paulo Meirelles, and Fabio Kon
(INPE, Brazil; Federal University of São Paulo, Brazil; University of São Paulo, Brazil)
Code annotations are extensively used by Java developers, especially in enterprise frameworks and APIs such as Spring and Java EE. Different code elements that frequently share some similarities, sometimes, repeat the annotations. The goal of this paper is to evaluate whether a real-world system could use code conventions as a means to avoid replicating code annotations. We report on a study on the software used for the EMBRACE Space Weather program at INPE to search for similarities.
@InProceedings{META18p15,
author = {Rodrigo Teixeira and Eduardo Guerra and Phyllipe Lima and Paulo Meirelles and Fabio Kon},
title = {Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {15--22},
doi = {10.1145/3281074.3281078},
year = {2018},
}
Publisher's Version
META '18: "Does It Make Sense to Have ..."
Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?
Rodrigo Teixeira, Eduardo Guerra, Phyllipe Lima, Paulo Meirelles, and Fabio Kon
(INPE, Brazil; Federal University of São Paulo, Brazil; University of São Paulo, Brazil)
Code annotations are extensively used by Java developers, especially in enterprise frameworks and APIs such as Spring and Java EE. Different code elements that frequently share some similarities, sometimes, repeat the annotations. The goal of this paper is to evaluate whether a real-world system could use code conventions as a means to avoid replicating code annotations. We report on a study on the software used for the EMBRACE Space Weather program at INPE to search for similarities.
@InProceedings{META18p15,
author = {Rodrigo Teixeira and Eduardo Guerra and Phyllipe Lima and Paulo Meirelles and Fabio Kon},
title = {Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {15--22},
doi = {10.1145/3281074.3281078},
year = {2018},
}
Publisher's Version
META '18: "Recognizing Heterogeneous ..."
Recognizing Heterogeneous Sequences by Rational Type Expression
Jim E. Newton and Didier Verna
(EPITA, France)
We summarize a technique for writing functions which recognize types of heterogeneous sequences in Common Lisp. The technique employs sequence recognition functions, generated at compile time, and evaluated at run-time. The technique we demonstrate extends the Common Lisp type system, exploiting the theory of rational languages, Binary Decision Diagrams, and the Turing complete macro facility of Common Lisp. The resulting system uses meta-programming to move an Omega(2^n) complexity operation from run-time to a compile-time operation, leaving a highly optimized Theta(n) complexity operation for run-time.
@InProceedings{META18p5,
author = {Jim E. Newton and Didier Verna},
title = {Recognizing Heterogeneous Sequences by Rational Type Expression},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {5--14},
doi = {10.1145/3281074.3281077},
year = {2018},
}
Publisher's Version
META '18: "Through a Glass, Darkly (Invited ..."
Through a Glass, Darkly (Invited Talk)
James Noble
(Victoria University of Wellington, New Zealand)
Reflection gives us a mirror into our programs. Using this mirror, we can see our programs’ structures, perhaps their execution, and maybe even reach through the mirror to change what our programs are and what they do.
In this talk, I’ll consider what lives on each side of the mirror and what happens when we cross that boundary. I’ll describe how mirrors let us peer into the middle of our programs, what happens when we reflect on concepts rather than objects, and what happens when we hold up a mirror up to itself. I’ll discuss the way reflection works in the Grace language, and present some prospects for extending it in the future.
@InProceedings{META18p1,
author = {James Noble},
title = {Through a Glass, Darkly (Invited Talk)},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {1--1},
doi = {10.1145/3281074.3281075},
year = {2018},
}
Publisher's Version
META '18: "Does It Make Sense to Have ..."
Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?
Rodrigo Teixeira, Eduardo Guerra, Phyllipe Lima, Paulo Meirelles, and Fabio Kon
(INPE, Brazil; Federal University of São Paulo, Brazil; University of São Paulo, Brazil)
Code annotations are extensively used by Java developers, especially in enterprise frameworks and APIs such as Spring and Java EE. Different code elements that frequently share some similarities, sometimes, repeat the annotations. The goal of this paper is to evaluate whether a real-world system could use code conventions as a means to avoid replicating code annotations. We report on a study on the software used for the EMBRACE Space Weather program at INPE to search for similarities.
@InProceedings{META18p15,
author = {Rodrigo Teixeira and Eduardo Guerra and Phyllipe Lima and Paulo Meirelles and Fabio Kon},
title = {Does It Make Sense to Have Application-Specific Code Conventions as a Complementary Approach to Code Annotations?},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {15--22},
doi = {10.1145/3281074.3281078},
year = {2018},
}
Publisher's Version
META '18: "Recognizing Heterogeneous ..."
Recognizing Heterogeneous Sequences by Rational Type Expression
Jim E. Newton and Didier Verna
(EPITA, France)
We summarize a technique for writing functions which recognize types of heterogeneous sequences in Common Lisp. The technique employs sequence recognition functions, generated at compile time, and evaluated at run-time. The technique we demonstrate extends the Common Lisp type system, exploiting the theory of rational languages, Binary Decision Diagrams, and the Turing complete macro facility of Common Lisp. The resulting system uses meta-programming to move an Omega(2^n) complexity operation from run-time to a compile-time operation, leaving a highly optimized Theta(n) complexity operation for run-time.
@InProceedings{META18p5,
author = {Jim E. Newton and Didier Verna},
title = {Recognizing Heterogeneous Sequences by Rational Type Expression},
booktitle = {Proc.\ META},
publisher = {ACM},
pages = {5--14},
doi = {10.1145/3281074.3281077},
year = {2018},
}
Publisher's Version