Publication

Linearizability Is Not Always a Safety Property

Publications associées (43)

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

New York2023

Who was afraid of Yuri Mikhailovich and why? (peculiarities of the reception of the Tartu version of structuralism after the 1960s)

Alexander Dmitriev

The paper discussed different types of reactions to the emergence of Yuri Lotman's structuralism in the Soviet Union after 1960 ...

2023

Studies on Types: Dormitories

Tiago André Pratas Borges, Anja Fröhlich, Estelle Lépine, Vanessa Pointet

Concepts of type and typology are not specific to architecture. Rather they represent an interdisciplinary approach to ordering knowledge and gaining insight. In the field of architecture, the study of types and typology offers a didactic perspective that ...

EPFL Press2022

The company town palimpsest: space, life and politics in Dalmine, Italy

Anna Karla De Almeida Milani

This article proposes a reflection on the company towns’ actual conditions, presenting as a case study an up-to-date and articulated reconstruction of the conditions of habitability in Dalmine, Italy. The research strives on the phenomenon of company towns ...

Marsilio2022

Limiting Lamport Exposure to Distant Failures in Globally-Managed Distributed Systems

Bryan Alexander Ford, Verónica del Carmen Estrada Galiñanes, Pierluca Borsò, Kelong Cong, Georgia Fragkouli, Enis Ceyhun Alp, Cristina Basescu, Gaylor Bosson

Globalized computing infrastructures offer the convenience and elasticity of globally managed objects and services, but lack the resilience to distant failures that localized infrastructures such as private clouds provide. Providing both global management ...

2022

Catch Me If You Can Designing a Disobedient Object to Protest Against GSM Surveillance

Félicien Michel Marie Goguey

In this article, I discuss the process of designing an object to protest against a specific surveillance device: the IMSI catcher, a controversial object used to monitor GSM networks. Being widely used in protests, I develop a tactical approach based on ob ...

ASSOC COMPUTING MACHINERY2021

Virtual ADTs for Portable Metaprogramming

Martin Odersky, Nicolas Alexander Stucki

Scala 3 provides a metaprogramming interface that represents the abstract syntax tree definitions using algebraic data types. To allow the compiler to freely evolve without breaking the metaprogramming interface, we present virtual algebraic data types (or ...

ASSOC COMPUTING MACHINERY2021

Recent successes in the reuse and rehabilitation of 20th century architecture have shown that design begins with the study of history. Study of the material history of built structures, together with historical and critical investigation, supported by diag ...

CRC Press/Balkema2021

CRC Press/Balkema - Taylor & Francis2021

Discrete choice and machine learning: Thomson and Thompson?

Michel Bierlaire

Classification methods from machine learning are receiving a lot of attention in the transportation modelling community. This is motivated by the access to large databases, and to various success stories reported in this research community. Discrete choice ...

2019

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