Building Efficient Query Engines in a High-Level Language

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.

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

Logic rewriting is a powerful optimization technique that replaces small sections of a Boolean network with better implementations. Typically, exact synthesis is used to compute optimum replacement on-the-fly, with possible support for Boolean don't cares. ...

Combined high-fusion performance and long-pulse operation is one of the key integration challenges for fusion energy development in magnetic devices. Addressing these challenges requires an integrated vision of physics and engineering aspects with the purp ...

One of the primary causes of non-uniform snowfall deposition on the ground in mountainous regions is the preferential deposition of snow, which results from the interaction of near-surface winds with topography and snow particles. However, producing high-r ...

In contrast to vast academic efforts to study AI security, few real-world reports of AI security incidents exist. Released incidents prevent a thorough investigation of the attackers' motives, as crucial information about the company and AI application is ...

A method for optimizing memory access for database operations is provided. The method may include performing a first database operation by at least executing a first instruction stream associated with the first database operation. The first database opera ...

Cloud function (CF) services, such as AWS Lambda, have been applied as the new computing infrastructure in implementing analytical query engines. For bursty and sparse workloads, CF-based query engine is more elastic than the traditional query engines runn ...

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Advances in computational capabilities and large volumes of experimental data have established computer simulations of brain tissue models as an important pillar in modern neuroscience. Alongside, a variety of domain specific languages (DSLs) have been dev ...

Agent-based simulations have been widely applied in many disciplines, by scientists and engineers alike. Scientists use agent-based simulations to tackle global problems, including alleviating poverty, reducing violence, and predicting the impact of pandem ...

As modern data pipelines continue to collect, produce, and store a variety of data formats, extracting and combining value from traditional and context-rich sources such as strings, text, video, audio, and logs becomes a manual process where such formats a ...

We present Sudokube, a novel system that supports interactive speed querying on high-dimensional data using partially materialized data cubes. Given a storage budget, it judiciously chooses what projections to precompute and materialize during cube constru ...

Structure determination of materials is key to understanding their physical properties. While single-crystal X-ray diffraction is the gold standard for structures displaying long-range order, many materials of interest are polycrystalline and/or disordered ...

The AIDRES database aims to support the long-term objective of a fully integrated industrial strategy in the EU 27, providing a service to the European Commission and a catalogue for industries to understand the effectiveness, efficiency and cost of potent ...

Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...

Today's continued increase in demand for processing power, despite the slowdown of Moore's law, has led to an increase in processor count, which has resulted in energy consumption and distribution problems. To address this, there is a growing trend toward ...

The Supersingular Isogeny Diffie-Hellman (SIDH) protocol has been the main and most efficient isogeny-based encryption protocol, until a series of breakthroughs led to a polynomial-time key-recovery attack. While some countermeasures have been proposed, th ...

Code-reuse attacks are dangerous threats that attracted the attention of the security community for years. These attacks aim at corrupting important control-flow transfers for taking control of a process without injecting code. Nowadays, the combinations o ...

Artificial Intelligence (AI) techniques are considered the most advanced approaches for diagnosing faults in power transformers. Dissolved Gas Analysis (DGA) is the conventional approach widely adopted for diagnosing incipient faults in power transformers. ...

Modern computing systems are so energy- intensive to make efficient cooling vital for their operation. This is giving rise to a variety of innovative cooling solutions based on a mix of traditional and new techniques. The design and engineering of these so ...

Building Efficient Query Engines in a High-Level Language

Chattez avec Graph Search

Automated Formal Verification of Software Network Functions

Scalable Logic Rewriting Using Don’t Cares

Long plasma duration operation analyses with an international multi-machine (tokamaks and stellarators) database

Snowfall deposition in mountainous terrain: a statistical downscaling scheme from high-resolution model data on simulated topographies

When Your AI Becomes a Target: AI Security Incidents and Best Practices

Determining an optimum quantity of interleaved instruction streams of defined coroutines

Using Cloud Functions as Accelerator for Elastic Data Analytics

Dynamic Linkers Are the Narrow Waist of Operating Systems

MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Analytical Engines With Context-Rich Processing: Towards Efficient Next-Generation Analytics

Aggregation and Exploration of High-Dimensional Data Using the Sudokube Data Cube Engine

NMR Crystallography in the Big Data Era: New Methods and Applications Powered by Machine Learning

AIDRES: A database for the decarbonisation of the heavy industry in Europe

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Compilation and Design Space Exploration of Dataflow Programs for Heterogeneous CPU-GPU Platforms

New SIDH Countermeasures for a More Efficient Key Exchange

WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches

Power Transformer Fault Diagnosis Using Neural Network Optimization Techniques

Object-oriented modelling of advanced computer cooling solutions