Publications related to Computer program

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Debugging by lastChange

Claude Petitpierre, Salman Mirghasemi

Developers often seek the origins of wrong values they see in their debugger. Their search must be backwards in time: the code causing the wrong value executed before the wrong value appeared. Searching with breakpoint- or log- based debuggers demands pers ...

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

Decision Procedures for Automating Termination Proofs

Ruzica Piskac

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current too ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Satisfiability Modulo Recursive Programs

Viktor Kuncak, Philippe Paul Henri Suter, Ali Sinan Köksal

We present a semi-decision procedure for checking satisfiability of expressive correctness properties of recursive first-order functional programs. In our approach, both properties and programs are expressed in the same language, a subset of Scala. We impl ...

Springer-Verlag Berlin2011

Computing Codimensions And Generic Canonical Forms For Generalized Matrix Products

Daniel Kressner, Bo Kågström

A generalized matrix product can be formally written as Lambda(sp)(p) Lambda(sp-1)(p-1) ... Lambda(s2)(2) Lambda(s1)(1) where s(i) is an element of {- 1,+ 1} and ( A(1), ..., A(p)) is a tuple of ( possibly rectangular) matrices of suitable dimensions. The ...

International Linear Algebra Society2011

An old tool and a new challenge for depicting antenna array radiation patterns

Juan Ramon Mosig

This paper is intended for teachers and students dealing with antenna engineering. Graphical tools have historically been used for illustrating many basic features of radiation patterns, such as the position and number of secondary lobes, null angles, and ...

Institute of Electrical and Electronics Engineers2011

Compressed Sensing for Real-Time Energy-Efficient ECG Compression on Wireless Body Sensor Nodes

David Atienza Alonso, Pierre Vandergheynst, Nadia Khaled, Hossein Mamaghanian

Wireless body sensor networks (WBSN) hold the promise to be a key enabling information and communications technology for next-generation patient-centric tele-cardiology or mobile cardiology solutions. Through enabling continuous remote cardiac monitoring, ...

Institute of Electrical and Electronics Engineers2011

A Real-Time Compressed Sensing-Based Personal Electrocardiogram Monitoring System

David Atienza Alonso, Nadia Khaled, Karim Kanoun, Hossein Mamaghanian

Wireless body sensor networks (WBSN) hold the promise to enable next-generation patient-centric tele-cardiology systems. A WBSN-enabled electrocardiogram (ECG) monitor consists of wearable, miniaturized and wireless sensors able to measure and wirelessly r ...

ACM and IEEE Press2011

Computer program

Graph Chatbot

Chat with Graph Search

Debugging by lastChange

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

Decision Procedures for Automating Termination Proofs

Production + Paradox

Satisfiability Modulo Recursive Programs

Computing Codimensions And Generic Canonical Forms For Generalized Matrix Products

An old tool and a new challenge for depicting antenna array radiation patterns

Compressed Sensing for Real-Time Energy-Efficient ECG Compression on Wireless Body Sensor Nodes

A Real-Time Compressed Sensing-Based Personal Electrocardiogram Monitoring System

Counterexample-Guided Focus

Debugging by lastChange

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

Decision Procedures for Automating Termination Proofs

Production + Paradox

Computing Codimensions And Generic Canonical Forms For Generalized Matrix Products

An old tool and a new challenge for depicting antenna array radiation patterns

Satisfiability Modulo Recursive Programs

Compressed Sensing for Real-Time Energy-Efficient ECG Compression on Wireless Body Sensor Nodes

A Real-Time Compressed Sensing-Based Personal Electrocardiogram Monitoring System

Counterexample-Guided Focus