• Publications
  • Influence
Da capo con scala
TLDR
Originally conceived as the target platform for Java alone, the Java Virtual Machine (JVM) has since been targeted by other languages, one of which is Scala. Expand
  • 8
  • 4
Maintaining the consistency of class libraries during their evolution
TLDR
Two important problems of object-oriented reuse are the propagation of design and implementation specifics of the base software to the inheritor, and the protection of the inheritors against chang... Expand
  • 1
Object-oriented composition untangled
TLDR
Object-oriented languages come with pre-defined composition mechansims, such as inheritance, object composition, or delegation, each characterized by a certain set of composition properties, which ... Expand
  • 1
new Scala() instance of Java
TLDR
Managed runtimes like the Java virtual machine have become the target of not one but many languages, all of which benefit from the runtime... Expand
  • 1
Detecting missing method calls as violations of the majority rule
TLDR
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. Expand
  • 1
Language-integrated privacy-aware distributed queries
TLDR
Distributed query processing is an effective means for processing large amounts of data. Expand
Automated API Property Inference Techniques
TLDR
Frameworks and libraries offer reusable and customizable functionality through Application Programming Interfaces (APIs). Expand
Versatile event correlation with algebraic effects
TLDR
We present the first language design to uniformly express variants of n-way joins over asynchronous event streams from different domains, e.g., stream-relational algebra, event processing, reactive... Expand
The SEXTANT Software Exploration Tool
TLDR
In this paper, we discuss a set of functional requirements for software exploration tools and provide initial evidence that various combinations of these features are needed to effectively assist d... Expand
Intelligent Code Completion with Bayesian Networks
TLDR
Code completion is an integral part of modern Integrated Development Environments (IDEs). Expand
...
1
2
...