Interactive Programming by Example

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.

Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...

As computational thinking (CT) becomes increasingly acknowledged as an important skill in education, self-directed learning (SDL) emerges as a key strategy for developing this capability. The advent of generative AI (GenAI) conversational agents has disrup ...

Dataset corresponding to the following manuscript: Slagter, A., Setyadji, J.A., Vogt, E.L. et al. Nanoindentation Hardness and Modulus of Al2O3–SiO2–CaO and MnO–SiO2–FeO Inclusions in Iron. Metall Mater Trans A (2024). https://doi.org/10.1007/s11661-024-0 ...

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

Data redundancy has been one of the most important problems in data-intensive applications such as data mining and machine learning. Removing data redundancy brings many benefits in efficient data updating, effective data storage, and error-free query proc ...

Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...

Raw data associated to the manuscript ‘’Reversal of nanomagnets by propagating magnons in ferrimagnetic yttrium iron garnet enabling nonvolatile magnon memory‘’, Nature Communications (2023); doi: https://doi.org/10.1038/s41467-023-37078-8 Information abou ...

This paper focuses on 5G RAN slicing, where the 5G radio resources must be divided across slices (or enterprises) so as to achieve high spectrum efficiency, fairness and isolation across slices, and the ability for each slice to customize how the radio res ...

Numerical data for scattering amplitudes of Goldstone bosons in d=4 obtained by solving various optimisation problems. The data is stored in .m files. Mathematica notebook is provided for loading and plotting the data. ...

Reed-Muller (RM) codes are among the oldest, simplest and perhaps most ubiquitous family of codes. They are used in many areas of coding theory in both electrical engineering and computer science. Yet, many of their important properties are still under inv ...

Data repository for the following publication: A. Duque-Prata*, H.-Y. Chen*, L. Müller, M. Oppermann, M. Puppin, C. Serpa, C. Bostedt and M. Chergui, “Ultrafast deep-ultraviolet study of photoexcited aqueous Ferrioxalate”, submitted to ChemPhotoCh ...

This is the experimental data used in manuscript: "Rock anisotropy promotes hydraulic fracture containment at depth". This data set has 5 folders: K1, T2, M3 and M4 contain the raw data collected by active acoustic monitoring system and various pumps and t ...

Raw data associated to the manuscript ‘’Spin wave dispersion of ultra-low damping hematite (α-Fe2O3) at GHz frequencies‘’, Physical Review Materials 7, 054407(2023); doi: 10.1103/PhysRevMaterials.7.054407 Information about file fo ...

In this paper, we consider electric vehicle charging facilities that offer various levels of service, i.e., charging rates, for varying prices such that rational users choose a level of service that minimizes the total cost to themselves including an oppor ...

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Text Reuse reveals meaningful reiterations of text in large corpora. Humanities researchers use text reuse to study, e.g., the posterior reception of influential texts or to reveal evolving publication practices of historical media. This research is often ...

Technology supporting meditation is a multimillion-dollar market that continues to grow. There is also strong academic interest to understand and improve the impact technology can have for the user experience of practitioners. However, little work investig ...

SiliFish is an open-source desktop application tomodel and study zebrafish swimming. Here, we explain how to define the general parameters of the model, define cell populations, place them within the spinal cord, and define their projections. We explain ho ...

Interactive Programming by Example

Chat with Graph Search

Degrees of Separation: A Flexible Type System for Safe Concurrency

Generative AI-Enabled Conversational Interaction to Support Self-Directed Learning Experiences in Transversal Computational Thinking

Nanoindentation hardness and modulus of Al2O3-SiO2-CaO and MnO-SiO2-FeO inclusions in iron

Secure Interface Design Leveraging Hardware/Software Support

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Formal Foundations of Capture Tracking

Validating functional redundancy with mixed generative adversarial networks

On algebraic array theories

Dataset for the publication "Reversal of nanomagnets by propagating magnons in ferrimagnetic yttrium iron garnet enabling nonvolatile magnon memory"

Channel-Aware 5G RAN Slicing with Customizable Schedulers

Numerical data for scattering amplitudes of Neutral Goldstone bosons in 4d

Reed-Muller Codes

Data for "Ultrafast deep-ultraviolet study of photoexcited aqueous Ferrioxalate"

Dataset for manuscript: Rock anisotropy promotes hydraulic fracture containment at depth

Spin wave dispersion of ultra-low damping hematite (α-Fe2O3) at GHz frequencies

Sensitivity to user mischaracterizations in electric vehicle charging

Creating Trust by Abolishing Hierarchies

impresso Text Reuse at Scale. An interface for the exploration of text reuse data in semantically enriched historical newspapers

Adapting Haptic Feedback for Guided Meditation

SiliFish: A desktop application to model swimming behavior in developing zebrafish (Danio rerio)