Concept
Source-to-source compiler
Related publications (82)
An Optimizing Multi-platform Source-to-source Compiler Framework for the NEURON MODeling Language
Felix Schürmann, James Gonzalo King, Michael Lee Hines, Pramod Shivaji Kumbhar, Jorge Blanco Alonso, Omar Awile, Liam Roger George Keegan
Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit domain knowledge for the generation of more efficient code on target architectures. Here, we describe a new c ...
Springer2020Safe Initialization of Objects
Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták
Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...
2020A Type-and-Effect System for Object Initialization
Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták
Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...
2020A Type-and-Effect System for Object Initialization
Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták
Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...
ASSOC COMPUTING MACHINERY2020Analysis of SwissCovid
Serge Vaudenay, Martin Vuagnoux
We present an analysis of the SwissCovid application which is currently being tested. We observe that the essential part of SwissCovid is under the control of Apple and Google. Outsourcing the heart of SwissCovid to Apple and Google has apparent benefits i ...
2020The Sixth Visual Object Tracking VOT2018 Challenge Results
Tianzong Zhang, Wei Wu, Qiang Wang, Zhiye Wang, Li Wang, Bo Li, Yunpeng Li, Zeyu Zhang, Erhan Gündogdu, Bo Chen, Jiri Matas, Namhoon Lee, Tianyang Xu, Jing Li, Ning Wang, Hongwei Li, Feng Li, Jue Wang, Peixia Li, Ran Tao, Yi Wu, Yunhua Zhang, Yuxuan Sun, Qing Guo, Xiaofan Zhang, Wenjun Zeng, Luca Bertinetto, Siwen Wang, Chong Sun, Litu Rout
The Visual Object Tracking challenge VOT2018 is the sixth annual tracker benchmarking activity organized by the VOT initiative. Results of over eighty trackers are presented; many are state-of-the-art trackers published at major computer vision conferences ...
SPRINGER INTERNATIONAL PUBLISHING AG2019PyLandStats: An open-source Pythonic library to compute landscape metrics
Quantifying the spatial pattern of landscapes has become a common task of many studies in landscape ecology. Most of the existing software to compute landscape metrics is not well suited to be used in interactive environments such as Jupyter notebooks nor ...
2019Learning Representations of Source Code from Structure and Context
Large codebases are routinely indexed by standard Information Retrieval systems, starting from the assumption that code written by humans shows similar statistical properties to written text [Hindle et al., 2012]. While those IR systems are still relativel ...
2019Evaluation of Deep Learning Strategies for Nucleus Segmentation in Fluorescence Images
Matthieu Jean-Michel Philippe Broisin, Jonathan Roth
Identifying nuclei is often a critical first step in analyzing microscopy images of cells and classical image processing algorithms are most commonly used for this task. Recent developments in deep learning can yield superior accuracy, but typical evaluati ...
WILEY2019Cross-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 ...
2019