Concept

Commentaire (informatique)

Publications associées (28)

Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages

High-level languages allow programmers to express data structures and algorithms that abstract over the type of data they handle. This improves code reuse and makes it possible to develop general-purpose libraries. Yet, data abstractions slow down program ...

EPFL2015

Search Techniques for Code Generation

Tihomir Gvero

This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...

EPFL2015

On Synthesizing Code from Free-Form Queries

Viktor Kuncak, Tihomir Gvero

We present a new code assistance tool for integrated development environments. Our system accepts free-form queries allowing a mixture of English and Java as an input, and produces Java code fragments that take the query into account and respect syntax, ty ...

2014

turboTDDFT 2.0 Hybrid functionals and new algorithms within time-dependent density-functional perturbation theory

We present a new release of the turboTDDFT code featuring an implementation of hybrid functionals, a recently introduced pseudo-Hermitian variant of the Liouville-Lanczos approach to time-dependent density-functional perturbation theory, and a newly develo ...

Elsevier Science Bv2014

BOLTZWANN: A code for the evaluation of thermoelectric and electronic transport properties with a maximally-localized Wannier functions basis

Nicola Marzari, Giovanni Pizzi, Boris Kozinsky

We present a new code to evaluate thermoelectric and electronic transport properties of extended systems with a maximally-localized Wannier function basis set. The semiclassical Boltzmann transport equations for the homogeneous infinite system are solved i ...

Elsevier Science Bv2014

Comment on “Reply to Comment on ‘Encoding many channels on the same frequency through radio vorticity: first experimental test’”

Julien Perruisseau-Carrier, Michele Tamagnone

We show that the reply by Tamburini et al (2012 New J. Phys. 14 118002) to our previous comment (2012 New J. Phys. 14 118001) on the experiment reported in Tamburini et al (2012 New J. Phys. 14 033001) does not actually invalidate any of the issues raised ...

Institute of Physics (IoP) and Deutsche Physikalische Gesellschaft2013

RAY: Integrating Rx and Async for Direct-Style Reactive Streams

Philipp Haller

Languages like F#, C#, and recently also Scala, provide “async” extensions which aim to make asynchronous programming easier by avoiding an inversion of control that is inherent in traditional callback-based programming models (for the purpose of this pape ...

2013

Interpolation for Synthesis on Unbounded Domains

Viktor Kuncak, Régis William Blanc

Synthesis procedures compile relational specifications into functions. In addition to bounded domains, synthesis procedures are applicable to domains such as mathematical integers, where the domain and range of relations and synthesized code is unbounded. ...

Ieee2013

Automatic Speaker Role Labeling in AMI Meetings: Recognition of Formal and Social Roles

Fabio Valente, Ashtosh Sapru

This work aims at investigating the automatic recognition of speaker role in meeting conversations from the AMI corpus. Two types of roles are considered: formal roles, fixed over the meeting duration and recognized at recording level, and social roles rel ...

2012

Je n’ai rien vu à Tchernobyl : le difficile traitement de la mémoire et de l’histoire de la catastrophe en Ukraine

Lisa Maude Reitz

Dans une perspective ethnographique, l’auteure se fait guide et explore trois lieux dédiés à la catastrophe en Ukraine : le Musée Tchernobyl de Kiev, la « Zone interdite » autour de la centrale nucléaire et un site Internet à la mémoire de Pripyat, ville e ...

Institut d’ethnologie2011

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search