Publication

Macrocyclization of omega-Isocyanoaldehydes and Towards the Total Synthesis of Jamaicensamide A

Publications associées (20)

Multimodal transcriptomic atlases of mouse spinal cord injury

A spinal cord injury (SCI) triggers a cascade of molecular and cellular responses involving inflammatory cell infiltration and cytokine release, apoptosis, demyelination, excitotoxicity, ischemia, and the formation of a fibrotic scar surrounded by an astro ...

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

Methods for high-throughput synthesis and screening of peptide libraries

Zsolt Bognár

Macrocycles provide an attractive modality for drug development but the identification of ligands to targets of interest is hindered by the lack of large macrocyclic compound libraries for high-throughput screening. A strategy to efficiently synthesize lar ...

EPFL2024

Between the Pattern and the Type: A short parallel story

Vasileios Chanis

Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...

2023

Regulation and function of a hemicleaved Activin-A processing intermediate in melanoma

Manon Bulliard

Activin-A is a Transforming Growth Factor-B (TGFB)-related cytokine that regulates various biological processes including cell proliferation and differentiation through autocrine, paracrine or endocrine signaling. Activin-A expression is upregulated in mul ...

EPFL2023

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

Assoc Computing Machinery2023

Hypervalent Iodine: New Reagents and Functionalization of Peptides

Eliott Hugo Joran Le Du

Alkynes are found in a multitude of natural or synthetic bioactive compounds. In addition to the capacity of these chemical motifs to impact the physicochemical properties of a molecule of interest, the well-established reactivity of alkynes makes them ide ...

EPFL2023

The role of secondary ice production in mixed-phase clouds

Paraskevi Georgakaki

Clouds are omnipresent in the Earth's atmosphere. Their phase composition significantly modulates their interaction with solar and terrestrial radiation, as well as precipitation formation. Particularly for clouds containing both phases, known as mixed-pha ...

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

Development of methods for the synthesis of large combinatorial libraries of macrocyclic compounds

Mischa Schüttel

Macrocycles have raised much interest in the pharmaceutical industry due to their ability to bind challenging targets while often still being able to cross membranes to reach intracellular proteins. However, the development of macrocyclic ligands to new di ...

EPFL2023