Publication

On Fast Code Completion using Type Inhabitation

Related publications (122)

On type I blow up formation for the critical NLW

We introduce a suitable concept of weak evolution in the context of the radial quintic focussing semilinear wave equation on R^{3+1}, that is adapted to continuation past type II singularities. We show that the weak extension leads to type I singularity fo ...

Taylor & Francis2014

Foundations of Path-Dependent Types

Martin Odersky, Tiark Rompf, Nada Amin

A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module systems. An essential ingredient of this unification is the concept of objects wit ...

Assoc Computing Machinery2014

Additional Material for "Unifying Data Representation Transformations"

Vlad Ureche

This report shows an attempt to formalize the data representation transformation mechanism in the ``Unifying Data Representation Transformations'' paper. Since the mechanism described in the paper is targeted at the Scala programming language and the speci ...

2014

Embeddings Of Maximal Tori In Orthogonal Groups

Eva Bayer Fluckiger

We give necessary and sufficient conditions for an orthogonal group defined over a global field of characteristic not equal 2 to contain a maximal torus of a given type. ...

Annales Inst Fourier2014

How to kill inventors: testing the MassacratorA (c) algorithm for inventor disambiguation

Michele Pezzoni, Francesco Lissoni

Inventor disambiguation is an increasingly important issue for users of patent data. We propose and test a number of refinements to the original Massacrator algorithm, originally proposed by Lissoni et al. (The keins database on academic inventors: methodo ...

Springer2014

(Arene)ruthenium Complexes with Imidazolin-2-imine and Imidazolidin-2-imine Ligands

Rosario Scopelliti, Kay Severin

Imidazolin-2-imine and imidazolidin-2-imine ligands are versatile N donors in transition metal chemistry. Here, we describe the synthesis and characterization of (arene)Ru complexes with these ligands. Simple adducts of the type [(p-cymene)Ru(L)Cl-2] (L = ...

Wiley-Blackwell2014

The second order pullback equation

Bernard Dacorogna, Olivier Kneuss, Gyula Csató

Let f, g be two closed k-forms over R-n. The pullback equation studies the existence of a diffeomorphism phi : R-n -> R-n such that phi*(g) = f. We prove two types of results. The first one sharpens some of the existing regularity results. The second one d ...

Springer2014

Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that synthesizes ...

ACM2013

Interactive Code Generation

Ivan Kuraj

This thesis presents two approaches to code generation (synthesis) along with a discussion of other related and influential works, their ideas and relations to these approaches. The common goal of these approaches is to efficiently and effectively assist d ...

2013

Méthode de libération d'une pièce micromécanique et pièce micromécanique comprenant des attaches sacrificielles

Simon Nessim Henein, François Barrot, Johannes Richard Cornelis Geerit Kruis, Rémy Fournier

A method for fabricating a micromechanical part from a substrate in which the part is fabricated by providing a plurality of fasteners between the part and the substrate, the fasteners being sacrificial, characterized in that the fasteners include at least ...

Organisation Mondiale de la Propriété Intellectuelle2013

Graph Chatbot

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.