Concept
Langage de programmation de bas niveau
Publications associées (201)
Secured Routines: Language-based Construction of Trusted Execution Environments
James Richard Larus, Edouard Bugnion, Adrien Ghosn
Trusted Execution Environments (TEEs), such as Intel SGX enclaves, use hardware to ensure the confidentiality and integrity of operations on sensitive data. While the technology is available on many processors, the complexity of its programming model and i ...
USENIX ASSOC2019Smart Sensor Buoys - Scalable Solution for Continuous and Flexible Water Monitoring
Within this paper an industry-driven insight to an environmental development project will be given. The approach offers the novel possibility to interconnect commercially available sensors to economic and high-performance floating platforms. Each platform ...
Paul Scherrer Institute, World Resources Forum2019Finally, a Polymorphic Linear Algebra Language
Amir Shaikhha, Lionel Emile Vincent Parreaux
Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra la ...
2019Compilation and Code Optimization for Data Analytics
The trade-offs between the use of modern high-level and low-level programming languages in constructing complex software artifacts are well known. High-level languages allow for greater programmer productivity: abstraction and genericity allow for the same ...
EPFL2018Initialization patterns in Dotty
Safe object initialization is important to avoid a category of runtime errors in programming languages. In this paper, we provide a case study of the initialization patterns on the Dotty compiler. In particular, we find that calling dynamic-dispatching met ...
2018Spatial: A Language and Compiler for Application Accelerators
Christos Kozyrakis, Yunqi Zhang
Industry is increasingly turning to reconfigurable architectures like FPGAs and CGRAs for improved performance and energy efficiency. Unfortunately, adoption of these architectures has been limited by their programming models. HDLs lack abstractions for pr ...
ASSOC COMPUTING MACHINERY2018SPADE: Tuning scale-out OLTP on modern RDMA clusters
Rachid Guerraoui, Aleksandar Dragojevic, Georgios Chatzopoulos
Distributed transactions on modern RDMA clusters promise high throughput and low latency for scale-out workloads. As such, they can be particularly beneficial to large OLTP workloads, which require both. However, achieving good performance requires tuning ...
Association for Computing Machinery2018Cross-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 ...
EPFL2018