Concept
Compiled language
Publications associées (27)
Exploiting Errors for Efficiency: A Survey from Circuits to Applications
Babak Falsafi, Alexandros Daglis, Eva Darulova, Mattia Cacciotti, Damien Zufferey, Sasa Misailovic
When a computational task tolerates a relaxation of its specification or when an algorithm tolerates the effects of noise in its execution, hardware, system software, and programming language compilers or their runtime systems can trade deviations from cor ...
ASSOC COMPUTING MACHINERY2020Just-in-time performance without warm-up
Scala has been developed as a language that deeply integrates with the Java ecosystem. It offers seamless interoperability with existing Java libraries. Since the Scala compiler targets Java bytecode, Scala programs have access to high-performance runtimes ...
EPFL2020Cross-lingual Automatic Speech Recognition Exploiting Articulatory Features
Articulatory features (AFs) provide language-independent attribute by exploiting the speech production knowl-edge. This paper proposes a cross-lingual automatic speechrecognition (ASR) based on AF methods. Various neural network(NN) architectures are explo ...
2019Cross-Platform Language Design
Programming languages are increasingly compiled to multiple runtimes, each featuring their own rich structures such as their object model.
Furthermore, they need to interact with other languages targeting said runtimes.
A language targeting only one runtim ...
EPFL2018Cross-Platform Language Design in Scala.js (Keynote)
Have you ever wondered what is the secret sauce of Scala.js? What defines Scala.js, above all else, is the overarching will to make it cross-platform. A cross-platform language is both portable-most source code cross-compiles and behaves the same way on mu ...
ASSOC COMPUTING MACHINERY2018Indicators for measuring the contributions of individual knowledge brokers
An increasing number of knowledge brokers work at the interface between research, policy and practice. Their function is to facilitate processes to foster mutual learning among research, policy and practice. For some knowledge brokers, practical methodolog ...
2018LMS-Verify: Abstraction without Regret for Verified Systems Programming’
Performance critical software is almost always developed in C, as programmers do not trust high-level languages to deliver the same reliable performance. This is bad because low-level code in unsafe languages attracts security vulnerabilities and because d ...
Assoc Computing Machinery2017Semantics-Driven Interoperability between Scala.js and JavaScript
Sébastien Jean R Doeraene, Nicolas Alexander Stucki, Tobias Schlatter
Hundreds of programming languages compile to JavaScript. Yet, most of them fail, at one level or another, to provide satisfactory interoperability with JavaScript APIs. This is limiting, as interoperability is at least required to manipulate web pages thro ...
Association for Computing Machinery2016Investigating Cross-lingual Multi-level Adaptive Networks: The Importance of the Correlation of Source and Target Languages
Petr Motlicek, Philip Neil Garner
The multi-level adaptive networks (MLAN) technique is a cross-lingual adaptation framework where a bottleneck (BN) layer in a deep neural network (DNN) trained in a source lan- guage is used for producing BN features to be exploited in a second DNN in a ta ...
2016