Execution Synthesis: A Technique for Automated Software Debugging

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.

Enterprises collect data in large volumes and leverage them to drive numerous concurrent decisions and business processes. Their teams deploy multiple applications that often operate concurrently on the same data and infrastructure but have widely differen ...

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 ...

Traditional martial arts are treasures of humanity's knowledge and critical carriers of sociocultural memories throughout history. However, such treasured practices have encountered various challenges in knowledge transmission and now feature many entries ...

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects. S ...

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

Purpose: Despite being an authentic carrier of various cultural practices, the human body is often underutilised to access the knowledge of human body. Digital inventions today have created new avenues to open up cultural data resources, yet mainly as appa ...

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Various endeavours into semantic web technologies and ontology engineering have been made within the organisation of cultural data, facilitating public access to digital assets. Although models for conceptualising objects have reached a certain level of ma ...

Time has always been a central factor in understanding the challenges of daily mobility. For a long time, and still today, methods of economic evaluation of transport projects have monetized time savings so that they can be included in the cost–benefit ana ...

A central task in high-level synthesis is scheduling: the allocation of operations to clock cycles. The classic approach to scheduling is static, in which each operation is mapped to a clock cycle at compile-time, but recent years have seen the emergence o ...

The performance of programs executed on heterogeneous parallel platforms largely depends on the design choices regarding how to partition the processing on the various different processing units. In other words, it depends on the assumptions and parameters ...

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

In this thesis, we present a theory of value for the design and analysis of service ecosystems. The theory is based on general systems thinking. The concept of a system is used for relating knowledge from different disciplines (such as software engineering ...

The concept of novelty is central to questions of creativity, innovation, and discovery. Despite the prominence in scientific inquiry and everyday discourse, there is a chronic ambiguity over its meaning and a surprising variety of empirical measures, whic ...

A Concideration of Typologies for Housing the Sick as a Spatial Manifestation of knowledge. ...

With the application requirements of wireless technology in implantable bioelectronics, knowledge of the fundamental limits for implanted antennas becomes critical. In this work, we investigated the variation of maximum power density within simplified body ...

Zero knowledge plays a central role in cryptography and complexity. The seminal work of Ben-Or et al. (STOC 1988) shows that zero knowledge can be achieved unconditionally for any language in NEXP, as long as one is willing to make a suitable physical assu ...

Timely insights lead to business growth and scientific breakthroughs but require analytical engines that cope with the ever-increasing data processing needs. Analytical engines relied on rapid CPU improvements, yet the end of Dennard scaling stopped the fr ...

The perception, physiology, behavior, and performance of building occupants are influenced by multi-domain exposures: the simultaneous presence of multiple environmental stimuli, i.e., visual, thermal, acoustic, and air quality. Despite being extensive, th ...

Execution Synthesis: A Technique for Automated Software Debugging

Chat with Graph Search

Oligolithic Cross-task Optimizations across Isolated Workloads

Secure Interface Design Leveraging Hardware/Software Support

Ontology-based Knowledge Representation for Traditional Martial Arts

Latency Interfaces for Systems Code

Robust Collaborative Learning with Linear Gradient Overhead

Unlocking a multimodal archive of Southern Chinese martial arts through embodied cues

ACTOR: Action-Guided Kernel Fuzzing

Creating Trust by Abolishing Hierarchies

Building a Knowledge Graph of Chinese Kung Fu Masters From Heterogeneous Bilingual Data

Appropriations and Uses of Travel Time

DASS: Combining Dynamic & Static Scheduling in High-Level Synthesis

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms by Dynamic Network Execution

Automated Verification of Network Function Binaries

A Theory of Value for Service Ecosystems

Nothing New Under the Sun: Novelty Constructs and Measures in Social Studies

Horizontal Healing

On the Maximum Power Density of Implanted Antennas within Simplified Body Phantoms

Spatial Isolation Implies Zero Knowledge Even in a Quantum World

Efficient Analytical Query Processing on CPU-GPU Hardware Platforms

Quality criteria for multi-domain studies in the indoor environment: Critical review towards research guidelines and recommendations