Publication

Elastic Program Transformations

Publications associées (108)

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search

Customising games for non-formal rehabilitation

Bruno Herbelin, Jan Ciger

The field of rehabilitation has increasingly adopted commercially available games using perceptual interfaces as a means for physically training patients. The adaptability of such systems to match each person’s need and rehabilitation goal remains problema ...

2011

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

ERP data sharing framework using the Generic Product Model (GPM)

Rémy Glardon, Naoufel Cheikhrouhou, Michel Pouly, Souleïman Naciri

Nowadays all product life cycle processes are investigated deeply in order to get an advantage over competitors To support these processes several software applications are available However this wide range of heterogeneous applications leads to a large va ...

Elsevier2011

Production + Paradox

Russell Alexander Loveridge

Presentation of the work being done in the Digital Design and Production course at the EPFL. The presentation highlighted the relationships of digital design to digital production methods, and focused on demonstrating the similarity between creative design ...

2011

Deep Habits, Price Rigidities and the Consumption Response to Government Spending

This paper inspects the 'deep' habits mechanism originally used by Ravn, Schmitt-Grohé and Uribe (2006) to generate the positive comovement of public and private consumption observed in many VAR studies. In their set-up, the price-elasticity of demand is p ...

Ghent University Faculty of Economics and Business Administration Working Paper 2010/6412011

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

Analog property checkers: a DDR2 case study

Dejan Nickovic

The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be in ...

Springer US2010

Automated Software Testing as a Service (TaaS)

George Candea, Cristian Zamfir, Stefan Bucur

This paper makes the case for TaaS - automated software testing as a cloud-based service. We present three kinds of TaaS: (1) a public certification service, akin to Underwriters Labs, that independently assesses the reliability, safety, and security of so ...

2010

Execution Synthesis: A Technique for Automated Software Debugging

George Candea, Cristian Zamfir

Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn into detectives searching for an explanation of how the program could have arrive ...

2010

KINONE: a new software for the kinetic modelling of spectroscopic, calorimetric and concentration data

Julien Léo Billeter, Konrad Hungerbühler

On this poster, we present the new software Kinone dedicated to the kinetic modelling of spectroscopic, calorimetric and concentration data in homoge-neous liquid phase. Its capabilities will be demonstrated using some selected kinetic problems. K ...

2010