Publication
On Locality of One-Variable Axioms and Piecewise Combinations
Related publications (20)
Scaling Functional Synthesis and Repair
Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...
EPFL2019Efficient Learning from Comparisons
Humans are comparison machines: comparing and choosing an item among a set of alternatives (such as objects or concepts) is arguably one of the most natural ways for us to express our preferences and opinions. In many applications, the analysis of data con ...
EPFL2018Embeddings of maximal tori in classical groups over local and global fields
Eva Bayer Fluckiger, Ting-Yu Lee
Embeddings of maximal tori in classical groups over fields of characteristic not 2 are the subject matter of several recent papers. The aim of the present paper is to give necessary and sufficient conditions for such an embedding to exist, when the base fi ...
Turpion Ltd2016Cocycle growth for the Steinberg representation
This thesis investigates the growth of the natural cocycle introduced by Klingler for the Steinberg representation. When possible, we extend the framework of simple algebraic groups over a local field to arbitrary Euclidean buildings. In rank one, the grow ...
EPFL2016On recursion-free Horn clauses and Craig interpolation
One of the main challenges in software verification is efficient and precise analysis of programs with procedures and loops. Interpolation methods remain among the most promising techniques for such verification. To accommodate the demands of various progr ...
Springer2015Local versus nonlocal barycenttic interactions in 1 D agent dynamics
Max-Olivier Hongler, Olivier Gallay, Roger Filliger
The mean-field dynamics of a collection of stochastic agents evolving under local and nonlocal interactions in one dimension is studied via analytically solvable models. The nonlocal interactions between agents result from (a) a finite extension of the age ...
Amer Inst Mathematical Sciences2014The valuation criterion for normal basis generators
If L/K is a finite Galois extension of local fields, then we say that the valuation criterion VC(L/K) holds if there is an integer d such that every element x is an element of L with valuation d generates a normal basis for L/K. Answering a question of Byo ...
2012On Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments
The number of students enrolled in universities at standard and online programming courses is huge. This calls for automated evaluation of students assignments and for automated support for learning. We aim at developing methods and tools for objective and ...
2012Hermitian Forms over Algebras with Involution and Hermitian Categories
This thesis is concerned with the algebraic theory of hermitian forms. It is organized in two parts. The first, consisting of the first two chapters, deals with some descent properties of unimodular hermitian forms over central simple algebras with involut ...
EPFL2012Decision Procedures for Program Synthesis and Verification
Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...
EPFL2011