Publications associées à Interactive Programming by Example

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Yichen Xu

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 ...

2024

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

Denis Gillet, Adrian Christian Holzer, Abdessalam Ouaazki, Juan Carlos Farah

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 ...

2024

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

Andreas Mortensen, Léa Deillon, Alejandra Inés Slagter, Eva Luisa Vogt, David Hernandez Escobar, Jonathan Aristya Setyadji

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 ...

Zenodo2024

Secure Interface Design Leveraging Hardware/Software Support

Atri Bhattacharyya

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 ...

EPFL2024

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

Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

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 ...

Assoc Computing Machinery2024

Formal Foundations of Capture Tracking

Aleksander Slawomir Boruch-Gruszecki

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 ...

EPFL2024

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

Dirk Grundler, Korbinian Baumgärtl

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 ...

Zenodo2023

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

Brice Tanguy Alphonse Lecampion, Fatima-Ezzahra Moukhtari, Carlo Peruzzo, Seyyedmaalek Momeni, Guanyi Lu

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 ...

EPFL Infoscience2023

Creating Trust by Abolishing Hierarchies

Adrien Ghosn, Edouard Bugnion, Evangelos Marios Kogias, Mathias Josef Payer, Charly Nicolas Lucien Castes, Yuchen Qian, Neelu Shivprakash Kalani

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 ...

Association for Computing Machinery2023

Adapting Haptic Feedback for Guided Meditation

Nicolas Henchoz, Cédric Duchene, Andreas Sonderegger, Romain Simon Collaud, Emily Clare Groves, Yoann Pierre Douillet

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 ...

2023

Dynamic Linkers Are the Narrow Waist of Operating Systems

Adrien Ghosn, Charly Nicolas Lucien Castes

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Association for Computing Machinery2023

Device and system as human interactive surface

Jamie Paik, Fabio Zuliani

A force-feedback surface that creates and modulates distinctive profile and stiffnessto interact with a user in contact thereto, the surface being functionally independentto be used as a single module but can be customized to extend the application indiver ...

2023

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Zilu Tian

Agent-based simulations have been widely applied in many disciplines, by scientists and engineers alike. Scientists use agent-based simulations to tackle global problems, including alleviating poverty, reducing violence, and predicting the impact of pandem ...

EPFL2023

ms3: A parser for MuseScore files, serving as data factory for annotated music corpora

Martin Alois Rohrmeier, Johannes Hentschel

The Python library ms3 makes scores (symbolic representations of music) operational for computational approaches by representing their contents as sets of tabular files. Music scores represent relations between sounding events by graphical means. The Free ...

2023

Compilation and Design Space Exploration of Dataflow Programs for Heterogeneous CPU-GPU Platforms

Aurélien François Gilbert Bloch

Today's continued increase in demand for processing power, despite the slowdown of Moore's law, has led to an increase in processor count, which has resulted in energy consumption and distribution problems. To address this, there is a growing trend toward ...

EPFL2023

Dataset for the evaluation of student-level outcomes of a primary school Computer Science curricular reform

Francesco Mondada, Laila Abdelsalam El-Hamamsy, Jessica Elke Dehler Zufferey, Barbara Bruno

The associated peer reviewed article that will appear in the International Journal of STEM education : El-Hamamsy, L., Bruno, B., Audrin, C., Chevalier, M., Avry S., Dehler Zufferey, J., and Mondada, F. (2023). How are Primary School Computer Science Curri ...

Zenodo2023

Latency Interfaces for Systems Code

Rishabh Ramesh Iyer

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects. S ...

EPFL2023

On algebraic array theories

Viktor Kuncak, Rodrigo Raya

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 ...

Elsevier Science Inc2023

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

Kelian Philippe Häring, Andrea Guerrieri, Denis Karateev

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. ...

Zenodo2023

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

Majed Chergui, Malte Oppermann, Michele Puppin, Christoph Bostedt, Hui-Yuan Chen

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 ...

Zenodo2023