Publication

Complete Completion using Types and Weights

Related publications (127)

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.

On Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...

2012

Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

2012

Code Completion using Quantitative Type Inhabitation

Viktor Kuncak, Tihomir Gvero, Ruzica Piskac

Developing modern software applications 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 ...

2011

Counter-Measures to Photo Attacks in Face Recognition: a public database and a baseline

Sébastien Marcel, André Anjos

A common technique to by-pass 2-D face recognition systems is to use photographs of spoofed identities. Unfortunately, research in counter-measures to this type of attack have not kept-up - even if such threats have been known for nearly a decade, there se ...

2011

Structured Derivation of Semi-Synchronous Algorithms

André Schiper, Martin Hutle, Zarko Milosevic, Fatemeh Borran, Hagit Albo Attiya

The semi-synchronous model is an important middle ground between the synchronous and the asynchronous models of distributed computing. In this model, processes can detect (timeout) when other processes fail. However, since detection is done by timing out, ...

2011

Two types of luminescence blinking revealed by spectroelectrochemistry of single quantum dots

Christophe Marcel Georges Galland

Photoluminescence blinking—random switching between states of high (ON) and low (OFF) emissivities—is a universal property of molecular emitters found in dyes1, polymers2, biological molecules3 and artificial nanostructures such as nanocrystal quantum dots ...

2011

Modified Geometry of Transition Slabs for Integral Bridges

Damien Dreier

Over the past decades, an increasing number of integral bridges have been built. This type of bridge offers various advantages in comparison with standard bridges equipped with expansion joints and bearings. In particular, integral bridges require less mai ...

EPFL Doctoral conference in Mechanics - EDCM20102010

Phantm: PHP Analyzer for Type Mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We present Phantm, a static analyzer that uses a flow-sensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runtime information and procedure summaries for more precise results. Phantm foun ...

2010

Phantm: PHP analyzer for type mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

2010

ELM filament interaction with the JET main chamber☆

Richard Pitts, Gilles Arnoux

This work constitutes the first extended analysis of the spatial structure of Type-I ELM filament footprints on the JET outer limiters and upper dump plates. The data is obtained using a wide angle infrared diagnostic (with time resolution of 125 Hz) and c ...

Elsevier2009