Publication

Pathchecker: An RFID application for tracing products in Supply-chains

Related publications (22)

Modeling high-entropy transition metal alloys with alchemical compression

Michele Ceriotti, Sandip De, Nataliya Lopanitsyna, Guillaume André Jean Fraux

Alloys composed of several elements in roughly equimolar composition, often referred to as high-entropy alloys, have long been of interest for their thermodynamics and peculiar mechanical properties, and more recently for their potential application in cat ...

AMER PHYSICAL SOC2023

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