Publications related to C++ | EPFL Graph Search

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

Semantic Shape Editing with Parametric Implicit Templates

Uday Kusupati

We propose a semantic shape editing method to edit 3D triangle meshes using parametric implicit surface templates, benefiting from the many advantages offered by analytical implicit representations, such as infinite resolution and boolean or blending opera ...

ACM Association for Computing Machinery2024

Cooperative Concurrency Control for Write-Intensive Key-Value Workloads

Babak Falsafi, Alexandros Daglis, Mark Johnathon Sutherland

Key-Value Stores (KVS) are foundational infrastructure components for online services. Due to their latency-critical nature, today’s best-performing KVS contain a plethora of full-stack optimizations commonly targeting read-mostly, popularity-skewed worklo ...

ACM2023

Scalable Metaprogramming in Scala 3

Nicolas Alexander Stucki

A metaprogrammer should be able to reason about the semantics of the generated code. Multi-stage programming introduced an elegant and powerful solution to this problem. It follows a semantically driven approach to code generation, where semantics are full ...

EPFL2023

Type-Preserving Compilation of Class-Based Languages

Guillaume André Fradji Martres

The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is ...

EPFL2023

Anonymous Tokens with Stronger Metadata Bit Hiding from Algebraic MACs

Serge Vaudenay, Fatma Betül Durak

On the one hand, the web needs to be secured from malicious activities such as bots or DoS attacks; on the other hand, such needs ideally should not justify services tracking people's activities on the web. Anonymous tokens provide a nice tradeoff between ...

2023

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

Yichen Xu, Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class hierarchies ...

Assoc Computing Machinery2022

Abstractions for Type-Level Programming

Olivier Eric Paul Blanvillain

Over the past decade, the Scala community has shown great interest in using type-level programming to obtain additional type safety. Unfortunately, the lack of support from the Scala compiler has been a barrier to the adoption of that technique, notably du ...

EPFL2022

From C/C plus plus Code to High-Performance Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic

High-level synthesis (HLS) tools typically generate statically scheduled datapaths. Static scheduling implies that the resulting circuits have a hard time exploiting parallelism in code with potential memory dependences, with control dependences, or where ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Linear Lipschitz and C-1 extension operators through random projection

Federico Stra

We construct a regular random projection of a metric space onto a closed doubling subset and use it to linearly extend Lipschitz and C-1 functions. This way we prove more directly a result by Lee and Naor [5] and we generalize the C-l extension theorem by ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2021

Construction of Functional Superhydrophobic Biochars as Hydrogen Transfer Catalysts for Dehydrogenation of N-Heterocycles

Zhaowen Dong, Feng Zhou

To endow metal-free materials with the high catalytic activity that is typically featured by a metal-based catalyst is yet a constant pursuit in the field of catalytic chemistry. In this work, novel functional biochars (DCNs) were prepared from wheat straw ...

AMER CHEMICAL SOC2021

Synthesis of Chiral Cyclopentadienyl Complexes and Applications Towards C-H Functionalization

Benoît Daniel Bertrand Audic

Metal-catalysed C-H bond functionalization has received tremendous attention and developed rapidly over the past decades. Cyclopentadienyl (Cp) metal complexes and their asymmetric counterparts (CpX) are part of a central organometallic category empowering ...

EPFL2021

New Insights into the Interface of Electrochemical Flow Cells for Carbon Dioxide Reduction to Ethylene

Michael Graetzel, Shaik Mohammed Zakeeruddin, Jing Gao, Dan Ren

The implementation of an electrochemical flow cell has enabled improved efficiency for CO2 reduction. However, in situ spectroscopic insights into the interface are still lacking. Here, we investigate a series of copper layers with different thicknesses on ...

AMER CHEMICAL SOC2021

Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages

Lionel Emile Vincent Parreaux

Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...

EPFL2020

Semantics-preserving inlining for metaprogramming

Martin Odersky, Sébastien Jean R Doeraene, Nicolas Alexander Stucki

Inlining is used in many different ways in programming languages: some languages use it as a compiler-directive solely for optimization, some use it as a metaprogramming feature, and others lay their design in-between. This paper presents inlining through ...

2020

Exploitation of Unconventional Electrophiles in Enantioselective Pd(0)-Catalyzed C-H Functionalizations

Nicolai Cramer, Daria Grosheva

Asymmetric metal-catalyzed C-H functionalization is a powerful strategy for the rapid generation of complex target molecules from simple precursors. While aryl (pseudo) halides have been used as electrophilic substrates in enantioselective Pd(0)-catalyzed ...

2019

One-step access to N-enoxyimides by gold-catalysed addition of N-hydroxyimides to terminal alkynes

Nicolai Cramer, Coralie Danielle Annick Duchemin

N-Enoxyimides have become attractive substrates for novel catalytic transformations, yet their tedious multi-step synthesis hampers full exploitation of their synthetic potential. We report a gold(I)-catalyzed protocol to access N-enoxyimides from simple a ...

2019

Forbidden induced subposets of given height

Istvan Tomon

Let P be a partially ordered set. The function La* (n, P) denotes the size of the largest family F subset of 2([n]) that does not contain an induced copy of P. It was proved by Methuku and Palvolgyi that there exists a constant C-P (depending only on P) su ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2019

Exploitation of Unconventional Electrophiles in Enantioselective Pd(0)-Catalyzed C-H Functionalizations

Daria Grosheva

Asymmetric metal-catalyzed C-H functionalization has enjoyed great success as a powerful strategy for the rapid construction of elaborate structures from simple precursors. For example, aryl (pseudo)halides have been extensively employed as electrophilic s ...

EPFL2019

Copper-Catalyzed Oxyalkynylation of C-S Bonds in Thiiranes and Thiethanes with Hypervalent Iodine Reagents

Jérôme Waser, Guillaume Dominique Pisella, Julien Aymeric Borrel

We report the oxyalkynylation of thiiranes and thietanes using ethynylbenziodoxolone reagents (EBXs) to readily access functionalized building blocks bearing an alkynyl, a benzoate, and an iodide group. The reaction proceeds with high atom efficiency most ...

2019