Publications associées à Structure de données persistante

Lightweight Snapshots and System-level Backtracking

George Candea, Edouard Bugnion, Vitaly Chipounov

We propose a new system-level abstraction, the lightweight immutable execution snapshot, which combines the immutable characteristics of checkpoints with the direct integration into the virtual memory subsystem of standard mutable address spaces. The abstr ...

USENIX2013

Functional synthesis for linear arithmetic and sets

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way—they should succeed for a well-defin ...

Springer Berlin Heidelberg2013

Synthesis Modulo Recursive Functions

Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter

We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo recursive functions, a framework for deductive synthesis, and complete synt ...

2013

Optimizing Data Structures in High-Level Programs New Directions for Extensible Compilers based on Staging

Martin Odersky, Tiark Rompf, Nada Amin, Vojin Jovanovic, Manohar Jonnalagedda

High level data structures are a cornerstone of modern programming and at the same time stand in the way of compiler optimizations. In order to reason about user or library-defined data structures, compilers need to be extensible. Common mechanisms to exte ...

Assoc Computing Machinery2013

On Integrating Deductive Synthesis and Verification Systems

Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter

2013

An overview of the Leon verification system: verification by translation to recursive functions

Viktor Kuncak, Etienne Kneuss, Régis William Blanc, Philippe Paul Henri Suter

We present the Leon verification system for a subset of the Scala programming language. Along with several functional features of Scala, Leon supports imperative constructs such as mutations and loops, using a translation into recursive functional form. Bo ...

2013

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Martin Odersky, Tiark Rompf, Philipp Haller, Nada Amin

Scala-Virtualized extends the Scala language to better support hosting embedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of em- bedded ...

Springer Verlag2013

Accelerating Spatial Range Queries

Anastasia Ailamaki, Thomas Heinis, Farhan Tauheed, Alexandros Stougiannis

It is increasingly common for domain scientists to use computational tools to build and simulate spatial models of the phenomena they are studying. The spatial models they build are more and more detailed as well as dense and are consequently difficult to ...

2013

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.

Structure de données persistante

Lightweight Snapshots and System-level Backtracking

Functional synthesis for linear arithmetic and sets

Spores, Formally

Synthesis Modulo Recursive Functions

Optimizing Data Structures in High-Level Programs New Directions for Extensible Compilers based on Staging

On Integrating Deductive Synthesis and Verification Systems

An overview of the Leon verification system: verification by translation to recursive functions

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Accelerating Spatial Range Queries

Molecular recognition using corona phase complexes made of synthetic polymers adsorbed on carbon nanotubes

Graph Chatbot

Chattez avec Graph Search

Lightweight Snapshots and System-level Backtracking

Optimizing Data Structures in High-Level Programs New Directions for Extensible Compilers based on Staging

An overview of the Leon verification system: verification by translation to recursive functions

Synthesis Modulo Recursive Functions

Functional synthesis for linear arithmetic and sets

Spores, Formally

On Integrating Deductive Synthesis and Verification Systems

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Molecular recognition using corona phase complexes made of synthetic polymers adsorbed on carbon nanotubes

Accelerating Spatial Range Queries