Publications related to Pattern matching

In Medio Stat Virtus: Combining Boolean and Pattern Matching

Giovanni De Micheli, Alessandro Tempia Calvino, Gianluca Radi

Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. This process is performed by means of local replacements that are extracted by matching sections of the subject graph to library ...

IEEE2024

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki

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

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

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

Environment-dependent epistasis increases phenotypic diversity in gene regulatory networks

Florence Gauye, Florian Baier

Mutations to gene regulatory networks can be maladaptive or a source of evolutionary novelty. Epistasis con-founds our understanding of how mutations affect the expression patterns of gene regulatory networks, a chal-lenge exacerbated by the dependence of ...

AMER ASSOC ADVANCEMENT SCIENCE2023

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

Type-Level Programming with Match Types

Martin Odersky, Olivier Eric Paul Blanvillain

Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types ...

ASSOC COMPUTING MACHINERY2022

Mental data protection and the GDPR

Marcello Ienca

Although decoding the content of mental states is currently unachievable, technologies such as neural interfaces, affective computing systems, and digital behavioral technologies enable increasingly reliable statistical associations between certain data pa ...

OXFORD UNIV PRESS2022

Matching Seqlets: An Unsupervised Approach for Locality Preserving Sequence Matching

Pascal Fua, Xinchao Wang

In this paper, we propose a novel unsupervised approach for sequence matching by explicitly accounting for the locality properties in the sequences. In contrast to conventional approaches that rely on frame-to-frame matching, we conduct matching using sequ ...

2021

Method for patterning a thin film of a solid material

Jürgen Brugger, Giovanni Boero, Xia Liu, Ana Conde Rubio, Samuel Tobias Howell

A method for patterning a thin film of (a) solid material(s), comprising the steps of providing a thin film of said solid material(s) onto a substrate, said substrate being deformable by heat and indentation; and performing a thermo-mechanical indentation ...

2021

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

Hmx1 regulates urfh1 expression in the craniofacial region in zebrafish

H6 family homeobox 1 (HMX1) regulates multiple aspects of craniofacial development as it is widely expressed in the eye, peripheral ganglia and branchial arches. Mutations in HMX1 are linked to an ocular defect termed Oculo-auricular syndrome of Schorderet ...

2021

Spikyball Sampling: Exploring Large Networks via an Inhomogeneous Filtered Diffusion

Nicolas Aspert, Volodymyr Miz, Benjamin Ricaud

Studying real-world networks such as social networks or web networks is a challenge. These networks often combine a complex, highly connected structure together with a large size. We propose a new approach for large scale networks that is able to automatic ...

2020

Space Efficient Approximation to Maximum Matching Size from Uniform Edge Samples

Mikhail Kapralov, Slobodan Mitrovic, Jakab Tardos, Ashkan Norouzi Fard

Given a source of iid samples of edges of an input graph G with n vertices and m edges, how many samples does one need to compute a constant factor approximation to the maximum matching size in G? Moreover, is it possible to obtain such an estimate in a sm ...

ASSOC COMPUTING MACHINERY2020

Machine learning for cross-gazetteer matching of natural features

Elise Acheson

Defining and identifying duplicate records in a dataset is a challenging task which grows more complex when the modeled entities themselves are hard to delineate. In the geospatial domain, it may not be clear where a mountain, stream, or valley ends and be ...

2020

Image-based analysis of living mammalian cells using label-free 3D refractive index maps reveals new organelle dynamics and dry mass flux

Françoise Gisou van der Goot Grunberg, Christopher Claude Giuseppe Tremblay, Patrick Alain Sandoz

Holo-tomographic microscopy (HTM) is a label-free microscopy method reporting the fine changes of a cell’s refractive indices (RIs) in three dimensions at high spatial and temporal resolution. By combining HTM with epifluorescence, we demonstrate that mamm ...

2019

Computational Design of Auxetic Shells

Mina Konakovic Lukovic

Recent advances in material science and digital fabrication provide promising opportunities for product design, mechanical and biomedical engineering, robotics, architecture, art, and science. Engineered materials and personalized fabrication are revolutio ...

EPFL2019

Drowsy-DC: Data center power management system

Willy Zwaenepoel, Baptiste Joseph Eustache Lepers, Mathieu Paul Fernand Bacou

In a modern data center (DC), a large majority of costs arise from energy consumption. The most popular technique used to mitigate this issue is virtualization and more precisely virtual machine (VM) consolidation. Although consolidation may increase serve ...

IEEE2019

Truly abstract interfaces for algebraic data types: the extractor typing problem

Martin Odersky, Nicolas Alexander Stucki, Paolo Giosuè Giarrusso

Pattern matching enables inspecting algebraic data types, but typically prevents hiding the implementation of the matched algebraic data type. In Scala, instead, extractors also allow pattern matching on non-algebraic data types and invoking methods on the ...

2018