Publications related to Call stack

Secure Interface Design Leveraging Hardware/Software Support

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

SecureCells: A Secure Compartmentalized Architecture

Babak Falsafi, Mathias Josef Payer, Yuanlong Li, Andrés Sánchez Marín, Florian Hofhammer, Siddharth Gupta, Atri Bhattacharyya

Modern programs are monolithic, combining code of varied provenance without isolation, all the while running on network-connected devices. A vulnerability in any component may compromise code and data of all other components. Compartmentalization separates ...

2023

BamX: Rethinking Deployability in Architecture through Weaving

Mark Pauly, Stefana Parascho, Seiichi Eduardo Suzuki Erazo, Yingying Ren, Tian Chen

Deployable gridshells are a class of planar-to-spatial structures that achievea 3D curved geometry by inducing bending on a flat grid of elastic beams. However, theslender nature of these beams often conflicts with the structure’s load-bearing capacity.To ...

De Gruyter2023

A Simpler and Faster NIC Driver Model for Network Functions

George Candea, Solal Vincenzo Pirelli

The advent of software network functions calls for stronger correctness guarantees and higher performance at every level of the stack. Current network stacks trade simplicity for performance and flexibility, especially in their driver model. We show that p ...

2021

A modular functional framework for the design and evaluation of multi-robot navigation

Alcherio Martinoli, Cyrill Silvan Baumann

In this work, we address the design of tightly integrated control, estimation, and allocation algorithms allowing a group of robots to move collectively. For doing so, we leverage a modular framework that allows us to define precisely the needed functional ...

Elsevier2021

Novel features of centriole polarity and cartwheel stacking revealed by cryo-tomography

Pierre Gönczy, Davide Demurtas, Georgios Hatzopoulos, Sergey Nazarov, Alexandra Bezler, Paul Guichard, Veronika Nemcíková Villímová

Centrioles are polarized microtubule-based organelles that seed the formation of cilia, and which assemble from a cartwheel containing stacked ring oligomers ofSAS-6 proteins. A cryo-tomography map of centrioles from the termite flagellateTrichonymphaspp. ...

2020

Verifying Software Network Functions with No Verification Expertise

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Aikaterini Argyraki, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

ACM2019

An FPGA-Based Test System for RRAM Technology Characterization

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Maxime Victor Thammasack, Armando Biscontini

Resistive random access memory (RRAM) technologies have recently gained large attention from the academic and industrial research communities. Significant efforts have been made to enhance the performance of the memory stacks from both communities through ...

2018

Method for labeling products with a transparent photoluminescent label, and transparent photoluminescent label

Nicolas Grandjean

A method for marking a product (1) with a photoluminescent mark, said mark comprising a photoluminescent portion (10) which is transparent under normal light conditions and revealed by photoluminescence under UV illumination, said mark further comprising a ...

2017

Effect of O2 migration in Pt/HfO2/Ti/Pt structure

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Maxime Victor Thammasack

In this paper, we study the post-fabrication phenomenon of natural oxidation of the Ti layer observed in a Pt/HfO2/Ti/Pt Resistive Random Access Memory (OxRRAM) stack with no external influence. We identify that the resistance ratio decreases by ...

Springer Verlag2017

Solid oxide fuel cell anode degradation by the effect of hydrogen chloride in stack and single cell environments

Jan Van Herle, Christian Ludwig, Stefan Diethelm, Hossein Madi, Davide Papurello

The poisoning effect by hydrogen chloride (HCl) on state-of-the-art Ni anode-supported solid oxide fuel cells (SOFCs) at 750 degrees C is evaluated in either hydrogen or syngas fuel. Experiments are performed on single cells and short stacks and HCl concen ...

2016

Towards Scalable Segmentation of 3D Image Stacks

Carlos Joaquin Becker

Imaging modalities such as Electron Microscopy (EM) and Light Microscopy (LM) can now deliver high-quality, high-resolution image stacks of neural structures. Though these imaging modalities can be used to analyze a variety of components that are critical ...

EPFL2016

Cost-Effective Design of Mesh-of-Tree Interconnect for Multi-Core Clusters with 3-D Stacked L2 Scratchpad Memory

Giovanni De Micheli, Luca Benini

3-D integrated circuits (3-D ICs) offer a promising solution to overcome the scaling limitations of 2-D ICs. However, using too many through-silicon-vias (TSVs) pose a negative impact on 3-D ICs due to the large overhead of TSV (e.g., large footprint and l ...

Institute of Electrical and Electronics Engineers2015

Buffer overlow vulnerabilities in CUDA: a preliminary analysis

Andrea Miele

We present a preliminary study of buffer overflow vulnerabilities in CUDA software running on GPUs. We show how an attacker can overrun a buffer to corrupt sensitive data or steer the execution flow by overwriting function pointers, e.g., manipulating the ...

Springer France2015

Analysis and optimization of dynamic dataflow programs

Simone Casale Brunet

All computing platforms, from mobile to supercomputers, are becoming more and more heterogeneous and massively parallel. While they can provide higher power efficiency and computation throughput, effective and confident use of these systems always requires ...

EPFL2015

Late Data Layout: Unifying Data Representation Transformations

Martin Odersky, Eugene Burmako, Vlad Ureche

Values need to be represented differently when interacting with certain language features. For example, an integer has to take an object-based representation when interacting with erased generics, although, for performance reasons, the stack-based value re ...

ACM2014

Surgical Precision JIT Compilers

Tiark Rompf, Hassan Chafi

Just-in-time (JIT) compilation of running programs provides more optimization opportunities than offline compilation. Modern JIT compilers, such as those in virtual machines like Oracle's HotSpot for Java or Google's V8 for JavaScript, rely on dynamic prof ...

Assoc Computing Machinery2014

Code-Pointer Integrity

George Candea, Volodymyr Kuznetsov, Mathias Josef Payer

Systems code is often written in low-level languages like C/C++, which offer many benefits but also delegate memory management to programmers. This invites memory safety bugs that attackers can exploit to divert control flow and compromise the system. Depl ...

2014

A High-throughput and Low-Latency Interconnection Network for Multi-Core Clusters with 3-D Stacked L2 Tightly-Coupled Data Memory

Giovanni De Micheli, Luca Benini

The performance of most digital systems today is limited by the interconnect latency between logic and memory, rather than by the performance of logic or memory itself. Three- dimensional (3-D) integration using through-silicon-vias (TSVs) may provide a so ...

2012

Querypoint : Moving Backwards on Wrong Values in the Buggy Execution

Claude Petitpierre, Salman Mirghasemi

As developers debug, they often have to seek the origins of wrong values they see in their debugger. This search must be performed backwards in time since the code causing the wrong value is executed before the wrong value appears. Therefore, locating the ...

2011