Category
Topics in computer programming
Related publications (373)
mu RAI: Securing Embedded Systems with Return Address Integrity
Embedded systems are deployed in security critical environments and have become a prominent target for remote attacks. Microcontroller-based systems (MCUS) are particularly vulnerable due to a combination of limited resources and low level programming whic ...
INTERNET SOC2020An 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 ...
Springer2020Task scheduling for highly concurrent analytical and transaction workloads
Anastasia Ailamaki, Iraklis Psaroudakis
Systems and method for a task scheduler with dynamic adjustment of concurrency levels and task granularity are disclosed for improved execution of highly concurrent analytical and transactional systems. The task scheduler can avoid both over commitment and ...
2020EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Blagovesta Hristova Kostova, Wei Dai
Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive. At the same time, FHE is notoriously ...
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 ...
EPFL2020Comportement des éléments en béton armé fléchis sous charge cyclique
For various types of civil structures such as bridges, skyscrapers and other slender towers, oil rigs as well as runaways, dynamic loading is predominant. This holds true especially for bridges where loads have increased considerably in the last hundred ye ...
2020JIT works: decide when all data is known (VLDB Women in Database Research Award talk)
When the time comes to make a critical decision, it is of paramount importance to prepare enough so that all the information necessary is available at decision time. Under-preparation leads to uninformed decisions; over-preparation, however, may lead to co ...
ASSOC COMPUTING MACHINERY2020Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages
Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...
EPFL2020Swirl number based transposition of flow-induced mechanical stresses from reduced scale to full-size Francis turbine runners
François Avellan, Arthur Tristan Favrel, Christian Landry, Keita Yamamoto, Joao Gomes Pereira Junior
At part load conditions, Francis turbines are subject to the emergence of a hydrodynamic instability in their draft tube, referred to as precessing vortex rope. It induces pressure pulsations in the water passages at the precession frequency of the vortex, ...
2020SpecROP: Speculative Exploitation of ROP Chains
Mathias Josef Payer, Atri Bhattacharyya, Andrés Sánchez Marín
Speculative execution attacks, such as Spectre, reuse code from the victim’s binary to access and leak secret information during speculative execution. Every variant of the attack requires very particular code sequences, necessitating elaborate gadget-sear ...
2020