Publications related to Abstract data type

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.

The Next 700 BFT Protocols

Rachid Guerraoui, Marko Vukolic, Nikola Knezevic

We present Abstract (ABortable STate mAChine replicaTion), a new abstraction for designing and reconfiguring generalized replicated state machines that are, unlike traditional state machines, allowed to abort executing a client's request if "something goes ...

Association for Computing Machinery2015

Composite Self-Concordant Minimization

Volkan Cevher, Quoc Tran Dinh, Anastasios Kyrillidis

We propose a variable metric framework for minimizing the sum of a self-concordant function and a possibly non-smooth convex function endowed with a computable proximal operator. We theoretically establish the convergence of our framework without relying o ...

Massachusetts Institute of Technology Press2015

Symbolic Resource Bound Inference

Viktor Kuncak, Ravichandhran Kandhadai Madhavan

We present an approach for inferring symbolic resource bounds for purely functional programs consisting of recursive functions, algebraic data types and nonlinear arithmetic operations. In our approach, the developer specifies the desired shape of the boun ...

2014

Discontinuous Shear Thickening without Inertia in Dense Non-Brownian Suspensions

Matthieu Wyart

A consensus is emerging that discontinuous shear thickening (DST) in dense suspensions marks a transition from a flow state where particles remain well separated by lubrication layers, to one dominated by frictional contacts. We show here that reasonable a ...

American Physical Society2014

Strong out-of-plane magnetic anisotropy of Fe adatoms on Bi2Te3

Oleg Yazyev, Gabriel Albert Autes, Artem Pulkin

The electronic and magnetic properties of individual Fe atoms adsorbed on the surface of the topological insulator Bi2Te3(111) are investigated. Scanning tunneling microscopy and spectroscopy prove the existence of two distinct types of Fe species, while o ...

American Physical Society2014

C3P: Context-Aware Crowdsourced Cloud Privacy

Karl Aberer, Hamza Harkous, Rameez Rahman

Due to the abundance of attractive services available on the cloud, people are placing an increasing amount of their data online on different cloud platforms. However, given the recent large-scale attacks on users data, privacy has become an important issu ...

Springer-Verlag Berlin2014

Total Variation Regularization for Manifold-Valued Data

Martin Kurt Storath

We consider total variation (TV) minimization for manifold-valued data. We propose a cyclic proximal point algorithm and a parallel proximal point algorithm to minimize TV functionals with l(p) -type data terms in the manifold case. These algorithms are ba ...

Siam Publications2014

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

Abstract data type

Graph Chatbot

Chat with Graph Search

Deductive Program Repair, Computer Aided Verification

The Next 700 BFT Protocols

Composite Self-Concordant Minimization

Symbolic Resource Bound Inference

Capturing response behavior heterogeneity in the quantification of semi-open questions: a mixed discrete-continuous approach

Discontinuous Shear Thickening without Inertia in Dense Non-Brownian Suspensions

Strong out-of-plane magnetic anisotropy of Fe adatoms on Bi2Te3

C3P: Context-Aware Crowdsourced Cloud Privacy

Total Variation Regularization for Manifold-Valued Data

Synthesis Modulo Recursive Functions

The Next 700 BFT Protocols

Deductive Program Repair, Computer Aided Verification

Composite Self-Concordant Minimization

Discontinuous Shear Thickening without Inertia in Dense Non-Brownian Suspensions

C3P: Context-Aware Crowdsourced Cloud Privacy

Symbolic Resource Bound Inference

Capturing response behavior heterogeneity in the quantification of semi-open questions: a mixed discrete-continuous approach

Strong out-of-plane magnetic anisotropy of Fe adatoms on Bi2Te3

Total Variation Regularization for Manifold-Valued Data

Synthesis Modulo Recursive Functions