Publications associées à Analyse dynamique de programmes

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis

Datastores today rely on distribution and replication to achieve improved performance and fault-tolerance. But correctness of many applications depends on strong consistency properties—something that can impose substantial overheads, since it requires coor ...

ACM Press2015

A Methodology for Profiling and Partitioning Stream Programs on Many-core Architectures

Marco Mattavelli, Malgorzata Maria Michalska, Jani Boutellier

Maximizing the data throughput is a very common implementation objective for several streaming applications. Such task is particularly challenging for implementations based on many-core and multi-core target platforms because, in general, it implies tackli ...

2015

Automatic Application of Power Analysis Countermeasures

Paolo Ienne, Francesco Regazzoni, Philip Brisk, David Novo Bruna, Ali Galip Bayrak

We introduce a compiler that automatically inserts software countermeasures to protect cryptographic algorithms against power-based side-channel attacks. The compiler first estimates which instruction instances leak the most information through side-channe ...

Institute of Electrical and Electronics Engineers2015

Seismic Design Criteria for Steel Moment Resisting Frames for Collapse Risk Mitigation

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

This paper quantifies the lateral overstrength and the collapse risk of steel buildings with perimeter special moment frames (SMFs) designed in highly seismic regions in North America. State-of-the-art analytical models that consider the contributions of t ...

2015

Security of Full-State Keyed Sponge and Duplex: Applications to Authenticated Encryption

Damian Vizár, Reza Reyhanitabar

We provide a security analysis for full-state keyed Sponge and full-state Duplex constructions. Our results can be used for making a large class of Sponge-based authenticated encryption schemes more efficient by concurrent absorption of associated data and ...

Springer2015

Enclosed Electronic System for Force Measurements in Knee Implants

Kamiar Aminian, Philippe Renaud, Peter Ryser, Arnaud Bertsch, Eric Meurville, Arash Arami, David Forchelet, Matteo Simoncini

Total knee arthroplasty is a widely performed surgical technique. Soft tissue force balancing during the operation relies strongly on the experience of the surgeon in equilibrating tension in the collateral ligaments. Little information on the forces in th ...

Mdpi Ag2014

Staged parser combinators for efficient data processing

Martin Odersky, Tiark Rompf, Sandro Stucki, Manohar Jonnalagedda, Thierry Coppey

Parsers are ubiquitous in computing, and many applications depend on their performance for decoding data efficiently. Parser combinators are an intuitive tool for writing parsers: tight integration with the host language enables grammar specifications to b ...

ACM Press2014

Staged Parser Combinators for Efficient Data Processing

Martin Odersky, Tiark Rompf, Sandro Stucki, Manohar Jonnalagedda, Thierry Coppey

Assoc Computing Machinery2014

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Analyse dynamique de programmes

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis

A Methodology for Profiling and Partitioning Stream Programs on Many-core Architectures

Automatic Application of Power Analysis Countermeasures

Seismic Design Criteria for Steel Moment Resisting Frames for Collapse Risk Mitigation

Security of Full-State Keyed Sponge and Duplex: Applications to Authenticated Encryption

Enclosed Electronic System for Force Measurements in Knee Implants

Staged parser combinators for efficient data processing

Staged Parser Combinators for Efficient Data Processing

Verifying and Synthesizing Software with Recursive Functions (Invited Contribution)

Approximate dynamic programming for stochastic reachability

Graph Chatbot

Chattez avec Graph Search

Automatic Application of Power Analysis Countermeasures

Staged parser combinators for efficient data processing

Staged Parser Combinators for Efficient Data Processing

Verifying and Synthesizing Software with Recursive Functions (Invited Contribution)

Security of Full-State Keyed Sponge and Duplex: Applications to Authenticated Encryption

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis

A Methodology for Profiling and Partitioning Stream Programs on Many-core Architectures

Enclosed Electronic System for Force Measurements in Knee Implants

Seismic Design Criteria for Steel Moment Resisting Frames for Collapse Risk Mitigation

Approximate dynamic programming for stochastic reachability